처치-튜링 논제: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
잔글 robot Adding:de,es,zh,fr |
||
3번째 줄:
실제로 증명되거나 반증된 적은 없으며, 영원히 증명할 수 없을 것이라고 주장하는 학자도 있다. 다만 현재까지 인간이 발명한 모든 종류의 계산법([[양자컴퓨터]]를 포함하여)이 적절한 형태의 튜링 기계로 표현될 수 있음이 알려져 있다.
[[
[[en:Church-Turing thesis]]
[[es:Tesis de Church-Turing]]
[[fr:Thèse de Church-Turing]]
[[zh:邱奇-图灵论题]]
|