1=0.999… その13.999…
at MATH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
350:１３２人目の素数さん 06/12/09 18:22:50 ただどう定義してもＱで0.999……=1が証明されたときに、 0.999……≠1が証明されないことは証明できないはず。 なぜならばＱではＮが定義できるので、自然数論を含む体系になるから。 もし0.999……≠1が証明されればＱが矛盾していることになり、 エライことになってしまう。 ということをＱ４は言っているのでは？ 351:１３２人目の素数さん 06/12/09 18:25:55 後半死んでるな。 もし0.999……≠1が証明されないことが証明されれば 無矛盾であることが証明できたことになり、Ｑが矛盾している ことになり、エライことになる。 だな。 352:１３２人目の素数さん 06/12/09 19:35:30 そもそも前提条件が違う証明同士だったらそんな余計な文面要らないんじゃないの？ 353:１３２人目の素数さん 06/12/10 02:04:21 >>352でおｋ。 別個の公理系。 354:１３２人目の素数さん 06/12/10 04:04:05 当たり前と言えばそうだが、「前提を定めれば論理的にどちらかが正しいと証明できるはず」 という人もいる。それは厳密には無理と言うことで書いてあるのだと思う。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5385日前に更新/351 KB
担当:undef