第16話 ゲーデルの不完全性定理の拡張について

無矛盾であれば、自身の無矛盾性を証明できない。これは、その数理体系の上の次元を持ってすれば、解決可能です。


しかしながら、その上の次元で解決してもなお、新しい矛盾が発生します。これは不完全性定理のためであり、避けられません。けれども、命題(n次元)+1次元での解決を無限に繰りかえすことで、ゲーデルの不完全定理を拡張できるうると予想します。

  • Twitterで共有
  • Facebookで共有
  • はてなブックマークでブックマーク

作者を応援しよう!

ハートをクリックで、簡単に応援の気持ちを伝えられます。(ログインが必要です)

応援したユーザー

応援すると応援コメントも書けます

諸学の雑惑及び、発表 Un-known @cool_cat_smailing

★で称える

この小説が面白かったら★をつけてください。おすすめレビューも書けます。

フォローしてこの作品の続きを読もう

この小説のおすすめレビューを見る

この小説のタグ