채이틴 상수, 계산의 무작위 핵심을 드러내다
채이틴 상수는 계산 이론에서 정지 문제의 결정 불가능성 밑에 깔린 깊은 무작위성을 구현합니다. 이는 프로그램 정지 확률을 측정하는 값입니다.
앨런 튜링은 1936년 어떤 알고리즘도 컴퓨터 프로그램의 종료 여부를 완벽하게 예측할 수 없음을 증명했습니다. 이 '정지 문제'는 근본적으로 결정 불가능합니다. 수십 년 후, 수학자 그레고리 채이틴은 무작위로 생성된 프로그램이 정지할 확률을 나타내는 상수 Ω(오메가)를 소개했습니다.
이 이야기에 더 많은 내용이 있어요 — 앱을 열어 계속 읽어 보세요.
앱에서 계속 읽기
단락 1개 더 · 그리고 3문제 퀴즈