튜링 기계와 기능주의
페이지 정보
작성일 23-01-03 07:43
본문
Download : 튜링 기계와 기능주의.hwp
* CTT가 가지는 의미
효율적인 절차라고 불릴 수 있는 어떠한 절차도 TM에 의해 수행될 수 있따 왜냐
하면 효율적인 절차는 수행에 필요한 지침들의 집합인 알고리즘을 가지고 있기 때
문이다. 따라서 conclusion 적으로 UTM은 가능한 모든 자동
적 형식체계의 작업을 할 수 있다는 conclusion 을 내릴 수 있따
3. 기능주의
3.1 TM과 기능주의
* 기능주의에 의해 說明(설명) 되는 정신상태 (mental state : MS): 인과적 역할(causal
role)에 의해 그 성격이 규정될 수 있는 기능적 상태, 즉 기능적 역할에 의해 개
별화된 상태로서 물리적 구성과는 관계없음.
* 기능주의의 종류
① 방법론적 행동주의
· 기능주의적 分析으로서의 기능주의: 일종의 說明(설명) 유형(type of explanation)으
로 하나의 체계를 요소 부분으로 분해하고, 그 요소들에 대한 分析에 의해 그
체계를 說明(설명)
· 계산-표현으로서의 기능주의: 마음에 대해 일종의 기계 작동표를 제공하는 것
이라고 간주되는 기능주의적 說明(설명) 유형.
② 형이상학적 기능주의(metaphysical functionalism): 주로 마음의 본성(nature
…(省略)
다.2.3 보편적 튜링기계와 튜링증명
튜링 기계와 기능주의
· 하나의 TM은 다른 TM을 모방할 수 있도로 프로그램될 수 있다.
Download : 튜링 기계와 기능주의.hwp( 40 )
* 튜링증명(Turing`s proo...
,기타,레포트
순서
설명
레포트/기타
2.3 보편적 튜링기계와 튜링증명· 하나의 TM은 다른 TM을 모방할 수 있도로 프로그램될 수 있다.* 튜링증명(Turing`s proo... , 튜링 기계와 기능주의기타레포트 ,
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이 필요하다.
