ゲーデルは何をした人？業績・生涯・名言をわかりやすく｜不完全性定理・ゲーデル数・連続体仮説

ゲーデルは何をした人？（業績をひとことで）

クルト・ゲーデル（1906〜1978年）は、オーストリア生まれ、のちにアメリカで活躍した数学者・論理学者です。1931年に「不完全性定理」を証明し、「数学の中には、正しいのに証明できない命題がかならずある」ことを、数学の力で示しました。ほかにも、完全性定理（1929年）、連続体仮説が選択公理とともに矛盾しないことの証明（1938〜40年）、アインシュタインの方程式の「ゲーデル解」（1949年）など、20世紀の数学の流れを変える仕事を残しました。

ゲーデルの定理は、「数学ですべてが証明できるわけではない」と言いかえられることがあります。ただし、これは「数学がいいかげんだ」という意味ではありません。「ルールを決めて計算で調べる」という方法そのものの限界を、きびしい証明で示したのです。この考えは、コンピュータの理論（計算できること・できないこと）にも大きな影響をあたえました。

受験生にとってのゲーデルは、少し遠い存在かもしれません。でも、命題とは（真偽がはっきり決まる文）、必要条件・十分条件の意味、素因数分解のただ1通りの性質など、高校数学の「論理」と「整数」は、ゲーデルの証明の道具そのものです。この記事では、定理の中身を図と身近な例でていねいに説明します。

うかるくん

「正しいのに証明できない」って、どういうことですか？ 正しいなら証明できそうな気がします……。

合格先生

そう思うよね。ゲーデルが見つけたのは、「この文は証明できない」という文を数学の中で作る方法なんだ。くわしくは「業績」の節で、うそつきのパラドックスから順に説明するよ。

ゲーデルの生涯と年表

「なぜ博士」とよばれた少年

ゲーデルは1906年4月28日、当時オーストリア＝ハンガリー帝国の一部だったブリュン（今のチェコのブルノ）で生まれました。父は織物工場の経営にかかわる人でした。小さいころから何にでも「なぜ？」と質問するので、家族から「なぜさん（ヘル・ヴァルム）」とよばれていたと伝えられています。6歳ごろにリウマチ熱にかかったことから、のちのちまで自分の健康をひどく心配するようになった、ともいわれます。

ウィーン大学とウィーン学団

1924年、ゲーデルはウィーン大学に入学し、はじめは物理学、のちに数学を学びました。大学では、哲学者や科学者の集まりウィーン学団の議論にも参加します。1929年に学位論文で完全性定理を証明し、翌1930年に博士号を受けました。

1930年〜31年：不完全性定理の発表

1930年9月、ドイツのケーニヒスベルクで開かれた学会で、ゲーデルは不完全性定理についてはじめて発表したと伝えられています。会場にはフォン・ノイマン（コンピュータの父）もいて、すぐに重大さに気づいたといわれます。論文は1931年に発表されました。偶然ですが、同じころヒルベルト（数学の基礎を築こうとした大数学者）は、同じケーニヒスベルクで「われわれは知らねばならない。われわれは知るだろう」と語っていました（1930年）。

アメリカへ：プリンストン高等研究所

1938年、ゲーデルはアデーレと結婚します。同じ年、ナチス・ドイツがオーストリアを併合し、大学の環境は大きく変わりました。ゲーデルは1940年、シベリア鉄道と船で日本を通ってアメリカへわたり、プリンストン高等研究所に迎えられました。この研究所には、アインシュタインもいました。1948年にアメリカの市民権を得て、1953年に研究所の正教授になります。

晩年と死

ゲーデルは晩年、「毒を入れられるのではないか」という不安が強くなり、妻アデーレのつくった食事以外を口にしなくなったと伝えられています。妻が入院したあいだ食事をとれなくなり、1978年1月14日、プリンストンの病院で71歳で亡くなりました。体重は約30キロしかなかったとされます。

ゲーデルの主な業績をやさしく解説

ゲーデルの名前がつく公式・定理・用語

ゲーデルの名前がつくものは、おもに論理学・集合論の世界にあります。高校数学の「公式」にはなりませんが、用語として出会うことがあります。

• 第一不完全性定理：無矛盾で算数をふくむ体系には、証明も反証もできない文がある。
• 第二不完全性定理：そうした体系は、自分自身の無矛盾性を証明できない。
• ゲーデルの完全性定理：一階述語論理では、論理的に正しい式はすべて証明できる。
• ゲーデル数：式や証明に1つずつ割り当てた自然数。素因数分解（→ 素因数分解の方法と例題）を使う。
• ゲーデルの文：「この文は証明できない」という意味をもつ文。
• ゲーデル解：一般相対性理論の回転する宇宙の解。
• 構成可能集合 L：連続体仮説の無矛盾性の証明でゲーデルが作った集合のモデル。

