「アラン・チューリング」の版間の差分

| image = TuringAlan statueTuring SurreyCrop.jpg

| image_size= 250px200px

| work_institutions = [[ケンブリッジ大学]]<br />[[政府通信本部]]<br />{{仮リンク|[[国立物理研究所 (イギリス)|en|National Physical Laboratory (United Kingdom)}}]]<br />[[マンチェスター大学]]

[[ImageFile:Alan Turing Memorial Closer.jpg|thumb|マンチェスターのサックビル・パークにあるアラン・チューリングの銅像]]

'''アラン・チューリング'''（'''Alan Mathison Turing''', [[1912年]][[6月23日]] - [[1954年]][[6月7日]]）は[[イギリス]]の[[数学者]]、[[論理学]]者、[[暗号解読]]者、[[計算機科学]]者。

[[第二次世界大戦]]の間、[[ブレッチレイリー・パーク]]にあるイギリスの[[暗号解読]]センターの[[政府暗号学校]]でドイツの暗号を解読するいくつかの手法を考案し、英国の海上補給線を脅かすドイツ海軍の[[Uボート]]の暗号通信を解読する部門 (Hut 8) の責任者となった。ドイツの暗号機[[エニグマ (暗号機)|エニグマ]]の設定を見つけるための機械 bombe を開発した。

戦後、[[イギリス国立物理学研究所]] (NPL) に勤務し、プログラム内蔵式コンピュータの初期の設計のひとつ[[ACE (コンピュータ)|ACE]]（Automatic Computing Engine）に携わったが、実際に製作されるには至らなかった。[[1947年]]、マンチェスター大学に移ると、初期のコンピュータ [[Manchester Mark I]] のソフトウェア開発に従事<ref>{{Harvnb|Leavitt|2007|pp=231-233}}</ref>、[[数理生物学]]に興味を持つようになる。[[形態形成]]の化学的基礎についての論文を書き<ref>{{Cite journal| last= Turing | first= A. M. | title = The Chemical Basis of Morphogenesis | journal=Philosophical Transactions of the Royal Society of London, series B | volume = 237 | pages = 37–72 | year = 1952 | doi=10.1098/rstb.1952.0012| issue= 641| ref= harv}}</ref>、1960年代に初めて観察された[[ベロウソフ・ジャボチンスキー反応]]のような発振する[[化学反応]]の存在を予言した。

[[1952年]]、同性愛の罪で逮捕。保護観察の身となり、[[ホルモン療法]]を受ける。[[1954年]]、死去。42歳の若さであった。検死によると、[[シアン化水素|青酸中毒]]による自殺と断定されたが、母親や一部の友人は事故だと信じていた。

