계산을 아주 작은 단계로 쪼개기
튜링은 사람이 종이에 계산하는 과정을 더 나눌 수 없는 '단순한 동작'들로 쪼갰습니다. 그리고 그 일을 똑같이 해내는 기계를 만들 수 있다고 논증했습니다. 튜링 스스로 이런 논증은 결국 직관에 호소할 수밖에 없다고 적었습니다. 이때 그가 말한 'computer'는 계산하는 사람을 뜻했습니다. 기록 · 요지
Turing(1936) §9 / MacTutor
상상으로 그린 모습1912~1954년
흉내 게임의 튜링
기계는 생각할 수 있는가. 저는 이 질문을 생각해 보자고 제안합니다.제2국 · 재구성 · 기록, 튜링 1950 논문 첫 문장
앨런 튜링은 1912년 런던에서 태어난 영국의 수학자이자 논리학자입니다. 기록
1936년 논문에서 규칙에 따라 기호를 읽고 쓰는 가상의 기계, 오늘날 '튜링 기계'라 부르는 것을 내놓고 계산의 정의와 한계를 보였습니다. 기록
제2차 세계 대전 동안 블레츨리 파크에서 독일 에니그마 암호 해독에 참여했고, 해독 기계 봄브를 설계했습니다. 기록
1950년 논문에서 '기계는 생각할 수 있는가'라는 물음을 흉내 게임으로 바꿔 보자고 제안했고, 이것이 오늘날 튜링 테스트라 불립니다. 기록
1952년 당시 영국 법이 죄로 보던 동성 간 관계로 유죄 판결을 받았고, 1954년 41살에 세상을 떠났습니다. 기록
6월 23일 런던 패딩턴에서 태어났습니다. 아버지는 인도에서 일하던 영국 공무원이었습니다. 기록
MacTutor 'Alan Mathison Turing' / A. Hodges, Oxford Dictionary of Scientific Biography 항목(1995, turing.org.uk)
1931년 케임브리지 대학 킹스 칼리지에 들어가 1934년 수학 우등으로 졸업했고, 1935년 킹스 칼리지 펠로가 되었습니다. 기록
King's College 'Alan Mathison Turing (1912-54)' / MacTutor
논문 「계산 가능한 수에 관하여」는 1936년 5월 28일 런던 수학회에 접수되었고(23살) 11월 12일 학회에서 읽혔습니다. 본문은 1936년 11월 30일과 12월 23일 학회지에 두 번에 나뉘어 실렸고, 정정문은 1937년에 실렸습니다. 기록
Turing, 'On Computable Numbers…', Proc. London Math. Soc. (2) 42 머리말(Received 28 May, 1936.—Read 12 November, 1936) / MacTutor · Hodges(1995)
미국 프린스턴 대학에서 알론조 처치의 지도로 공부하고, 1938년 서수 논리에 관한 논문으로 박사 학위를 받았습니다. 기록
MacTutor / Princeton University Press 'Alan Turing's Systems of Logic: The Princeton Thesis'
영국이 전쟁을 선포하자 블레츨리 파크의 정부 암호 학교(GC&CS)에서 전임으로 일하기 시작했습니다. 기록
MacTutor / Hodges(1995)
튜링의 설계로 만든 첫 봄브 '빅토리'가 3월 블레츨리 파크에서 돌기 시작했습니다. 봄브는 폴란드의 봄바를 바탕으로 했고, 뒤에 고든 웰치먼이 고안한 대각선판이 더해졌습니다. 기록
TNMOC 'Enter Turing and Welchman' / Tony Sale, 'Virtual Wartime Bletchley Park — The Turing Bombe' · Hodges(1995)
튜링이 이끈 8호 막사(Hut 8)는 1941년 여름 무렵부터 독일 해군 에니그마('돌핀')를 꾸준히 해독하기 시작했습니다. 여기에는 해군이 붙잡은 암호 자료도 함께 쓰였습니다. 기록
Bletchley Park 'Sea' / Hodges(1995) · MacTutor
전시 공로로 대영제국 훈장(OBE)을 받았습니다. 같은 해 국립물리연구소(NPL)에서 컴퓨터 ACE의 설계를 내놓았습니다. 기록
Turing Digital Archive 'About Alan Turing' · IEEE Computer Society 'Computer Pioneers' / MacTutor · Hodges(1995)
영국 AAA 마라톤 선수권에서 2시간 46분 3초로 5위를 했습니다. 기록
MacTutor 'Turing as a runner' · MacTutor 전기 / NUTS 'Alan Turing' 기록
맨체스터 대학으로 옮겨 컴퓨터 연구실 일을 맡았습니다. 기록
Hodges(1995) / MacTutor
철학 학술지 『마인드』(59권 236호)에 「계산 기계와 지능」을 실었습니다. 기록
Mind LIX(236), 433–460, Oxford Academic / MacTutor
영국 왕립학회 회원(FRS)으로 뽑혔습니다. 기록
MacTutor / Hodges(1995) · Turing Digital Archive
3월 31일 재판에서 동성 간 관계로 유죄 판결을 받고, 감옥 대신 1년 동안 여성 호르몬 주사를 맞는 처분을 받아들였습니다. 기록
Hodges(1995) / MacTutor · GOV.UK 'Royal pardon for WW2 code-breaker Dr Alan Turing'(2013)
6월 7일 윔슬로 자택에서 청산가리 중독으로 숨졌습니다. 검시 판정은 자살이었지만, 사고였을 가능성을 말하는 연구자도 있습니다. 논쟁 중
Hodges(1995) · MacTutor · SEP 'Alan Turing' / History News Network(2012, 잭 코플랜드 주장)
12월 24일 여왕의 사면을 받았습니다. 앞서 2009년에는 고든 브라운 총리가 정부를 대표해 그가 받은 대우를 사과했습니다. 기록
GOV.UK 'Royal pardon…'(2013-12-24) · GOV.UK 'Thousands officially pardoned under Turing's Law'(2017) / MacTutor · University of Manchester(2009)
튜링은 사람이 종이에 계산하는 과정을 더 나눌 수 없는 '단순한 동작'들로 쪼갰습니다. 그리고 그 일을 똑같이 해내는 기계를 만들 수 있다고 논증했습니다. 튜링 스스로 이런 논증은 결국 직관에 호소할 수밖에 없다고 적었습니다. 이때 그가 말한 'computer'는 계산하는 사람을 뜻했습니다. 기록 · 요지
Turing(1936) §9 / MacTutor
1936년 논문은 다른 기계의 설명을 테이프에 주면 그 기계가 할 계산을 해내는 하나의 기계, 곧 만능 기계를 보였습니다. 호지스는 이것이 프로그램만 바꿔 여러 일을 하는 컴퓨터의 핵심 원리를 담고 있다고 봅니다. 기록 · 요지
Turing(1936) §6 'The universal computing machine' / Hodges(1995)
같은 논문에서 튜링은 힐베르트의 '결정 문제'에는 해답이 없음을 보였습니다. 어떤 기계적 절차로도 답을 정할 수 없는 문제가 있다는 뜻입니다. 기록 · 요지
Turing(1936) 머리말·§11 / SEP 'Alan Turing'(Andrew Hodges)
1950년 논문에서 튜링은 '기계는 생각할 수 있는가'를 낱말 뜻으로 따지지 말고, 질문자가 글로 묻고 답을 받아 상대를 가려내는 흉내 게임으로 바꾸자고 했습니다. 이 제안이 오늘날 튜링 테스트로 불리고, 그것이 생각의 증거가 되는지는 지금도 논쟁 중입니다. 기록 · 요지
Turing(1950) §1·§2 / SEP 'The Turing Test'(Graham Oppy·David Dowe)
튜링은 어른의 마음을 흉내 내는 프로그램보다, 아이의 마음을 흉내 내는 프로그램을 만들어 가르쳐 보자고 제안했습니다. 배우는 기계에는 우연의 요소를 넣는 편이 현명할 것이라고도 썼습니다. 기록 · 요지
Turing(1950) §7 'Learning Machines' / Oxford Academic 논문 소개
나는 '기계는 생각할 수 있는가?'라는 질문을 생각해 보자고 제안한다.
I propose to consider the question, "Can machines think?"
모두가 생각한다는 예의 바른 약속을 두는 것이 보통이다.
it is usual to have the polite convention that everyone thinks.
기계는 나를 아주 자주 놀라게 한다.
Machines take me by surprise with great frequency.
우리는 앞을 조금밖에 내다보지 못하지만, 그 안에서도 해야 할 일은 많이 보인다.
We can only see a short distance ahead, but we can see plenty there that needs to be done.
튜링이 1936년 논문을 쓸 무렵, 수학자들은 힐베르트가 던진 '결정 문제'를 다루고 있었습니다. 같은 해 미국의 알론조 처치도 다른 방법으로 비슷한 결론에 이르렀습니다. 제2차 세계 대전 동안 영국의 정부 암호 학교는 블레츨리 파크에서 독일 암호를 풀었고, 그 일은 전쟁 뒤 약 30년 동안 비밀이었습니다.
학자들은 튜링 기계를 오늘날 계산 이론의 바탕으로 보고, 튜링을 컴퓨터 과학의 창시자로 부르기도 합니다. 튜링 테스트는 지금도 기계 지능을 둘러싼 논쟁에서 다뤄지며, 그것으로 생각을 가릴 수 있는지에 대한 반론도 이어집니다. 2017년 영국은 지금은 없어진 동성 간 성행위 처벌 조항으로 유죄를 받은 사람들에게 사면을 주는 법을 만들었고, 이 법은 '튜링 법'이라 불립니다. 2021년 6월 23일에는 그의 얼굴을 담은 50파운드 지폐가 나왔습니다.
오해튜링이 혼자 에니그마를 풀었다.
사실에니그마 해독은 폴란드 수학자들이 먼저 시작했고, 그 성과가 영국에 전해졌습니다. 튜링의 봄브는 폴란드 봄바를 바탕으로 했고, 웰치먼의 대각선판이 더해졌습니다. 해군 에니그마 해독에는 해군이 붙잡은 암호 자료도 필요했습니다.
Hodges(1995, turing.org.uk) / MacTutor · TNMOC오해튜링이 자기 시험에 '튜링 테스트'라는 이름을 붙였다.
사실튜링은 1950년 논문에서 이것을 '흉내 게임(imitation game)'이라고 불렀습니다. '튜링 테스트'는 뒤에 붙은 이름입니다.
Turing(1950) §1 / Bletchley Park 보도 자료 'Bletchley Park and AI'오해튜링은 살아서 아무 공식 인정도 받지 못했다.
사실1946년 전시 공로로 대영제국 훈장(OBE)을 받았고, 1951년 왕립학회 회원이 되었습니다. 다만 전시에 한 일의 내용은 비밀이어서 알릴 수 없었습니다.
Turing Digital Archive · IEEE Computer Pioneers / MacTutor · Hodges(1995)