Alan Turing

 

(영국 수학자 컴퓨터과학자 물리학자 1912~1954)

...... Alan Mathison Turing 은 영국의 수학자, 논리학자, 암호전문가 (cryptographer) 이며 현대 컴퓨터과학의 아버지라 불리운다. 튜링테스트를 발명하여 인공의식 (synthetic consciousness) 이라고 요약되는 논쟁을 촉발시켰다. 그것은 기계가 의식을 가지거나 생각할수 있느냐 하는 것이다. 또한 그는 튜링머신으로서 알고리즘과 계산 (computation) 의 개념을 형식화 하였으며, 지금은 널리 알려진 Church-Turing thesis 을 형식화했다. 그 명제는 어떠한 실질적인 컴퓨터 모델도 튜링머신의 성능과 동등하거나 그것에 포함된다는 것이다 ..............

튜링이 1940 년대에 연구한 것은 대형 계산장치의 프로그래밍이었다. .... 그는 여기에서 얻은 경험으로 한 가지 매혹적인 질문에 관심을 기울였으며, 이 질문은 1950 년대에 자신의 연구 주제로 삼았다.

나는 '기계가 생각할 수 있을까?' 라는 질문을 고찰하고자 한다.

어쨌든 튜링은 계산기계 (컴퓨터) 가 뇌 (Brain) 를 모방할 수 있음을 확신하고 있었다. 그리고 그는 이 기계가 더 개선될 수 있다는 것도 알았다. 그는 어떤 문제에 대한 대답이 컴퓨터에서 나왔는지, 인간의 머리에서 나왔는지 구분할 수 없을 정도로 뇌의 모조품인 컴퓨터가 훌륭하다면, 기계도 생각할 수 있음을 인정해야 한다고 주장했다. 그리고 앞선 질문을 명쾌하게 풀기 위해, 긴 철학적 토론 대신 구체적인 테스트를 제안했다. (Computing machinery and intelligence 1950)

튜링 테스트 (Turing Test) 는 계산 가능성 (계산가능성 이론 (Computability Theory)) 에 관한 중심 개념인 알고리즘 (algorithm) 이 도입될 때에만 이해될 수 있는 튜링기계 (Turing Machine) 만큼 그렇게 설득력 있지는 않다. 수학자들은 계속 실행될 수 있고 명백한 결과를 전달하는 문제의 해결방식 (예를 들어 숫자 π 의 소수점 계산 가능성) 을 알고리즘을 통해 이해했다. 사람들은 방정식을 풀 때 알고리즘을 이용한다. 예를 들어 여행자가 일곱 도시를 방문하면서 한 점을 두 번 건드리지 않고 가장 짧은 길을 찾는 문제는 유명하다. 어쨌든 당시 수학의 주제는 모든 문제를 알고리즘으로 해결할 수 있는가 하는 것으로 모아져 있었다.

1936 년경 고안된 튜링 기계는 알고리즘 (Algorithm) 에 실제로 사용 가능한 명확한 형식을 주려고 했다. 그 과정에서 튜링은 알고리즘으로 해결할 수 있는 모든 문제를 제어하는 보편적인 기계를 만들 수 있음을 알았다 (튜링 명제 (Turing Thesis)). 이때 그는 특이하게도 알고리즘으로 해결될 수 없는 문제가 존재한다는 것을 동시에 보여주려고 했다. (결정문제 (Entscheidungsproblem))

튜링 기계는 단순한 계산기계지만, 단지 계산만 할 수 있는 것은 아니다. 오히려 현대 컴퓨터가 할 수 있는 모든 것을 한다. 우리는 튜링이 활동하던 제 2 차 세계대전 이전에는 오늘날 같은 자동계산기 (오토마타 (Automata)) 가 아직 없었음을 주목해야만 한다. 다만 특별히 넓은 시야를 가진 튜링만이 그런 기계이 본질적인 부분과 작업 방법을 소개할 수 있었다. 또한 튜링 기계의 경우 알고리즘 과정을 각각의 단계로 해체한다. 이런 해체는 가능한 단계까지 계속해서 이루어진다. 이것은 각각의 단계가 간단한 구조로 해체됨으로써 기계에 의해 쉽게 실행될 수 있을 뿐 아니라 수학적으로 접근 가능하다는 것을 의미한다.

