Labyrinth-2.d「不完全性定理④-ヒルベルト計画」

漫画へのリンク:「不完全性定理④-ヒルベルト計画

ようやくヒルベルト計画の内容にたどりつけました…。
 公理系,形式化、無矛盾、完全…といろいろな話が出てきて、ごちゃごちゃしてしまいましたので、ごく簡単に要約すると…

続きを読む Labyrinth-2.d「不完全性定理④-ヒルベルト計画」