튜링 기계와 기능주의

2.3 보편적 튜링기계와 튜링증명
· 하나의 TM은 다른 TM을 모방할 수 있도로 프로그램될 수 있다.
* 튜링증명(Turing`s proof : TP): 모든 다른 TM을 모방할 수 있는 UTM이 있다.
* 보편 튜링기계(universal Turing machine : UTM): 모든 TM1에 대해 이러한 작동
을 할 수 있는 TM2
2.4 처치-튜링 논제(Church-Turing thesis : CTT)
: 어떠한 결정론적인 자동적 형식 체계에 대해서도 형식적으로 동등한 하나의
TM이 존재한다.
* CTT가 가지는 의미
효율적인 절차라고 불릴 수 있는 어떠한 절차도 TM에 의해 수행될 수 있다. 왜냐
하면 효율적인 절차는 수행에 필요한 지침들의 집합인 알고리즘을 가지고 있기 때
문이다.
* CTT와 TP의 상호보완적 관계: CTT에 의하면 TM은 유일한 자동체계이고 TP에 의
하면 단지 하나만의 UTM이 필요하다. 따라서 결론적으로 UTM은 가능한 모든 자동
적 형식체계의 작업을 할 수 있다는 결론을 내릴 수 있다.
3. 기능주의

3.1 TM과 기능주의

* 기능주의에 의해 설명되는 정신상태 (mental state : MS): 인과적…(생략)

① 방법론적 행동주의

② 형이상학적 기능주의(metaphysical functionalism): 주로 마음의 본성(nature