한국어
← 타임라인으로 돌아가기

처치-튜링 논제

시대: 초기 이론 · 1930년대~1950년대

알론조 처치와 앨런 튜링이 각기 독립적으로 유명한 처치-튜링 논제를 제안했다. 이 논제는 효과적으로 계산 가능한 함수는 모두 튜링 계산 가능하다는 것을 주장한다. 이를 통해 계산 가능성이라는 직관적 개념이 형식화되었으며, 컴퓨터 과학의 기초가 되었다.

알론조 처치 & 앨런 튜링

상태
검증됨
콘텐츠 유형
fact
마지막 검토

출처와 근거

  1. The Church-Turing Thesis

    Stanford Encyclopedia of Philosophy · 출처 유형: secondary-summary

    Explains the independent 1936 formulations and the later name "Church-Turing thesis".

    접근일: