1.1 幼少期と教育
アラン・チューリングは1912年6月23日、ロンドンに生まれた。父はインドで公務員を務めていたため、幼少期は主にイギリス国内の家庭や寄宿学校で過ごした。早くから数学と科学に強い関心を示し、13歳で名門パブリックスクールのシェアボーン校に入学した。同校では数学の才能が顕著で、アインシュタインの相対性理論を独自に理解するなど非凡な知性を見せたが、人文科目には無関心であったため周囲と軋轢を生むこともあった。
1.2 ケンブリッジ大学とプリンストン大学
1931年、チューリングはケンブリッジ大学キングス・カレッジに進学し、数学を専攻した。1934年に首席で卒業し、翌年にはフェローに選出された。1936年には「計算可能な数について」と題する画期的な論文を発表し、チューリングマシンの概念を導入した。同年、プリンストン大学大学院に移り、アロンゾ・チャーチのもとで研究を続け、1938年に博士号を取得した。プリンストンではフォン・ノイマンらと交流し、論理学と計算理論の分野で深い影響を与え合った。
1.3 第二次世界大戦と暗号解読
第二次世界大戦が勃発すると、チューリングはイギリス政府の暗号解読機関である政府暗号学校(GC&CS)に招かれ、バレット・パーク(後のブレッチリー・パーク)に配属された。彼はドイツ軍のエニグマ暗号を解読するための機械「ボム」の設計・改良を主導し、連合国の通信情報収集に決定的な貢献をした。特に海軍エニグマの解読により大西洋の戦いにおける連合国の勝利に寄与したとされる。この間の業績は戦後長らく機密扱いとされた。
1.4 戦後と晩年
戦後、チューリングはナショナル・フィジカル・ラボラトリーで自動計算エンジン(ACE)の設計に携わり、その後マンチェスター大学に移りマンチェスター・マーク1の開発に従事した。また、形態形成理論や人工知能に関する研究を進めた。1952年、同性愛行為を理由に起訴され、刑事罰の代替として化学的去勢を選択した。1954年6月7日、自宅で青酸カリを摂取した状態で発見され、41歳で死去した。死因は公式には自殺と判定されたが、事故説も存在する。
2.1 チューリングマシンと計算可能性
チューリングは1936年の論文で、簡単な読み書きヘッドと無限のテープからなる抽象的な計算モデル「チューリングマシン」を定義した。このモデルは、任意のアルゴリズムを実行できる最も基本的な計算装置として、計算可能性理論の基盤となった。チューリングマシンは今日のコンピュータサイエンスにおける標準的な思考実験装置であり、アルゴリズムの概念を数学的に定式化したものとして高く評価されている。
2.1.1 停止問題の決定不可能性
チューリングは同じ論文で、停止問題(任意のプログラムが有限時間で停止するかどうかを決定する問題)が決定不能であることを証明した。すなわち、すべてのプログラムについて停止判定を行う汎用のアルゴリズムは存在しないことを示した。これは計算可能性理論における最初の重要な非可解性結果であり、ゲーデルの不完全性定理と並ぶ20世紀論理学の金字塔である。
2.2 人工知能とチューリングテスト
1950年、チューリングは「計算機械と知能」と題する論文を発表し、「機械は考えることができるか」という問いを提起した。彼はこの問いに答えるための実用的なテストとして、人間の審判者が機械と人間を会話のみで区別できるかどうかを試す「模倣ゲーム」を提案した。後にチューリングテストとして知られるこの手法は、人工知能研究における最も有名な哲学的基準の一つとなり、機械知能の議論に決定的な枠組みを与えた。
2.3 形態形成理論
晩年のチューリングは生物学に興味を移し、1952年に「形態形成の化学的基礎」を発表した。この論文では、反応拡散系を用いて生物の模様や形態が自己組織化によって形成される機構を数理モデルで説明した。当時はほとんど注目されなかったが、後に発生生物学やパターン形成理論の先駆的研究として再評価され、現代の数理生物学の基礎を築いた。
3.1 エニグマ暗号の解読
第二次世界大戦中、ドイツ軍はエニグマ暗号機による暗号化通信を広く使用していた。チューリングはポーランドの暗号学者から引き継がれた成果を基に、エニグマの設定を効率的に探索する電気機械式装置「ボム」を設計した。この装置は暗号鍵の候補を自動的に検出し、解読速度を大幅に向上させた。特に、ドイツ海軍のエニグマ暗号を解読したことで、連合国はUボートの動向を把握し、大西洋の戦いにおいて優位に立つことができた。
3.2 政府暗号学校(GCHQ)での活動
戦後、チューリングはブレッチリー・パークの後身である政府暗号学校(後のGCHQ)で短期間コンサルタントとして活動した。しかし、戦時中の業績は国家機密として封印され、彼の貢献が公に知られるようになったのは1970年代以降である。GCHQ内では音声暗号化システムの設計などにも助言を与えたとされるが、詳細の多くは現在も機密扱いとなっている。
4.1 同性愛の告発と化学的去勢
1952年、チューリングは自宅で起きた窃盗事件の捜査過程で、男性との性的関係を警察に自供した。当時のイギリスでは同性愛行為は犯罪とされており、彼はわいせつ罪で起訴された。裁判では、収監を避けるために化学的去勢(女性ホルモン剤の投与)に同意した。この処置により乳房の発達や性欲減退などの副作用に苦しみ、セキュリティクリアランスも剥奪された。
4.2 死因と論争
1954年6月8日、チューリングは自室のベッドで死亡しているのが発見された。傍らには青酸カリの溶液が染み込んだリンゴが半分残されていた。公式検死では自殺と判定されたが、事故(実験中の誤飲)や謀殺説も根強く存在する。リンゴが毒物を含んでいたことから、後のアップル社のロゴ(かじられたリンゴ)との関連を指摘する憶測も流れたが、公式には否定されている。
4.3 戦後の恩赦と名誉回復
2009年、イギリスのゴードン・ブラウン首相はチューリングに対する当時の処遇を謝罪する声明を発表した。2013年12月24日、エリザベス2世女王は王室の特権によりチューリングに条件付き恩赦(王立恩赦)を付与した。さらに、2017年に「アラン・チューリング法」が成立し、同性愛行為で過去に有罪判決を受けた男性たちに死後恩赦の道が開かれた。チューリングは公式に名誉回復された科学者として広く認識されるようになった。
5.1 科学界への影響
チューリングの業績は計算機科学、人工知能、数理生物学、暗号理論の各分野に計り知れない影響を残した。チューリングマシンは現代のコンピュータアーキテクチャの理論的基礎であり、チューリングテストはAI研究の出発点となった。また、停止問題の決定不可能性は計算理論の限界を画し、形態形成理論は発達生物学の数理モデルとして復活を遂げた。彼の名を冠した「チューリング完全」「チューリング還元」などの用語は標準的な専門語として定着している。
5.2 文化的描写と顕彰
5.2.1 映画『イミテーション・ゲーム』
2014年公開のイギリス映画『イミテーション・ゲーム』(監督:モルテン・ティルドゥム、主演:ベネディクト・カンバーバッチ)は、チューリングの生涯、特にエニグマ解読とその後の悲劇を描いた。作品はアカデミー賞脚色賞を受賞し、チューリングの功績と処遇に対する一般の認知を大きく高めた。ただし、史実とは異なる脚色も一部存在する。
5.2.2 アラン・チューリング賞
1966年、国際計算機学会(ACM)はコンピュータサイエンス分野における最高の栄誉としてアラン・チューリング賞を創設した。同賞は、計算機科学への永続的かつ重要な技術的貢献を行った個人に毎年授与される。ノーベル賞に相当するこの賞は、チューリングの名を不朽のものとしており、受賞者にはドナルド・クヌース、アラン・パリス、ジュディア・パールらが名を連ねる。
- 計算可能性理論
- エニグマ(暗号機)
- 第二次世界大戦の暗号解読
- 人工知能の歴史
- イギリスにおける同性愛の歴史
(このセクションでは、信頼性のある伝記、論文、公式記録などを列挙する。実際の執筆時には必要に応じて具体的な文献情報を記述する。)