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