どれも覚える必要はありませんが、「証明できる」と「真である」のちがいは、高校数学の命題の逆・裏・対偶や必要条件・十分条件を理解するときの感覚にも、そのまま役に立ちます。

合格先生

「真」は、その文が正しいかどうか。「証明できる」は、決まったルールで導けるかどうか。ゲーデルは、この2つが一致しないことを示したんだ。まずは、この2つのちがいを言えるようにしておこう。

ゲーデルの逸話と名言

アインシュタインと毎日の散歩

プリンストン高等研究所で、ゲーデルとアインシュタインは親しい友人でした。2人が毎日のように、研究所から家までおしゃべりをしながら歩いて帰ったことはよく知られています。アインシュタインは晩年、「自分の仕事にはもう大した意味がない。研究所に来るのは、ゲーデルと一緒に歩いて帰る特権のためだ」と語ったと伝えられています（数学者モルゲンシュテルンの記録による話です）。何を話していたかは、くわしくは分かっていません。物理学や哲学、時間の話をしていたといわれます。

私が研究所に来るのは、ゲーデルと一緒に歩いて帰るという特権のためにすぎない。

市民権の審査で「アメリカ憲法の抜け穴」を見つけた？

1947年、ゲーデルはアメリカ市民になるための審査を受けました。証人としてアインシュタインとモルゲンシュテルンが同行したと伝えられています。ゲーデルは前もって憲法を読みこみ、「憲法には、合法的に独裁政治になってしまう抜け穴がある」と考えていました。審査の場でその話を始めようとしたところ、判事がうまく話をさえぎって質問を変えた、という逸話があります。ゲーデルの几帳面さを伝える話として有名ですが、細かいところは伝え方によって少しちがいます。

神の存在の証明

ゲーデルは、論理で神の存在を示す議論（存在論的証明）をノートに書き残しました。親しい人にだけ見せたとされ、ゲーデルの死後に公表されました。「本気だったのか、論理の練習だったのか」については、見方が分かれています。

「毒殺」への不安

ゲーデルは、他人が作る食事を強く警戒していたと伝えられます。この不安は、最期のときの食事に関わりました。天才の頭脳と、健康への強いこだわりが同居していた、という話は、数学者の伝記としても有名です。

サクラちゃん

アインシュタインと一緒に毎日歩いて帰るなんて、うらやましい……！ 何を話していたんでしょう。

合格先生

時間や宇宙、論理や哲学の話といわれているね。実はゲーデルはアインシュタインの理論から、時間が輪になった宇宙まで考えたんだ。数学と物理が、友だちの会話の中で行き来していたんだね。

受験・勉強とゲーデルのつながり

中学受験：素因数分解は数の「名前」

中学受験でも、素因数分解は大事な道具です。「ある数を素数の積で表す方法は1通りしかない」という性質があるから、約数の個数や最大公約数・最小公倍数が求められます。ゲーデル数のしかけは、この性質をそのまま使っています。約数の個数・約数の和の求め方を調べると、素因数分解の力がよく分かります。

高校受験・大学受験：命題・集合・背理法

高校の数学Iの「命題と条件」では、「真偽」「逆・裏・対偶」「必要条件・十分条件」を習います。真偽がはっきり決まる文が命題で、うそつきの文はその意味で命題にはなれません。また、ゲーデルの証明の核は背理法（「もし〜なら矛盾する、だから〜でない」）です。背理法はハトの巣原理や不等式の証明、整数問題でもよく使います。「すべての」「ある」の否定（フレーゲ（現代論理学の祖）が整理した記号論理）も、入試の論理の土台です。

大学の勉強へ：計算可能性と情報科学

大学の情報科学・数理論理学では、ゲーデルの定理の考え方を使った「停止問題」（プログラムが止まるかどうか、一般には判定できない）を学びます。これはチューリング（計算の理論の創始者）が1936年に示したものです。数学を学ぶ人だけでなく、プログラミングを学ぶ人にもゲーデルは関係します。

勉強法として：「証明の限界」を知る

ゲーデルの話から受験生が学べるのは、「自分が何を仮定していて、何が証明できているのかをいつも確かめる」姿勢です。問題を解くとき、使ってよい定理を確認し、真だと思うだけで済ませず、筋道を書く。この習慣が、記述式の得点を守ります。勉強の進め方は数学の勉強法（解法の暗記→演習→過去問）、記号の読み方は数学でよく使う記号の意味一覧（∀・∃・Σ）も参考にしてください。

ゲーデルがその後の数学にあたえた影響

• 数学基礎論・証明論：「どこまでが証明できて、どこからできないか」を調べる研究が生まれ、ヒルベルトの計画は形を変えて続けられました。
• 計算の理論・コンピュータ科学：チューリングの停止問題や、フォン・ノイマンのコンピュータ設計の背景には、ゲーデルの仕事から来た「計算できること」の研究があります。
• 集合論：連続体仮説が「ふつうの公理からは決められない」ことは、カントールの集合論の研究の転換点になりました。
• 哲学・思想：「人間の心は機械でできるのか」「数学の真理とは何か」という議論に、ゲーデルの定理がよく引き合いに出されます。ただし、定理をそのまま哲学の結論にあてはめるのには、専門家のあいだでも慎重な意見が多いです。
• 物理学：ゲーデル解は、時間とは何かを考えるきっかけになりました。

ゲーデルの定理は「数学の終わり」ではなく、「数学の限界を数学で知る」という新しい見方のはじまりでした。ポアンカレやラッセルが考えた数学の基礎の問いに、ゲーデルは決定的な答えを出したのです。

ゲーデルに挑戦！練習問題

ゲーデルと関係する数学者

• ヒルベルト（数学の基礎づけ計画を立てた人）：ゲーデルの定理が、その計画に大きな影響をあたえました。
• カントール（無限と集合論）：連続体仮説の問題をゲーデルが調べました。
• ポール・コーエン（連続体仮説の独立性）：ゲーデルの仕事の続きを完成させました。
• チューリング（停止問題）・フォン・ノイマン：ゲーデルの定理をいち早く理解し、計算の理論に生かしました。
• ラッセル（パラドックスと論理）・フレーゲ（論理学の革新者）：ゲーデルの論文の題名の「プリンキピア・マテマティカ」は、ラッセルらの書いた本です。

数学の公式を1つずつ学ぶなら算数・数学の公式一覧（公式辞典）、数学全体の入口は算数・数学 公式と用語の一覧（学年別・分野別）もどうぞ。

20世紀の数学者

• ヒルベルトの業績と生涯
  1900年に「ヒルベルトの23の問題」を発表。ヒルベルト空間
• ミンコフスキー（1864〜1909）
  数の幾何学・相対性理論の時空（ミンコフスキー空間）
• アダマール（1865〜1963）
  素数定理を証明（ド・ラ・ヴァレー・プーサンと同じ1896年）
• ラッセル（1872〜1970）
  集合論の「ラッセルのパラドックス」・『プリンキピア・マテマティカ』
• 高木貞治の業績と生涯
  類体論を完成させた。日本の近代数学の父
• ルベーグ（1875〜1941）
  ルベーグ積分（測度論）
• ハーディの業績と生涯
  ラマヌジャンを見いだした。『ある数学者の生涯と弁明』
• ネーターの業績と生涯
  抽象代数学の母。対称性と保存則のネーターの定理
• ワイル（1885〜1955）
  リーマン面・群論と量子力学
• 掛谷宗一（1886〜1947）
  長さ1の針を回す最小の面積を問う「掛谷問題」
• ラマヌジャンの業績と生涯
  ほぼ独学で数千の公式を残した天才。タクシー数1729
• バナッハ（1892〜1945）
  関数解析（バナッハ空間）・バナッハ＝タルスキーのパラドックス

← 前の時代：フォン・ノイマンの業績と生涯　｜　次の時代：チューリングの業績と生涯 →

ゲーデルがかかわった数学の難問

• 連続体仮説とは（不可能・決められないと証明）
  自然数と実数の「あいだの大きさ」の無限はあるか。今の集合論の公理からは決められないと証明された
• 算術の無矛盾性（ヒルベルトの第2問題）とは（不可能・決められないと証明）
  数学がけっして矛盾しないことを、数学の中で証明できるか。不完全性定理でできないと分かった

有名な数学者一覧（年代順・国別・分野別）で、ほかの数学者も見られます。数学者たちが挑んだ問題は数学の難問・未解決問題の一覧にまとめています。

読みもの（合格大作戦の数学の記事）

• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• 算数・数学 公式と用語の一覧（学年別・分野別）
  公式辞典と用語辞典の入口
• 数学でよく使う記号の意味一覧
  ∞・Σ・∫ などの記号と読み方
• ギリシャ文字の読み方一覧（24文字）
  θ・Σ・π・λ は数学で何に使う？
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け
• 京大理系数学の出題分析（1999〜2026年度）
  大問別一覧と頻出分野ランキング

よくある質問

あわせて読みたい

• 有名な数学者一覧（年代順・国別・分野別）
• 算数・数学の公式一覧（公式辞典）
• 数学用語辞典