チューリングとワイルズ — 計算可能性と フェルマー最終定理

「具体的な問題を 解く」 天才たち

前記事 [ネーター・ジェルマン] までの数学者は、 新しい理論や 構造を発明 することで 数学史に名を残した。 20 世紀後半には、 別の系譜の天才が現れる — 具体的な、 100 年以上未解決の 問題を、 一人で解いた 数学者たち:

• アラン・チューリング (1912-1954) — 「計算とは何か」 を機械的に定義、 コンピュータ科学を創始、 エニグマ暗号を解読
• アンドリュー・ワイルズ (1953-) — 358 年未解決だった フェルマー最終定理を 1994 年に証明

2 人とも、 孤独な仕事 で 時代を変える結果 を出した。 一人の頭の中で 数年間 熟成した思考が、 世界を変えた。

アラン・チューリング — 41 年の 悲劇

アラン・マシソン・チューリング (Alan Mathison Turing、 1912-1954) は イギリスの数学者・論理学者・計算機科学者。 コンピュータ科学の創始者 であり、 人工知能の 概念的基盤 を築いた。 第二次世界大戦中は ブレッチリー・パーク で エニグマ暗号解読 に従事し、 連合国の勝利に 決定的に貢献 したとされる。

しかし戦後、 同性愛行為を理由に有罪 となり、 化学的去勢を強制 された。 1954 年 6 月 7 日、 青酸カリで毒したリンゴを齧った状態で死亡 (検死は 自殺と判断)。 2013 年に英国王室から恩赦 を受け、 2017 年には 「アラン・チューリング法」 が成立した。

チューリングの 主要業績

業績	年	内容
チューリングマシン	1936	計算可能性の 数学的定義、 停止問題の 決定不能性
万能チューリングマシン	1936	プログラム内蔵方式の 概念的源流
エニグマ解読	1939-1945	ブレッチリー・パーク、 Bombe装置
ACE 設計	1945	英国初期コンピュータ の設計
チューリングテスト	1950	人工知能の 判定基準
形態形成 (パターン形成)	1952	化学反応拡散方程式、 生物学への応用

24 歳で計算科学、 38 歳で AI、 40 歳で 数理生物学 — 一つの分野を作っては 次に進む 天才の 典型。

チューリングマシン (1936) — コンピュータ科学の 誕生

1936 年の論文 [計算可能数について、 決定問題への応用とともに] で、 「機械的に計算可能な関数」を チューリングマシンとして定義 した。

構成要素は:

• 無限のテープ
• 1 つのヘッド (テープを読み書きする)
• 有限の状態
• 有限の規則表

これだけで、 ありとあらゆる 「アルゴリズム的に実行可能な計算」 を表現できる。 さらに 「万能チューリングマシン」 を構成し、 これが 他のチューリングマシンの プログラムを 記述として テープに与えれば、 その動作を完全にシミュレートできる ことを示した。

これは ノイマン型コンピュータ (プログラム内蔵方式) の 概念的祖先。 「1936 年の 一つの論文が、 現代の全てのコンピュータを 予告した」 — 数学史における 最大の予告編。

停止問題の 決定不能性

同論文で 「停止問題」 — 任意のプログラムが与えられたとき、 それが有限ステップで停止するかどうか 判定するアルゴリズムは 存在するか? — を考え、 対角線論法を用いて、 それは存在しないことを 証明 した。

ヒルベルトの決定問題 (Entscheidungsproblem) への 否定的回答。 前記事 [ヒルベルト・ポアンカレ・ゲーデル] の ゲーデルの不完全性定理と 同じ方向 の結果 — 「数学には 原理的に できないことがある」。

「機械には 原理的に できないこと (停止判定) がある」 — 現代の 計算複雑性理論 の 出発点。

チャーチ・チューリングのテーゼ

チューリングマシンは チャーチのラムダ計算 と 同等の表現力を持つ。 両者を合わせて 「チャーチ・チューリングのテーゼ」 と呼ばれる:

「機械的に計算可能な関数は チューリングマシン (= ラムダ計算 = 帰納的関数) で 計算可能な関数と同一である」

現代の 「計算可能性」 の 定義。 「アルゴリズム」 という 直観的概念に、 数学的な定義を与えた。 現代のプログラミング言語も、 すべて チューリングマシンと 等価な計算能力 を持つ。

エニグマ解読 — 戦争を 2-4 年短縮

第二次世界大戦中、 ドイツ軍は 「エニグマ」 と呼ばれる暗号機を使って通信を秘匿していた。 ローター 3-4 枚の組み合わせで 膨大な暗号鍵空間 を作り、 当時は 「絶対に解読不可能」 と信じられていた。

チューリングは ブレッチリー・パーク の研究チームを率い、 ポーランドの レイェフスキらの先行研究 を発展させて 「Bombe」 と呼ばれる 電気機械装置を設計 した。 これは 可能な鍵設定を 高速に探索 し、 エニグマで暗号化された通信を 解読することを可能 にした。

「Ultra」 — 30 年間の 機密

連合国側は エニグマ解読の事実を 厳重に秘匿し続け (この情報は 「Ultra」 と呼ばれた)、 戦争を 2-4 年短縮し、 数百万人の命を救った と推定される。

チューリングの戦時貢献は、 戦後 30 年以上機密扱い され、 彼が没した後に ようやく明らかになった。 「歴史を変える貢献をしたのに、 生前は 世界に知られなかった」 — 悲劇的な 二重秘匿。

チューリングテスト (1950)

1950 年の論文 [計算機械と知性] で、 「機械は 思考できるか?」 という問いに対して、 観察可能な振る舞いのテスト を提案した:

「人間の審判が、 テキスト端末を通して 相手 (人間 or 機械) と会話し、 機械か人間かを 判別できなければ、 その機械は 『知能を持つ』 と みなすべきだ」

AI 研究の 哲学的出発点。 ChatGPT/Claude 等の LLM が普及した 現代でも しばしば言及される。 チューリング自身は 「2000 年までに 30% の審判は 5 分以内に 判別を誤るようになるだろう」 と予測した。

現代の LLM は、 テキスト会話で 人間と区別がつかない 領域に達している。 チューリングの予測は、 20 年遅れで 実現した。

形態形成 — 数理生物学の 先駆

晩年、 チューリングは 「反応拡散方程式」 によって、 生物の体表のパターン (動物の模様、 葉序、 貝の縞模様) が、 化学反応と拡散の 相互作用から 自発的に発生する ことを論じた論文 [形態形成の化学的基礎] (1952) を発表。 数理生物学の 先駆的業績。

現代の発生生物学・パターン形成理論 において、 チューリングのアイデアは 実験的にも検証 され、 ゼブラフィッシュの縞模様など で 「チューリングパターン」の存在 が確認されている。

「計算 → AI → 生物」 と分野を渡り歩いた 40 歳の 数学者の、 最後の 独創。

化学的去勢と 死

1952 年、 当時の英国法 (1885 年 労働者修正法 第 11 条) で 同性愛行為は 犯罪 だった。 チューリングは 強盗事件の捜査 の過程で 同性のパートナーとの関係を 率直に語ってしまい、 有罪となる。 投獄か 化学的去勢の選択を迫られ、 研究を続けるため 後者を選んだ。

エストロゲン注射 により 乳房が発達 し、 精神的にも 深いダメージを受けた。 1954 年 6 月 7 日、 青酸カリで毒したリンゴを齧った状態で発見 された。 検死は 自殺と判定。 動機については 議論があるが、 化学的去勢の屈辱と、 剥奪されつつあった研究機会、 機密保持義務の重圧 が背景。

Apple のロゴ (齧られたリンゴ) は チューリングへの オマージュ という 都市伝説があるが、 Apple は否定 している。

「戦争を救い、 コンピュータを発明した 天才が、 41 歳で毒林檎を齧って死んだ」 — 20 世紀最大の 数学的悲劇の一つ。

没後の 恩赦と 顕彰

