2010-09-01から1ヶ月間の記事一覧
苫米地理論の検証の一環として詳細を勉強し始めた不完全性定理の解説本。苫米地理論の説明では本書で指摘されている「数学=数学系」かという前提が欠けているなぁと思った。「数学=数学系」であれば数学は不完全であると言えるようだ。ただ、ゲーデルの不完…
苫米地理論の検証の一環として詳細を勉強し始めた不完全性定理の解説本。苫米地理論の説明では本書で指摘されている「数学=数学系」かという前提が欠けているなぁと思った。「数学=数学系」であれば数学は不完全であると言えるようだ。ただ、ゲーデルの不完…
