関数解析＆ルベーグ積分at MATH関数解析＆ルベーグ積分 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト981:１３２人目の素数さん 04/06/29 22:23 ルベーグ積分の「無矛盾性」って、どういうことなの？ 982:UltraMagic ◆NzF73DOPHc 04/06/29 22:25 Re:>981 私は文字通りに解釈しているのだが。 Re:>980 他の分野で無矛盾性が証明された例があるのか？ 983:１３２人目の素数さん 04/06/30 09:23 無矛盾性って普通「公理」に対して使われる言葉だろ。 で、ルベーグ積分の無矛盾性って何？ 984:１３２人目の素数さん 04/06/30 19:05 ルベーグ積分の場合、何が公理なのかがハッキリしてないな。 何が公理なのかを明確にせずして、数学理論と言えるのか？？？ 985:UltraMagic ◆NzF73DOPHc 04/06/30 19:31 Re:>984 ツェルメロの公理、実数の公理。他にはあるかな？ 986:１３２人目の素数さん 04/07/01 04:48 >>980 >>984 ルベーグ積分論は通常の数学の体系の中で展開されてるわけで、 ルベーグ積分論に矛盾があったら数学に矛盾があるということ。 まあ、ルベーグ積分論を通常の数学よりも弱い体系 (ペアノの公理系を満たすものを作れない体系)で展開できるなら、 無矛盾性を証明できるのかもしれないけど。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch