#ゲーデル 新着一覧
直観に合う方が正しい数学ではないかと疑われる
非標準解析が正しいのじゃないか、と❓-同じ解析学としたら超準の方が直観的に分かり易いがなｗ 似たような話として実数の非可算性に関してもワシには大発見があり、それはオメガのオメガ乗が可算濃度...
ゲーデルとカントールを統一すればイイ
世界初の数学の統一理論やーｗ-カントールが無限を数えたらオメガのオメガ乗まで出るｗ それ...
『科学革命の構造』、パラダイムシフト、不完全性定理
「世界を言葉で理解している」というよりはむしろ、「言葉で世界を作り上げている」というのは、カントの「物自体」やソシュール言語学なんかでもよく言われる話だよねえ・・・
不完全性定理の意味するところはG⋀￢G
題して『不完全性定理の不完全性』なのじゃｗ-証明デキないのが無矛盾性であって証明デキるの...
公理系を動かした形での証明は
フェルマー定理にいちゃもん抜かす輩ですのや、へえｗ-無矛盾性が保証されないので信じなくてもイイｗ...
もしもワシが若き日のゲーデルだったら
そりゃ、やることってモンがありますのやｗ-そら、まず決定不能命題存在を予言するでしょーね...
意味論と形式主義じゃ水と油だけどな
ダケあって「同じ事」とはイカナイ！-其れだけあって結論が異なりますのや、そうですがなｗ ...
なんか数学なんかも自信が出てきたね
つぎは論理学なんかもクリアーしたいｗ-ゲーデルだと体系内証明じゃないことにしちゃうケドｗ...
形式論では矛盾であるが意味論では
数学にはそのよーな命題が含まれているｗ-Ｇ⋀￢Ｇは意味論的には矛盾しておりません！ そ...
非ユークリッド幾何の成立する平面など存在せぬ
無定義用語で対処してはならないｗ-数学は無定義 だとヒルベルトは極言しておりましたけどｗ...
すさまじくて痛ましい天才数学者ナッシュの生涯
シルヴィア・ナサー（塩川優訳）『ビューティフルマインド－天才数学者の絶望と奇跡－』、新...