[괴델]128쪽.
하나의 계산을 수행한다는 것이 무엇을 의미하느냐 하는 문제는 바로 추상적인 기계장치, 즉 투링기계가 최초로 완벽하게 답변해 주었다.
튜링은 인간이 계산을 수행할 때 실제로 행하는 것을 살펴보는 평범한 방법을 채택하였다. 본질을 추려내면, 계산이란 규칙들의 집합을 따르는 기게적인 방식이라는 것이 밝혀진다.
129쪽.
튜링이라는 천재가 보여준 것은 그가 발명한 아주 원초적인 유형의 계산기라는 것이다. 사실 지금까지 실제 생활에 쓰이는 모든 계산기는 튜링이 꿈꾸던 기계를 단지 물질적으로 구현한 하나의 특수한 경우에 지나지 않는다.
* 파깨비님에 의해서 게시물 이동되었습니다 (2014-03-15 06:39) |
|
처음으로