• 2009 年 — ブラウン首相が チューリングへの謝罪声明 を発表
• 2013 年 — エリザベス 2 世女王が 恩赦 (Royal Pardon) を授与
• 2017 年 — 同様の罪で処罰された 約 49,000 人の男性を恩赦する 「アラン・チューリング法」 成立
• 2021 年 — 50 ポンド紙幣に チューリングが採用

半世紀以上経ってから 制度が謝罪する — LGBT 人権運動の 象徴的存在。

アンドリュー・ワイルズ — 358 年の 宿題を解く

アンドリュー・ジョン・ワイルズ (Andrew John Wiles、 1953-) は イギリスの数学者。 1994 年、 フェルマー最終定理を証明 した — 358 年間未解決 だった 数学史最大の 宿題を、 一人で解いた。

前記事 [デカルト・フェルマー] で見た、 1637 年頃 フェルマーが [算術] の余白に書き残した 走り書き:

「n が 2 より大きいとき、 n 乗数を 二つの n 乗数の和に分けることは 不可能である。 私はこの命題の 真に驚くべき証明を発見したが、 この余白は狭すぎて それを書ききれない」

これを 358 年後に ワイルズが 完全に証明した。

ワイルズの 生涯

• 1953 年 4 月 11 日 — ケンブリッジに誕生。 父は 神学者
• 10 歳 — 地元の図書館で フェルマー最終定理を知る。 「これが自分の 人生の目標だ」 と決意
• 1974 — オックスフォード大学卒業
• 1980 — ケンブリッジ大学で 博士号 (楕円曲線)
• 1982 — プリンストン大学教授
• 1986 — 谷山・志村予想と フェルマー最終定理の 結びつきを知る
• 1986-1993 — 7 年間、 屋根裏で 秘密裏に 研究
• 1993 年 6 月 23 日 — ケンブリッジで 証明を発表
• 1993 年 12 月 — 重大なギャップが発覚
• 1994 年 9 月 — 弟子テイラーと共同で ギャップを修復
• 1995 年 — [Annals of Mathematics] に 最終証明を発表
• 1998 — フィールズ賞対象年齢 (40 歳) を超えていたため 特別記念盾
• 2016 — アーベル賞受賞

10 歳の 決意

ワイルズは 10 歳のとき、 地元図書館で エリック・テンプル・ベル [最後の問題] を読み、 フェルマー最終定理を知る。

「これは 10 歳の少年でも 問題文が理解できる。 だが 何百年も 解かれていない。 これが私の 人生の目標だ」

と決意した。 数学者志望の起点 が、 10 歳の一冊の本 だった。 数学史における 最も長い 「一貫した目標」 の 一つ。

屋根裏の 7 年

1986 年、 フライ・リベット が 「フェルマー最終定理は 谷山・志村予想 から導かれる」 ことを示した (前記事 [デカルト・フェルマー] 参照)。 ワイルズは 10 歳の夢を再燃 させ、 半安定楕円曲線について 谷山・志村予想を証明 することを 目標にした。

秘密の 7 年間

ワイルズは プリンストンの自宅の 屋根裏部屋 に閉じこもり、 1986 年から 1993 年まで 7 年間、 家族と 一人の同僚以外には 一切秘密 で フェルマー最終定理に取り組んだ。

• 大学での 通常業務 (講義・論文) を こなしつつ
• 屋根裏で 集中的に 研究
• 完全な孤独 の中で 巨大な 理論体系を組み立てる
• 妻ナダには 「重要な問題に 取り組んでいる」 とだけ告げた

「7 年間、 一人で 数学の最大の宿題に 取り組む」 — 20 世紀後半の 数学史における 最も長い 孤独な作業。

1993 年 6 月 — 証明の 発表

1993 年 6 月 23 日、 ケンブリッジの アイザック・ニュートン研究所 で開かれた 3 日連続の 講義シリーズの最終日。 ワイルズは 黒板に フェルマー最終定理を書き、

「この式には 自然数解がない。 これは …」

と語り、 短い間を置いて:

「証明は これで終わりだと思います」

と結んだ。 満場の拍手。 世界中の数学者が電話・ファックスで 情報を共有。 [ニューヨーク・タイムズ] の 一面を飾る 大ニュースとなった。

