数学基礎論・数理論理学 その10at MATH数学基礎論・数理論理学 その10 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト692:624 11/12/13 02:31:02.51 追記 文献[2]には、D3の証明は膨大な量になるので、これを書き下すのは実際にはかなり困難な作業とあります。 一方、文献[1]には（多少の省略はあるものの）D3の証明を最後まで書いているように思われます。 やはり私がしっかり読めていないだけで、文献[1]も大幅に証明を省略しているのでしょうか？ 693:624 11/12/13 02:34:07.71 >>691の PA|- x+y=z→Pr([x+y→z]) は PA|- x+y=z→Pr([x+y=z]) の間違いです。失礼しました。 694:１３２人目の素数さん 11/12/13 03:14:10.12 >>690 ＞この帰納法が第二不完全性定理がPA以上であることとつながる。 少し前で、第二不完全性定理はPAより遥かに弱い体系でも成り立つ、って話が出ているのにもかかわらずこの発言ｗ 695:１３２人目の素数さん 11/12/13 06:15:56.94 >>691 当り前だが、２は帰納法の条件が抜けている。693 では x+y=z から y=0 の場合、z=x そうでない場合 x+(y-1) = z-1 が導かれる といったことに気づくことが必要。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch