https://ameblo.jp/sizentou/ ブログの説明を入力します。 ja アメンバー限定公開記事です。 https://ameblo.jp/sizentou/amemberentry-11051838086.html Tue, 18 Oct 2011 17:00:37 +0900
渡米の時点ですでに人間不信に近い症状が出ていたようである。市民権獲得の為には米国憲法への忠誠を誓う必要があるが、条文を詳しく調べた[要出典]ゲーデルは、それが独裁者の出現を排除できない欠陥憲法であることを面接官に対して指摘したため[要出典]、危うく行き場をなくす所だった。この時は迎えに来ていたアインシュタインが場を和ませ[要出典]何とか乗り切ったという。この時「米国憲法は無矛盾でないから困る」[要出典]という言葉を残している



第1不完全性定理
自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。
第2不完全性定理
自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。


『ウィキペディア（Wikipedia）』参照

]]> https://ameblo.jp/sizentou/entry-11046916420.html Thu, 13 Oct 2011 18:53:40 +0900