튜링 기계와 기능주의
페이지 정보
작성일 23-09-06 14:28
본문
Download : 튜링 기계와 기능주의.hwp
* CTT가 가지는 의미
효율적인 절차라고 불릴 수 있는 어떠한 절차도 TM에 의해 수행될 수 있따 왜냐
하면 효율적인 절차는 수행에 필요한 지침들의 집합인 알고리즘을 가지고 있기 때
문이다. 따라서 결론적으로 UTM은 가능한 모든 자동
적 형식체계의 작업을 할 수 있다는 결론을 내릴 수 있따
3. 기능주의
3.1 TM과 기능주의
* 기능주의에 의해 설명(explanation)되는 정신상태 (mental state : MS): 인과적…(skip)① 방법론적 행동주의
② 형이상학적 기능주의(metaphysical functionalism): 주로 마음의 본성(nature
2.3 보편적 튜링기계와 튜링증명· 하나의 TM은 다른 TM을 모방할 수 있도로 프로그램될 수 있다.* 튜링증명(Turing`s proo... , 튜링 기계와 기능주의기타레포트 ,
Download : 튜링 기계와 기능주의.hwp( 47 )
* 튜링증명(Turing`s proo...
2.3 보편적 튜링기계와 튜링증명
,기타,레포트
설명
레포트/기타
순서
· 하나의 TM은 다른 TM을 모방할 수 있도로 호로그램될 수 있다.
튜링 기계와 기능주의
2.3 보편적 튜링기계와 튜링증명
· 하나의 TM은 다른 TM을 모방할 수 있도로 program될 수 있따
* 튜링증명(Turing`s proof : TP): 모든 다른 TM을 모방할 수 있는 UTM이 있따
* 보편 튜링기계(universal Turing machine : UTM): 모든 TM1에 대해 이러한 작동
을 할 수 있는 TM2
2.4 처치-튜링 논제(Church-Turing thesis : CTT)
: 어떠한 결정론적인 자동적 형식 체계에 대상으로하여도 형식적으로 동등한 하나의
TM이 존재한다.
* CTT와 TP의 상호보완적 관계: CTT에 의하면 TM은 유일한 자동체계이고 TP에 의
하면 단지 하나만의 UTM이 필요하다.
다.
