ゲーデルの不完全性定理：数学の「完全な基礎」は不可能だった
How Gödel's Proof Works (2020)
1931年、25歳のクルト・ゲーデルは数学の基礎づけを目指す数学者たちの夢を打ち砕いた。彼の不完全性定理は、いかなる公理系も完全ではあり得ず、また自身の無矛盾性を証明できないことを示した。ゲーデルは「ゲーデル数」を用いて数学の命題を数に変換し、体系自身について語ることを可能にした。その結果、証明可能なことと真であることは必ずしも一致せず、数学の「万物の理論」は存在しないことが明らかになった。この発見は数学だけでなく、物理学や現実の理解にも影響を及ぼしている。
ゲーデルの証明は、一貫性があり完全な数学体系の探求を終わらせた。
HNでの議論
66- gavinsyancey
これが面白いと思ったなら、『ゲーデル、エッシャー、バッハ：あるいは不思議の環』を読むことを強くお勧めします。
- MathMonkeyMan
アーネスト・ネーゲルとジェームズ・R・ニューマンによる『ゲーデルの証明』が、私がある時点でそれを理解するのに役立ちました。
Amazonで: <https://www.amazon.com/Godels-Proof-Ernest-Nagel-ebook/dp/B0...>
他の場所で見つけられれば、電子書籍版を手に入れるかもしれません。しばらく経ちましたからね。
- gregfjohnson
Show HN: 最近、不完全性定理について、特にソフトウェアの言葉で表現した講演を行いました。講演は、歴史的な背景と、彼が研究を行った哲学的文脈の議論から始まります。講演の後半は、ゲーデルのアイデアの核心にある美しい本質的な考えを、技術的に知識のある一般の聴衆に向けて示そうとする試みです。これらは講演のスライドで、ウェブページには変換されていません。ご了承ください。
- matherial
> しかし、Gは決定不能であるにもかかわらず、それは明らかに真実です。
それは...実際には真実ではありません。それがQuantaに載っているのは驚きです。
ゲーデルの（別の）完全性定理は、一階述語論理では、すべての可能なシナリオで意味論的に真であるものはすべて構文論的に証明できることを述べています。したがって、Gが「明らかに真」ならば、それは証明可能であるはずです。
これらの定理は矛盾しません。なぜなら、一階述語論理では、Gが真であることは保証されていないからです。その真偽は、ゲーデルが設定した機構から独立しています。
これは入門書で深入りする必要があるものではありませんが、実際には全体の結果を理解しやすくし、スコーレムのパラドックスなど、さらに多くの直感に反する結果につながります。
- the-mitr
興味があるかもしれないもの
ゲーデルの不完全性定理（小さな数学ライブラリー）
V. A. ウスペンスキー著