[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 71 http://rio2016.5ch.net/test/read.cgi/math/1713536729/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

24: Mathematics has no foundation. [sage] 2024/04/22(月) 08:03:26.55 ID:XBNNCRoI 数学理論の無矛盾性問題に対してヒルベルトは 自らの考えたメタ数学（数学理論自体の算術化）で 無矛盾性を証明するヒルベルト計画を打ち上げた しかしながら、このヒルベルト計画は ゲーデルの証明した不完全性定理によって ヒルベルトが想像した形では実現できないことが示された （数学の論理学的基礎づけとしての） 数学基礎論は死んだといわれる由縁である ハイエノールトの「フレーゲからゲーデルまで」は 数学基礎論の誕生から死までを描いた貴重な本である http://rio2016.5ch.net/test/read.cgi/math/1713536729/24

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 978 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.011s