サイエンス・ハブ
—
by
導入 一次述語微積分の完全性定理は、クルト・ゲーデルによって実証されました (1929 年、論理微積分の完全性…
導入 ゲーデルの不完全性定理は、数理論理学の 2 つの有名な定理であり、クルト ゲーデルによって 1931 年…
導入 NBGまたはクラス理論と略されるフォン・ノイマン・ベルナイス・ゲーデル集合理論は、選択公理 (および同じ…
ゲーデルの不完全性定理は、数理論理学の 2 つの有名な定理であり、クルト ゲーデルによって 1931 年に論文…
ゲーデル、エッシャー、バッハ: 永遠の花輪の束(1979) は、ピューリッツァー賞を受賞したダグラス・ホフスタ…
導入 クルト・ゲーデル（ Kurt Gödel 、1906年4月28日 – 1978年1月14日）…
ゲーデル宇宙は、1949 年に数学者のクルト ゲーデルによって発表された一般相対性理論の方程式の解です。この解…
