#不完全性定理 新着一覧
直観に合う方が正しい数学ではないかと疑われる
非標準解析が正しいのじゃないか、と❓-同じ解析学としたら超準の方が直観的に分かり易いがなw 似たような話として実数の非可算性に関してもワシには大発見があり、それはオメガのオメガ乗が可算濃度...
ゲーデルとカントールを統一すればイイ
世界初の数学の統一理論やーw-カントールが無限を数えたらオメガのオメガ乗まで出るw それ...
不完全性定理は矛盾を含む証明の一種か
あの形の文章は矛盾を合理化してしまうのでw-ゲーデル命題はG「Gは証明デキない」やから自...
『科学革命の構造』、パラダイムシフト、不完全性定理
「世界を言葉で理解している」というよりはむしろ、「言葉で世界を作り上げている」というのは、カントの「物自体」やソシュール言語学なんかでもよく言われる話だよねえ・・・
クォーク命題がすべてを解くカギだった
クォーク命題と中間子文が謎を解きますから!-主語の名前を付けた術後命題をクォーク命題と言...
不完全性定理の意味するところはG⋀¬G
題して『不完全性定理の不完全性』なのじゃw-証明デキないのが無矛盾性であって証明デキるの...
渡辺松男『泡宇宙の蛙』の一首鑑賞 35
渡辺松男研究2の5(2017年10月実施)『泡宇宙の蛙』(1999年) 【白...
なんか不完全性定理とかもう忘れたわ
そもそもカモフラージュみたいなモンw-もっともらしい着想は記憶してるけどなw クォーク命...
なるほどペアノ公理の不完全性は明らか
ペアノ公理では自然数を一つ一つ定義しますから、-「2は1+1の解であり1+1でないのは2...
もしもワシが若き日のゲーデルだったら
そりゃ、やることってモンがありますのやw-そら、まず決定不能命題存在を予言するでしょーね...
なんか数学なんかも自信が出てきたね
つぎは論理学なんかもクリアーしたいw-ゲーデルだと体系内証明じゃないことにしちゃうケドw...