アブラクサス・アイオーン @Abraxas_Aeon クルト・ゲーデルの不完全性定理論文には二つの主定理がある。論文中において「定理Ⅵ」「定理ⅩⅠ」と呼ばれるそれは、現在では「第1不完全性定理」「第2不完全性定理」と呼ばれている。 アブラクサス・アイオーン @Abraxas_Aeon 1.数学の形式系、つまり、形式系と呼ばれる論理学の人工言語で記述された「数学」は、その表現力が十分豊かならば、完全かつ無矛盾であることはない(定理Ⅵ=第1不完全性定理)。
![不完全性定理①](https://cdn-ak-scissors.b.st-hatena.com/image/square/6bb7197e8f6ee2bdfdb0dff3d248a56a86dd4636/height=288;version=1;width=512/https%3A%2F%2Fs.tgstc.com%2Fogp3%2F807f40a1349ead865125bd332c3487e0-1200x630.jpeg)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く