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

ようやくヒルベルト計画の内容にたどりつけました…。公理系，形式化、無矛盾、完全…といろいろな話が出てきて、ごちゃごちゃしてしまいましたので、ごく簡単に要約すると… … 続きを読む Labyrinth-2.d「不完全性定理④-ヒルベルト計画」