数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト550:１３２人目の素数さん 11/04/25 07:12:08.71 いや述語論理の独立性の話だろ Principia Mathemticaの公理なんか 独立じゃないことが数十年後に判ったんだぞ 551:１３２人目の素数さん 11/04/25 11:42:06.24 独立性の証明は難しいことが多い。 しかし証明が必要になることはまず無い。 552:１３２人目の素数さん 11/04/25 16:59:17.12 与えられた体系の中での命題の独立性と、 公理系そのものの独立性の話の話は区別しないと。 前者は気にするのが普通だし、重要な問題であることも多い。 後者はよほど特別なことがない限り、気にすることはない。 553:546 11/04/25 20:50:54.18 >>547 それは私のレスポンスに関するものでしょうか。 そうであるとしたら具体的どこに高等趣味があるのかを、 該当箇所の引用したうえで述べてください。 >>551 詳しそうなので質問します。 独立の証明の有益な方法はありますか？ それから証明する必要がないとはいえ、 テキスト中のHKは大抵独立だったり完全だったり 無矛盾だったりして、 「子供が安全に遊べるように人為的に作ったアスレチック」で あることが多いとは思いませんか？ >>548>>550>>552 同感です。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch