튜링의 생각하는 기계 / 아베 아야미, 카사이 타쿠미

1.궁극의 인공지능과 그것을 실현하는 기계

 

'기계'의 정의
어떤 질문에 대해서 어떠한 대답을 해주는 것은 모두 기계이고, 그 밖의 것은 기계가 아니다. Answer

 

'지능' - 문제가 주어졌을 때 그 문제를 어떻게 해결하는지 HOW

 

'알고리즘'-문재를 풀어가는 절차 (계산이론)

 

?어떤 질문에도 대답해 줄 수 있는 궁극적 기계를 만들 수 있는가??

 

튜링, 영국의 수학자
최초로 알고리즘을 실행하는 기계를 생각

현재의 컴퓨터는 원칙적으로 튜링기계의 후손이다.

 

쿠르트,괴델- '괴델수' - 숫자가 아닌 대상을 괴델이 고안한 계산방법으로 수치화한 수자 -> 비트열 - >컴퓨터의 발전

 

 

2.거짓말쟁이의 역설과 대각선 논법

3.수학적 귀납법과 숫자

 

4.계산 모델

 

5.사로를 while 프로그램으로 표현

 

6.이론과 프로그램

 

7.배열과 데이터형태

 

8.내장형 프로그램과 만능프로그램

 

9.계산 가능성

 

10.계산할 수 없는 문제

 

11.튜링 기계와 계산기

 

12.실수와 문제의 클래스

 

13.계산의 가능성을 넘어서

알고리즘이 없는 계산할 수 없는 문제가 존재한다.