父の任期が続いていたため、幼年期に両親はインドとイギリスの[[ヘイスティングス]]<ref>{{Harvnb|Hodges|1992|p=6}}</ref>を行ったり来たりする生活を送り、アランと兄のジョンはイギリスの友人に預けられる。文字を読むことは三週間で覚え、数字に強くパズルが非常に得意だったと、幼年期に天才の片鱗を見せ始める<ref name=toolbox>{{Cite web|title=Alan Turing&nbsp;– Towards a Digital Mind: Part 1 |first=G. James |last=Jones |date=11 December 2001 |url= http://www.systemtoolbox.com/article.php?history_id=3 |accessdate=2007-07-27 |work=System Toolbox}}</ref>。

6歳でセント・マイケルズ学校に入学、担任教師に続き、校長もすぐに彼の才能に気づく。[[1926年]]、14歳でシャーボーン学校に入学。登校初日が[[ゼネスト]]予定日と重なったため、前日から100kmの距離を一人で自転車で行くことにして、途中で宿をとって登校。このできごとは[[地方紙|地元紙]]に掲載された<ref name=metamagical>{{Cite book|title=Metamagical Themas: Questing for the Essence of Mind and Pattern |first=Douglas R. |last=Hofstadter |year=1985 |publisher=Basic Books |isbn=0-465-04566-9 |oclc=230812136}}</ref>。

シャーボーンは有名な[[パブリックスクール]]であり、その校風は[[西洋古典学|古典]]を重視するものだったのであるが、チューリングは主に数学と科学に才能を発揮した。校長は両親に「ふたつの学校の間で落ちこぼれないことを望みます。パブリックスクールに留まるなら、教養を身に付けねばなりません。単に科学者になるのなら、パブリックスクールに通うのは時間の無駄です」 (<ref>{{Harvnb|Hodges, 2000, p26)|1992|p=26}}</ref>という手紙を書くなど、数学と科学への興味は、シャーボーンの教師たちとは合わなかった。

このようなことがあっても、学問に対する驚くべき能力を示し、初等[[微分積分学]]も習っていない[[1927年]]にもっと難しい問題を解いていた。[[1928年]]、[[アルベルト・アインシュタイン]]の書いた文章に触れた16歳でその内容を理解しただけでなく、明記されていなかった[[ニュートン力学]]についてのアインシュタインの疑問を外挿したという<ref>{{Harvnb|Hodges|1992|p=34}}</ref>。

[[ImageFile:KingsCollegeChapel.jpg|thumb|キングス・カレッジの計算機室はTuringと名づけられている]]

数学や科学ほど古典をまじめに学ばなかったため、[[ケンブリッジ大学]][[トリニティ・カレッジ (ケンブリッジ大学)|トリニティ・カレッジ]]の奨学金を受けられず、第二希望のケンブリッジ大学[[キングス・カレッジ_(ケンブリッジ大学)|キングス・カレッジ]]へ進学。[[1931年]]から[[1934年]]まで学生として学び、[[数学]]で優秀な成績を修めて卒業、[[1935年]]に[[カール・フリードリヒ・ガウス|ガウス]][[誤差関数中心極限定理]]に関するを証明した論文が認められてキングス・カレッジの[[フェロー]]（特別研究員）に選ばれた<ref>See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2 [http://www.jehps.net/decembre2009.html Decembre 2009] Journal Electronique d'Histoire des Probabilités et de la Statistique</ref>。ただし、中心極限定理は1922年に Lindeberg が証明済みだったが、チューリングはその業績を知らなかった<ref>{{Harvnb|Hodges|1992|pp=88,94}}</ref>。

1928年、ドイツの数学者[[ダフィット・ヒルベルト]]は「決定問題」への注目を呼びかけた。重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"（「計算可能数、ならびにその[[ダフィット・ヒルベルト|ヒルベルト]]の決定問題への応用」、[[1936年]]5月28日提出、11月12日配布）<ref>{{Cite journal| last= Turing | first= A. M. |year=1936 | publication-date = 1936–37 | title = On Computable Numbers, with an Application to the Entscheidungsproblem | periodical = Proceedings of the London Mathematical Society | series = 2 | volume = 42 | pages = 230–65 | doi= 10.1112/plms/s2-42.1.230 | url = http://www.comlab.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf | ref= harv}}（および {{Cite news| last = Turing | first = A.M. | publication-date = 1937 | title = On Computable Numbers, with an Application to the Entscheidungsproblem: A correction | periodical = Proceedings of the London Mathematical Society | series = 2 | volume = 43 | pages = 544–6 | doi = 10.1112/plms/s2-43.6.544 | year = 1938 }}）</ref>で、[[チューリングマシン]]という概念を導入する事で[[アルゴリズム]]の概念を定式化し、[[1931年]]に[[クルト・ゲーデル|ゲーデル]]が発表した[[不完全性定理]]を別の形式で公式化した。

チューリングマシンは現在の[[コンピュータ]]を先取りした概念で、今日から見れば[[コンピュータ]]を抽象化したものであるともいえる。この論文でまず、チューリングマシンを適切に設計すれば、いかなるアルゴリズムもチューリングマシンで実行可能である事を証明した。([[万能チューリングマシン]]。今日でいう[[ノイマン型コンピュータ]]の理論的背景。)そしてこの事実を使い、「与えられたアルゴリズムが有限時間で停止するか？」という問題([[停止性問題]])を完全解決する事は不可能である事を示し、コンピュータが実現されないうちに、コンピュータの理論的限界を示した。この証明は[[アロンゾ・チャーチ]]の[[ラムダ算法]]による同等の証明の直後に発表されたが、チューリングはそのことを当時知らず<ref>{{Harvnb|Hodges|1992|p=111}}</ref>、チューリングの論文のほうがずっとわかりやすく直感的であった。チューリングのこの論文ではまた[[決定可能数]]の記述法も導かれた。成果と前後して「アルゴリズム」の概念が様々な方法で定式化されたが、それらは全て同値である事が後に示し[[チャーチの提唱]])「アルゴリズム」の概念に最初に定式化を与えた人物の一人であるといえる。

[[19371936年]]9月から[[1938年]]7月にかけて[[プリンストン大学高等研究所]]においてアロンゾ・チャーチに師事し、[[1938年]]、プリンストンで[[博士号]]を得ている。博士論文<ref> {{Citation| last = Turing | first = A. M. | title = Systems of Logic Based on Ordinals | year = 1938 | url = https://webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf }} </ref>では、数の広がり（正の整数→負数→無理数→虚数）とその公理体系の進化に関して、それらすべてを包含する「[[順序数]]」という概念の体系を整理しようとした。その中で[[チューリング還元]]の概念を提案している。純粋数学とは別に暗号理論もここで学び、電気機械式乗算器も試作している<ref>{{Harvnb|Hodges|1992|p=138}}</ref>。またこの時期、[[ジョン・フォン・ノイマン]]も同じくプリンストンにおり、二人は親交があったと言われている。ノイマンはアメリカに残ることを勧めたという。

1939年にケンブリッジに戻ると、[[ルートヴィヒ・ウィトゲンシュタイン|ウィトゲンシュタイン]]の[[数学基礎論]]という講義に参加<ref>{{Harvnb|Hodges|1992|p=152}}</ref>。ウィトゲンシュタインの数学批判（数学は絶対的真実を発見するのではなく、発明している）に対して、[[数学の哲学#形式主義|形式主義]]を擁護する立場を取った<ref>{{Harvnb|Hodges|1992|pp=153–154}}</ref>。

[[ImageFile:BletchleyParkTuring MainBuilding1flat.JPGjpg|thumb|暗号解読部門があった[[ブレッチレイリー・パーク]]内のこの建物で1939年から1940年まで働き、その後 [[:en:Hut 8|Hut 8]] に移った。]]

[[1945年]]から[[1947年]]まで、チューリングはロンドンのリッチモンドに住み<ref>{{Openplaque|1619}}</ref>、[[イギリス国立物理学研究所]] (NPL) にて、[[ACE (コンピュータ)|ACE]]（Automatic Computing Engine）の設計を行う。1946年2月の論文では、[[ノイマン型|プログラム内蔵式コンピュータ]]の英国初の完全なデザインを発表している<ref>{{Harvnb|Copeland|2006|p=108}}</ref>。ACE[[ジョン・フォン・ノイマン|フォン・ノイマン]]の ''[[:en:First Draft of a Report on the EDVAC|First Draft of a Report on the EDVAC]]'' は万能チューリングマシンの実現を念頭論文より先に置存在したが、チューリングの論文の方が詳細であり、NPL数学部門の責任者だった [[:en:John R. Womersley|John R. Womersley]] は「チューリング博士の独自のアイデアがいくつか含まれていた」と記している<ref> {{Citation| last = Randell | first = B | title = A History of Computing in the Twentieth Century: Colossus | year = 1980 | url = http://www.cs.ncl.ac.uk/research/pubs/books/papers/133.pdf | accessdate = 2012-01-27}} で以下を引用 {{Citation| last = Womersley | first = J. R. | title = 'ACE' Machine Project | journal = Executive Committee, National Physical Laboratory, Teddington, Middlesex | date = 13 February 1946 }}</ref>。ACEは実現可能な設計されだったが、その上ブレッチリー・パークで人工知能軍事機密に関わる仕事を実現しようとしていたこと見られる。しかしが原因でプロジェクトは遅々として進まず、1947年サバティカル休暇でケンブリッジに戻る。彼がケンブリッジにいる間にACEを縮小した [[ACE (コンピュータ)|Pilot ACE]] が作られた。1950年5月10日に初めてプログラムの実行を達成している。

1952年から、亡くなる1954年まで[[数理生物学]]、特に[[形態形成]]について研究を行う。"The Chemical Basis of Morphogenesis"（形態形成の化学的基礎）と題する論文を1952年に発表、形態形成について仮説を提唱した<ref>"Control Mechanism For Biological Pattern Formation Decoded" ''ScienceDaily'', 30 November 2006</ref>。この分野での関心は、[[フィボナッチ]]の葉序研究、すなわち植物の葉のつき方に現れる[[フィボナッチ数]]の存在である。これに反応拡散方程式を用いたが、これは形態形成の分野で現在よく使われる手法である。その後の論文は 1992年の ''Collected Works of A.M. Turing'' の出版まで未発表だった。近年再評価が著しい仕事である<ref>{{Wayback|url= http://www.swintons.net/deodands/archives/000087.html |title=Turing's Last, Lost work |date=20030823032620}}</ref>。

=== 同性愛の告発と死 ===