|
보편 기계(Universal Machine)
보편기계 개념은, 저장 용량과 작업 시간을 충분히 제공받을 수 있는, 자동 형식 체계를 수행하는 계산기계의 개념이다. 즉, 실제적인 제한인 용량과 처리 속도의 제한을 제거하고 논리적으로 기계가 어떤 작업을 수행할 수 있고 혹은 수행할 수 없는지를 논하기 위하여 제시된 개념이다. 보편기계 개념을 논리적으로 지탱하는 두 입론( thesis)
입론(thesis)이란? : 입론이란 증명될 수도 없고 반증될 수도 없는, 혹은 반증되지 못한 주장이다. 하지만 직관적으로는 충분히 받아들일만한 주장을 말한다.
처치 입론 + 튜링 입론 : 두 입론이 결합했을 때.
|
<철학, 지식이 아닌 지혜> |
처음으로
