#不完全性定理 新着一覧
なんか数学なんかも自信が出てきたね
つぎは論理学なんかもクリアーしたいｗ-ゲーデルだと体系内証明じゃないことにしちゃうケドｗ でー、ゲーデル命題が数学体系内において証明不可能であることを証明デキたら数学は無矛盾じゃないか、そ...
ゲーデル命題は命題集合ではないのか
数学体系で証明されない命題の集合では？-すなわち決定不能命題の集合ではないだろーか？ こ...
形式論では矛盾であるが意味論では
数学にはそのよーな命題が含まれているｗ-Ｇ⋀￢Ｇは意味論的には矛盾しておりません！ そ...
形式主義では数学の無矛盾性を証言すらデキない
学問は保守派が最後には勝つ、らしくって！-レンマ：決定不能命題が証明不可能であれば数学は...
非ユークリッド幾何の成立する平面など存在せぬ
無定義用語で対処してはならないｗ-数学は無定義 だとヒルベルトは極言しておりましたけどｗ...
ゲーデル、エッシャー、バッハ―あるいは不思議の環： ダグラス・R. ホフスタッター
今回紹介する本の初版は1985年に刊行されていて、およそ35年ぶりに20周年記念版（2005年刊行...
G∧￢Gは形式上は矛盾でも意味論的にはそうではない
クォーク命題に中間子文ですのやｗ-21世紀における論理学の大発見ですやろ？ 数学というより...
量子力学って不思議やねん不完全性定理って理不尽やねん
ちゃんと分かってやｗ-アメリカ大統領選が僅差で繰り広げられてますがなｗ で、今は結果が出...