1993 年 12 月 — ギャップの 発覚

しかし、 1993 年 12 月、 査読の過程で ニック・カッツが 証明に 重大なギャップを 発見。 ワイルズは 一躍 数学界のヒーローから、 「解けなかったかもしれない」 苦境に立たされる。

• 数か月間、 一人で 修復を試みる も うまくいかず
• 精神的な限界 に達し、 ワイルズは 諦めかける
• 1994 年 8 月、 弟子の リチャード・テイラーと共同で 再挑戦

1994 年 9 月 — ギャップの 修復

1994 年 9 月 19 日、 ワイルズは 奇跡的な洞察 を得る。 前の証明で使えなかった 岩澤理論 と オイラー系 を 組み合わせることで、 ギャップを 見事に修復 できることを発見:

「これは 数学の中で 最も美しい 瞬間だった」

とワイルズは 後に語っている。

1995 年、 [Annals of Mathematics] に 最終証明を発表。 論文は 130 ページ、 現代整数論の 最も高度な道具 (楕円曲線・モジュラー形式・ガロア表現) を 全て使う。 フェルマーが 知り得たはずもない 現代的手法。

フィールズ賞と 特別記念盾

フィールズ賞は 40 歳以下 の数学者に授与される。 ワイルズは 1995 年発表時に 41 歳 で、 対象外。 1998 年、 国際数学者会議は 特別記念盾 (special tribute) を授与した。 「フィールズ賞対象年齢を超えていても、 数学史に残る業績を認める」 という 前例のない例外。

2016 年、 アーベル賞受賞。 前記事 [コーシー・アーベル・ヤコビ] の アーベルの名を冠する賞 で、 数学界最高峰の一つ。

サイモン・シンの [フェルマーの最終定理]

ワイルズの証明は、 サイモン・シン [フェルマーの最終定理] (1997、 日本語訳 2000) によって 一般読者にも広まった。 数学史における 最も読まれた ノンフィクション作品の一つ。

BBC ドキュメンタリー [Fermat’s Last Theorem] (1996) では、 ワイルズが 修復の瞬間を 語る際に 涙を流す 場面が有名。 「数学者が 感情を露わにする」 稀有な 映像記録。

現代への 影響

チューリング → 現代

• コンピュータ科学 — 全てのプログラミング言語の 理論的基礎
• AI — チューリングテスト、 機械学習の 哲学的基盤
• 暗号 — 公開鍵暗号、 量子暗号への 概念的源流
• 生物学 — パターン形成、 発生生物学
• LGBT 人権運動 — チューリング法、 追悼と復権

ワイルズ → 現代

• 整数論 — 谷山・志村予想の完全証明 (2001、 Breuil-Conrad-Diamond-Taylor)
• ラングランズ・プログラム — ワイルズの手法が中心的道具
• 暗号 — 楕円曲線暗号 (ECC) の 理論的基礎
• 数学ポピュラー化 — フェルマー最終定理は 一般人に最も知られた 数学の問題

「孤独な作業」 の 20 世紀

チューリングとワイルズに 共通するのは 「孤独な作業」 :

• チューリング — ブレッチリー・パークの秘密任務、 戦後の 秘密保持義務、 化学的去勢後の孤独
• ワイルズ — 7 年間の屋根裏、 家族と一人の同僚以外には 秘密

「一人の頭の中で 数年間 熟成した思考が、 世界を変える」 — この 20 世紀後半の パターンは、 21 世紀の ペレルマン (次記事) にも 引き継がれる。

この記事から次の記事へ

チューリングとワイルズの 20 世紀後半を辿った。 数学の系譜 シリーズ 最終記事 では、 21 世紀の 現代数学 — ペレルマン (1966-) のポアンカレ予想証明とフィールズ賞辞退、 望月新一 (1969-) の IUT 理論と ABC 予想、 テレンス・タオ (1975-) の 万能数学者としての活躍、 そして ミレニアム問題 の 現在まで、 21 世紀の 数学の フロンティア を辿る。 2500 年の系譜の 最終考察へ。