..... 정교하게 프로그램 된 튜링 기계는 셀 수 있고, 계산할 수 있고, 대수학적으로 변형할 수 있는 능력을 지니고 있다. 그것은 논리적인 결론을 끌어낼 수 있을 뿐 아니라 수학적인 명제를 증명할 수 있으며 해석할 수 있다. 그것은 알고리즘이 할 수 있는 모든 일을 할 수 있다. 물론 이론상으로 가능한 이 체계는 말 그대로 모든 일을 할 수 있는 무결점 상태는 아닐 것이다.

1936 년 이미 튜링은 모든 알고리즘이 실패한 문제가 있다는 것을 알 수 있었다. 그 문제는 튜링 기계의 정지문제 (Halting Problem) 이다. 그것은 새김이 들어 있는 테이프로 작업하는 튜링 기계가 무한히 많은 단계 후에 정지하는지, 혹은 그렇지 못한지 하는 문제이다. 결론만 말하자면 이때 정지에 대한 질문은 개개의 경우로 대답될 수 있지만, 일반적인 방법은 존재하지 않는다.

term :

컴퓨터 (Computer)   튜링 테스트 (Turing Test)   튜링기계 (Turing Machine)   튜링 명제 (Turing Thesis)     튜링 상(Turing Award)     결정문제 (Entscheidungsproblem)   정지문제 (Halting Problem)    알고리즘 (Algorithm)    계산이론 (Theory of Computation)    계산가능성 이론 (Computability Theory)    순회판매원 문제 (Travelling Salesman Problem)   사고 (Thinking)   의식 (Consciousness)   뇌 (Brain)   인공지능 (Artificial Intelligence)    인공의식 (Artificial Consciousness)

site :

The Alan Turing Hompage

Wikipedia : Alan Turing

Wikipedia : Loebner Prize ... Loebner Prize

Wikipedia : Turing Award  ... A. M. Turing Award

Windshoes Federation's Assylum : 알란튜링

paper :

Computing machinery and intelligence

On computable numbers, with an application to the Entscheidungsproblem

동성애 때문에 파멸한 비운의 천재 : Ernst Peter Fischer

모순에 관한 튜링/비트겐슈타인 논쟁 (Turing / Wittgenstein Debate on Contradiction) : 이승종, 철학연구회 철학연구 33권, 1993 .......... 1939년에 튜링은 비트겐슈타인으로부터 논리학 (Logic) 을 배웠다.

튜링의 다리와 비트겐슈타인의 수학철학 (Turing`s Bridge and Wittgenstein`s Philosophy of Mathematics) : 박정일, 한국논리학회 논리연구 5권 2호, 2002

video :

Alan Turing - BBC Horizon Documentary : 2015/09/28

 

Turing : Pioneer of the Information Age : Stanford : 2012/09/10

 

Prof. Jim Al-Khalili - Alan Turing : Legacy of a Code Breaker : Univ. Edinburgh : 2012/06/04

 

Breaking the Code : Biography of Alan Turing (Derek Jacobi, BBC, 1996) : 2011/10/27 ... TV Drama

 

Alan Turing - Enigma And The Bombe, Part 1 : Genius of Invention : 2013/03/10

 

Alan Turing - Enigma And The Bombe, Part 2 : Genius of Invention : 2013/03/10

 

The Enigma Code : David Perry : 2010/02/01

 

Charles Darwin and Alan Turing's Strange Inversion : Daniel Dennett, 2015/10/03