無限、不可能性、そして白いリネンスーツの男

無限、不可能性、そして白いリネンスーツの男 2026年7月13日 晩年、カート・ゲーデルは餓死しました。食べ物に毒を盛られていると確信し、妻のアデルが最初に味見したものしか食べませんでした。1977年末に妻が脳卒中で入院すると、彼は一切食事を止めました。1978年1月14日、体重29キロでプリンストン病院で亡くなりました。死亡診断書には「性格の障害による栄養失調と衰弱」と記されていました。 アリストテレス以来最高の論理学者は、数学自体が到達できない真理を含んでいることを証明した人物でしたが、彼自身は逃れることのできない歪んだ内的な論理によって殺されました。数学界の外で彼の名前を知る人はほとんどいません。アインシュタインは知っていました。 二人は1940年代からプリンストン高等研究所の教員であり、アインシュタインは当時、老齢で物理学の主流から孤立していましたが、同僚に、彼は「カート・ゲーデルと一緒に家まで歩くという特権を得るためだけに」オフィスに行ったと語っていました。 プリンストンの歩道で、アインシュタインは着崩れて笑いながら、ゲーデルは白いリネンスーツを着てお洒落に決め、ドイツ語で活発に話し合いながら、研究所との往復の毎日の散歩をしていました。 デヴィッド・ヒルベルトのプログラムに関する講義シリーズ全体をゲーデルの1931年の論文を読んで中止したジョン・フォン・ノイマンは、彼の業績を「唯一無二で記念碑的な、遠く宇宙と時間の彼方まで見えるランドマーク」と評しました。 では、ゲーデルは何を証明し、なぜそれは、何兆ドルもの資金が投じられ、その多くが知能はスケーリングの問題であるという仮定に基づいているAIブームの最中にある今、重要なのでしょうか？ 不完全性とは何か 簡単に言えば、ゲーデルは数学はそれ自体を完全に説明することはできないと証明しました。 より詳しい説明には少し忍耐が必要です。 1900年、ドイツの数学者デヴィッド・ヒルベルトは、数学のための完璧な機械を構築するという分野への挑戦を投げかけました。 基本的なルール（公理と呼ばれる）から始め、議論の必要がないほど明白に真実であるものから、それらのルールから機械的なステップで全ての数学的真理を導き出すというものでした。 もしそれができれば、数学は完全になり、全ての真なる命題が証明可能で、一貫性があり、矛盾がない状態になるでしょう。 あなたは、指示に従うだけの事務員に、その全事業を委ねることができたでしょう。 これがヒルベルトのプログラムであり、30年間、それはこの分野の組織的な野心でした。 そして1931年、25歳で、ゲーデルはそれを一撃で打ち砕きました。 ゲーデルの最初の不完全性定理は、基本的な算術を扱うのに十分な強力なルールのセットには、ルールが不適切に選択されたからではなく、ルールベースシステム自体の構造的な特徴として、証明できない真なる命題が含まれることを証明しました。 彼のトリックは、自己言及的な数学的文を構築することでした。 「この文には証明がない」という文を考えてみてください。 ゲーデルの技術的な偉業、彼の1931年の論文を埋める部分は、数に関する命題をそれ自体を数としてエンコードすることによって、純粋な算術からこの文を構築することでした。 それは数学にこっそり持ち込まれた英語ではありません。それは純粋な数学です。 可能性は2つしかありません。 システムがそれを証明できるか、またはできないかのどちらかです。 もしシステムが「この文には証明がない」を証明できるなら、即座に問題が発生します。 私たちは証明がないと主張する文を証明してしまったのです。 偽のものを証明するシステムは矛盾しており、数学における矛盾は致命的です。 一度許容すれば、それを使って何でも証明できるようになり、1が2に等しいことさえ証明できてしまいます。 システムは役に立たなくなります。 もしシステムが「この文には証明がない」を証明できないなら、別の問題が発生します。 その文は証明がないと述べており、それは正しいことが判明しました。 それは真なる命題です。 しかし、システムにはそれを証明する方法がありません。 したがって、システムが到達できない真理があり、それはヒルベルトのルールブックに盲点があることを意味します。 どんな賢明な数学システムも、矛盾よりも盲点を持ちたいと思うでしょう。 したがって、その文（論理学者はそれをゲーデル文と呼びます）は真であるが証明不可能であり、全ての真なるものを証明できるルールブックというヒルベルトの夢は死んだのです。 ゲーデルの第二定理は、さらに追い打ちをかけました。 それは、いかなる数学的ルールのセットも、そのルールのみを使用して、矛盾がないことを証明できないことを示しました。 あなたのシステムが信頼できるかどうかを確認したい場合、常にそれ以上のシステムを使ってチェックする必要があります。そして、そのより大きなシステムも同じ制限を引き継ぎます。 どこまでもカメが続くのです。 これは神秘主義ではなく、意識や創造性に関する主張でもありません。 これは、全てのソフトウェア、AIを含む、構築されているルールベースシステムに関する正確な結果です。 それが今日関連性がある理由です。 コンピュータを構築した失敗した夢 ヒルベルトはもう一つ求めていましたが、ゲーデルの論文はそれを傷つけたものの、死なせることはありませんでした。 完全性と一貫性に加えて、彼は決定可能性、つまり有限のステップで、任意の数学的命題がルールから導き出されるかどうかを決定できる機械的な方法を求めていました。 天才は不要です。ハンドルを回して、結果を読み取るだけです。 1936年、23歳のケンブリッジのフェロー、アラン・チューリングがそれも殺しました。 機械的な方法が存在しえないことを証明するために、彼はまず「機械的な方法」とは何かを定義する必要がありました。それは誰もそれまで行っていませんでした。 彼の答えは、想像上の装置、紙テープとそれを移動するヘッド、固定されたルール表に従って記号を読み書きするものでした。 人間が事務員のように rote で計算できることは、この装置も計算できるはずでした。 そして彼は、その装置にも独自の盲点があることを示しました。 決して間違えない占い師と、その予測を全て妨害しようと決意した頑固な顧客を想像してください。 「あなたはドアから出るでしょう。」 彼は窓から這い出ます。 「あなたは窓から出るだろう。」 彼はドアから堂々と出ます。 彼女は仕事ができないわけではありません。 彼女の予測が、予測しようとしている行動自体にフィードバックされるため、その仕事は不可能です。 チューリングはその場面をコードに変えました。 チェッカーは占い師を演じます。 それは、他のプログラムをレシピを読むように読み取り、その運命を予測するプログラムです。 「このプログラムは終了する」か「このプログラムは永久に続く」のどちらかです。 破壊者は頑固な顧客を演じます。 それは、チェッカーのコピーと、それに加えて一つの固定ルールを持つ短いプログラムです。 チェッカーに私が何をすると予測されているか尋ね、そして反対のことをします。 もし予測が終了することであれば、それは意図的に永久ループに入ります。 もし予測が永久に続くことであれば、それは即座に停止します。 では、チェッカーは破壊者について何を予測するのでしょうか？ 「終了する」は間違っています。なぜなら破壊者はそれを聞いてループするからです。 「永久に続く」は間違っています。なぜなら破壊者はそれを聞いて停止するからです。 破壊者は、チェッカー自身の部品から完全に組み立てられており、それは偶然ではなく必然的なものになります。 完璧なチェッカーを構築すると、その午後に、それを壊すものの計画も構築したことになります。 したがって、完璧なチェッカーは言葉の矛盾です。 他のプログラムの振る舞いをほとんどの場合予測するプログラムは珍しくありません — 静的アナライザーや型チェッカーは日常的に使用されています。 決して間違えないプログラムは、存在しないものです。 これは、いわゆる停止問題です。ゲーデルの自己言及的な文が、機械から再構築され、その機械が自分自身についての質問をすることを強いられたのです。 機械が何ができないかを示すために、チューリングは機械を発明しなければなりませんでした。 彼の想像上の装置は、汎用コンピュータの理論的な設計図であり、あなたがデータとして供給する任意のプログラムを実行できる単一の機械です。 9年後、チューリングの論文をよく知っていて賞賛していたジョン・フォン・ノイマンは、「EDVACに関する報告書の初稿」を書きました。これは論理的な意味で、真空管でレンダリングされたチューリングの万能機械です。 それ以来構築されたほぼ全てのコンピュータは、その設計に従っています。 あなたの机の上のラップトップも、次のフロンティアモデルをトレーニングしているデータセンターのGPUも、エンジニアリングを剥ぎ取れば、1936年の論理論文からの同じデバイスです。 ゲーデル自身は、チューリングが彼に親切にしてくれたと考えていました。チューリングの機械的な定義が...