튜링 기계와 기능주의
페이지 정보
작성일 24-04-05 20:05
본문
Download : 튜링 기계와 기능주의.hwp
따라서 結論(결론)적으로 UTM은 가능한 모든 자동
적 형식체계의 작업을 할 수 있다는 結論(결론)을 내릴 수 있다
3. 기능주의
3.1 TM과 기능주의
* 기능주의에 의해 설명(explanation)되는 정신상태 (mental state : MS): 인과적…(투비컨티뉴드 )① 방법론적 행동주의
② 형이상학적 기능주의(metaphysical functionalism): 주로 마음의 본성(nature
* 튜링증명(Turing`s proo...
Download : 튜링 기계와 기능주의.hwp( 98 )
순서
2.3 보편적 튜링기계와 튜링증명
다.
· 하나의 TM은 다른 TM을 모방할 수 있도로 program될 수 있다아
레포트/기타
,기타,레포트
튜링 기계와 기능주의
2.3 보편적 튜링기계와 튜링증명· 하나의 TM은 다른 TM을 모방할 수 있도로 프로그램될 수 있다.* 튜링증명(Turing`s proo... , 튜링 기계와 기능주의기타레포트 ,
설명
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이 필요하다.
