처치-튜링 논제
시대: 초기 이론 · 1930년대~1950년대
알론조 처치와 앨런 튜링이 각기 독립적으로 유명한 처치-튜링 논제를 제안했다. 이 논제는 효과적으로 계산 가능한 함수는 모두 튜링 계산 가능하다는 것을 주장한다. 이를 통해 계산 가능성이라는 직관적 개념이 형식화되었으며, 컴퓨터 과학의 기초가 되었다.
알론조 처치와 앨런 튜링
출처와 근거
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 출처 유형: 2차 요약
1936년에 서로 독립적으로 나온 두 정식화와, 나중에 “처치-튜링 논제”라는 이름이 붙은 경위를 설명한다.
접근일: