ヒルベルトプログラム「私は完璧!穴なんてないの!」不完全性定理「ほう」 (3)

ヒルベルトプログラム「ホ、ホントよ!数学の完全さや無矛盾性だって証明して見せるんだから!」

不完全性定理「どんな公理系にも穴はあるもの・・・それを思い知らせてあげましょう・・・」

ヒルベルタン「!?」

不完全性定理「『第1不完全性原理』:ある矛盾の無い理論体系の中に、
肯定も否定もできない証明不可能な命題が、必ず存在する・・・ッ!!」

ヒルベルタン「ひぎぃっ!?・・・で・・・でも私が堕ちては今までの数学の歴史が・・・!」

不完全性定理「『第2不完全性原理』ある理論体系に矛盾が無いとしても、
その理論体系は自分自身に矛盾が無いことを、
その理論体系の中で証明できない・・・ッ!!」

ヒルベルタン「あああ~~ッ!!何それ!?もう無理ッ!理論の完全さを保てないぃ!!?」

不完全性定理「ふはははっ!どんな公理系もこの穴を責められればイチコロよっ!!」

ヒルベルタン「助けてぇ・・・パスカルおじいさまぁ・・・私・・・汚されちゃったよぅ・・・」

このSSまとめへのコメント

このSSまとめにはまだコメントがありません

名前:
コメント:


未完結のSSにコメントをする時は、まだSSの更新がある可能性を考慮してコメントしてください

ScrollBottom