想像で描いた姿

アラン・チューリング

1912〜1954年

模倣ゲームのチューリング

機械は考えることができるか。私はこの問いを考えてみることを提案します。

第2局 · 再構成 · 記録、チューリング1950年論文の最初の一文

概要

アラン・チューリングは、1912年にロンドンで生まれたイギリスの数学者であり、論理学者です。記録

1936年の論文で、規則に従って記号を読み書きする仮想の機械、今日「チューリング機械」と呼ばれるものを示し、計算の定義と限界を明らかにしました。記録

第2次世界大戦中、ブレッチリー・パークでドイツのエニグマ暗号の解読に加わり、解読機械ボンブを設計しました。記録

1950年の論文で、「機械は考えることができるか」という問いを模倣ゲームに置き換えてみようと提案し、これが今日チューリング・テストと呼ばれています。記録

1952年、当時のイギリスの法律が罪とみなしていた同性間の関係で有罪判決を受け、1954年に41歳で世を去りました。記録

出典は韓国語の原文のまま掲載しています。

生涯年表

1912
6月23日、ロンドンのパディントンで生まれました。父はインドで働くイギリスの公務員でした。記録
MacTutor 'Alan Mathison Turing' / A. Hodges, Oxford Dictionary of Scientific Biography 항목(1995, turing.org.uk)
1931〜1935
1931年にケンブリッジ大学キングズ・カレッジに入り、1934年に数学で優等の成績で卒業し、1935年にキングズ・カレッジのフェローになりました。記録
King's College 'Alan Mathison Turing (1912-54)' / MacTutor
1936
論文「計算可能数について」は、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)
1936〜1938
アメリカのプリンストン大学でアロンゾ・チャーチの指導のもとで学び、1938年に順序数論理に関する論文で博士号を取りました。記録
MacTutor / Princeton University Press 'Alan Turing's Systems of Logic: The Princeton Thesis'
1939
イギリスが宣戦布告すると、ブレッチリー・パークの政府暗号学校（GC&CS）で専任として働き始めました。記録
MacTutor / Hodges(1995)
1940
チューリングの設計でつくられた最初のボンブ「ヴィクトリー」が、3月にブレッチリー・パークで稼働し始めました。ボンブはポーランドのボンバをもとにしており、のちにゴードン・ウェルチマンが考案したダイアゴナル・ボードが加えられました。記録
TNMOC 'Enter Turing and Welchman' / Tony Sale, 'Virtual Wartime Bletchley Park — The Turing Bombe' · Hodges(1995)
1941
チューリングが率いたハット8（Hut 8）は、1941年の夏頃からドイツ海軍のエニグマ（「ドルフィン」）を継続的に解読し始めました。これには、海軍が押収した暗号資料もあわせて使われました。記録
Bletchley Park 'Sea' / Hodges(1995) · MacTutor
1946
戦時の功績により大英帝国勲章（OBE）を受けました。同じ年、国立物理学研究所（NPL）でコンピューターACEの設計を発表しました。記録
Turing Digital Archive 'About Alan Turing' · IEEE Computer Society 'Computer Pioneers' / MacTutor · Hodges(1995)
1947
イギリスのAAAマラソン選手権で、2時間46分3秒で5位になりました。記録
MacTutor 'Turing as a runner' · MacTutor 전기 / NUTS 'Alan Turing' 기록
1948
マンチェスター大学に移り、コンピューター研究室の仕事を担いました。記録
Hodges(1995) / MacTutor
1950
哲学の学術誌『マインド』（59巻236号）に「計算機械と知能」を発表しました。記録
Mind LIX(236), 433–460, Oxford Academic / MacTutor
1951
イギリス王立協会の会員（FRS）に選ばれました。記録
MacTutor / Hodges(1995) · Turing Digital Archive
1952
3月31日の裁判で同性間の関係により有罪判決を受け、刑務所に入る代わりに1年間女性ホルモンの注射を受ける処分を受け入れました。記録
Hodges(1995) / MacTutor · GOV.UK 'Royal pardon for WW2 code-breaker Dr Alan Turing'(2013)
1954
6月7日、ウィルムズローの自宅で青酸中毒により亡くなりました。検視の判定は自殺でしたが、事故だった可能性を指摘する研究者もいます。論争中
Hodges(1995) · MacTutor · SEP 'Alan Turing' / History News Network(2012, 잭 코플랜드 주장)
2013
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?"

「Computing Machinery and Intelligence」 §1, Mind 59(236), 433쪽(1950) 記録 · 引用

誰もが考えているという礼儀正しい取り決めを置くのが普通である。

it is usual to have the polite convention that everyone thinks.

「Computing Machinery and Intelligence」 §6 (4) 의식에서 나온 반론(1950) 記録 · 引用

機械は、私をとても頻繁に驚かせる。

Machines take me by surprise with great frequency.

「Computing Machinery and Intelligence」 §6 (6) 러브레이스 부인의 반론(1950) 記録 · 引用

私たちには少し先しか見通せないが、その中にもなすべきことはたくさん見える。

We can only see a short distance ahead, but we can see plenty there that needs to be done.

「Computing Machinery and Intelligence」 마지막 문장(1950) 記録 · 引用

時代と影響

チューリングが1936年の論文を書いた頃、数学者たちはヒルベルトが投げかけた「決定問題」に取り組んでいました。同じ年、アメリカのアロンゾ・チャーチも別の方法で似た結論に達しました。第2次世界大戦中、イギリスの政府暗号学校はブレッチリー・パークでドイツの暗号を解読しており、その仕事は戦後約30年にわたって秘密でした。

学者たちはチューリング機械を今日の計算理論の土台とみなし、チューリングをコンピューター科学の創始者と呼ぶこともあります。チューリング・テストは今も機械の知能をめぐる論争で取り上げられ、それで思考を見分けられるのかという反論も続いています。2017年、イギリスは今は廃止された同性間の性行為の処罰条項で有罪となった人々に恩赦を与える法律をつくり、この法律は「チューリング法」と呼ばれています。2021年6月23日には、彼の顔を描いた50ポンド紙幣が発行されました。

ほかの対局の人物と

ジョン・メイナード・ケインズ二人は同じ時期にケンブリッジ大学キングズ・カレッジにいました。キングズ・カレッジが紹介した1935年3月11日の手紙で、ケインズは妻リディアに、フェロー候補だったチューリングを、書類の上では群を抜いて最も聡明に見える候補だと書いています。チューリングはその年、キングズ・カレッジのフェローに選ばれました。King's College, Cambridge 'Alan Mathison Turing (1912-54)' / King's College 'True, for Alan Turing'(Antony Gormley 작품 소개)

よくある誤解

誤解チューリングが一人でエニグマを解読した。
事実エニグマの解読はポーランドの数学者たちが先に始め、その成果がイギリスに伝えられました。チューリングのボンブはポーランドのボンバをもとにしており、ウェルチマンのダイアゴナル・ボードが加えられました。海軍エニグマの解読には、海軍が押収した暗号資料も必要でした。
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)

さらに読む本

エニグマアラン・チューリング伝上アンドルー・ホッジス · 土屋俊・土屋希和子訳 · 勁草書房 · 2015 · keisoshobo.co.jp

登場する対局

左は川辺の岩に座る昔の中国の服装の男性、右は黒板の前の机に座るツイードのジャケットの男性、二人が並んで見える場面

0213:44

第2局·荘子×チューリング