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