튜링 기계와 기능주의

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): 인과적 역할(causal role)에 의해 그 성격이 규정될 수 있는 기능적 상태, 즉 기능적 역할에 의해 개 별화된 상태로서 물리적 구성과는 관계없음. * 기능주의의 종류 ① 방법론적 행동주의 · 기능주의적 분석으로서의 기능주의: 일종의 설명유형(type of explanation)으 로 하나의 체계를 요소 부분으로 분해하고, 그 요소들에 대한 분석에 의해 그 체계를 설명 · 계산-표현으로서의 기능주의: 마음에 대해 일종의 기계 작동표를 제공하는 것 이라고 간주되는 기능주의적 설명유형. ② 형이상학적 기능주의(metaphysical functionalism): 주로 마음의 본성(nature of mind)에 관심을 둠