- 1 名前：１３２人目の素数さん [2008/04/02(水) 13:34:29 ]
- どゆことよ？
- 2 名前：１３２人目の素数さん [2008/04/02(水) 13:46:44 ]
- ぼくは文系なので数学の証明ができません。
以上。
- 3 名前：１３２人目の素数さん [2008/04/02(水) 13:54:22 ]
- 一般性がないよね
- 4 名前：１３２人目の素数さん [2008/04/02(水) 14:43:42 ]
- 例えば仮定Ａ,Ｂ,Ｃ,Ｄから結論Ｅが「導けない事」を示すためには
仮定ＡＢＣＤを満たすがＥを満たさないような例をあげればよい。
「証明も反例も存在しない命題」とかいいう話になると俺にもよくわからん。
- 5 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 14:49:59 ]
- >>4
「〜であるものが無限にある」とかいう命題なら
肯定的にも否定的にも証明できない可能性はあるよね。
たとえば「双子素数は無限にある」とかいうようなやつ
- 6 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 15:42:47 ]
- すべての偶数は、二つの素数の和で表される
10=5+5=3+7、12=5+7、14=7+7=3+11
- 7 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 18:24:36 ]
- >>6
それは、もし偽であれば、反例を指摘することで確実に証明できるタイプの問題だよね。
だから、「肯定的にも否定的にも証明することが不可能であること」を証明することはできないのかな？
「肯定的に証明することは不可能である」ことは証明できるかもしれないけど。
>>5で言ってるのは、そもそも「反例」という概念が存在しない類いの問題なので、
「肯定的にも否定的にも証明することが不可能であること」を証明できるかもしれない。
- 8 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 18:29:07 ]
-
_」:::::,..:'" ｀ヽ､.,:::::」 ノ 難 あ
「::::＞'‐- ､ '"￣"'' ､ ヾヽ､__ く. し ま
く,:'´ ヽ. `':､:::| ', . い り
/ , , , i ':, ':,. ';::', ', 話
,' ./ / ﾊ /! ﾊ___,,.. ', ', ,ゝ .i/ i. を
ﾄ/ / ,' ./-!‐ｧ'/ | /__」ﾆ=､`! ri' ! ／i |. す
ノ .,' ,! /ri=‐;!､ ﾚ7´ !´ cﾊゝ ,ﾊ ! ／ /,' |. る
` i / ﾚ'ﾍ.! '､_り `'ｰ 'ノi／i ',. ',／ ／,:' ﾉ な
ﾚへﾄ､ ﾊu` "∪/ ! i i ヽ. / ｀ヽ よ
',ノ ﾉ iﾍ." rｧ‐--‐ 、 / ﾊ ,'-‐-､ 'Y_,,.. -‐ｧ i i
人______〈,ﾍ､/__,' _i＞､, ! ,!,.イ ,'ヽ､〈 ',ﾍﾉ /／レ'⌒ヽ
／ / _,,. イ｀7T"´´／! /::::ｧ i`ｰ '､ ∠______
頭 〉 ｧ´ /:::/ヽrへ_／ﾚ::::::/ _ノ `-y ｀ヽ., ／
悪 |/ /:::/くムヽ /:::::::/r' `ｰ-､' / , ｀i´
く ', ,':::└----─'::::::::;' ゝ､_,,.. -'ｰ'､_/ /
見 〉ﾍ.i::::::::::::::i/:::::::::::::::::ﾄ､ r7`ｰ二ﾆr '
え 〈 i:::::::::::::::::::::::::::::::::::ヽ､ iY ,' __ ,,.. --､,
る >. !::::::::::::::::::::::::::::::::::::::〈`''ｰ`''ｰ-‐' ,. -'‐:'´:::(-):::::｀ヽ.
ぞ .〈 i:::::::::::::::::::::::::::::::::::::::::':, r'"::::::::::::::::::::::::::::::::::::':,
! ! ,r' ,'::::::::;::::::::i:::::::::::::::::::::::::::ヽ､ 'ｰ､‐''"´￣｀ヽ:::::::::::::::::ヽ､
- 9 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 18:57:02 ]
- ある命題が証明できることを仮定すると 0=1 が証明できるとかそういう話でしょ？
- 10 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 18:58:09 ]
- 連続体仮説とか？
- 11 名前：１３２人目の素数さん [2008/04/02(水) 19:01:47 ]
- 肯定も否定も証明できない命題の具体例
ttp://en.wikipedia.org/wiki/List_of_statements_undecidable_in_ZFC
- 12 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 19:57:43 ]
- 数学基礎論の質問スレッド その３
science6.2ch.net/test/read.cgi/math/1170584559/
本当に知りたいならこっちでやれ
- 13 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 19:58:25 ]
- じゃあ以後はkingと遊ぶスレということで
- 14 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 20:07:41 ]
- replay: 何をしている
- 15 名前：1stVirtue ◆.NHnubyYck [2008/04/02(水) 22:42:10 ]
- Reply:>>13 するのか。
- 16 名前：１３２人目の素数さん mailto:sage [2008/04/02(水) 22:54:50 ]
- >>11の具体例を一個ずつ解説していくスレということにしてくれ。
- 17 名前：きょ [2008/04/02(水) 23:39:50 ]
- それは、ゲーテルの不完全性定理ですかね
- 18 名前：１３２人目の素数さん [2008/04/02(水) 23:50:29 ]
- そもそもゲーデル文からしておかしくないか
- 19 名前：１３２人目の素数さん [2008/04/02(水) 23:59:17 ]
- どのへんが？
- 20 名前：１３２人目の素数さん mailto:sage [2008/04/03(木) 01:28:20 ]
- 全然おかしくないよ
- 21 名前：１３２人目の素数さん mailto:sage [2008/06/01(日) 20:20:24 ]
- 646
- 22 名前：1stVirtue ◆kXn47FN4zU [2008/07/02(水) 15:13:30 ]
- ヾ(oﾟωﾟo)ﾉﾞ プニプニ！プニプニ！
- 23 名前：１３２人目の素数さん mailto:sage [2008/07/02(水) 16:01:09 ]
- 「『ZFC から到達不可能基数の不存在は証明できない』ということは証明できない」ということが証明されている
- 24 名前：1stVirtue ◆.NHnubyYck [2008/07/02(水) 16:38:39 ]
- Reply:>>22 何をしている。お前は誰だ。
- 25 名前：１３２人目の素数さん [2008/07/02(水) 23:57:23 ]
- 証明が出来ない」には2種類の意味がある。
真か偽かは決まっているんだけど人間には証明できない。
真か偽か決まってないから証明できない。
どっちのこといってるの？＞＞１
- 26 名前：１３２人目の素数さん mailto:sage [2008/07/09(水) 23:11:47 ]
- 「Q.E.D.」
ja.wikipedia.org/wiki/Q.E.D._証明終了
blog.goo.ne.jp/take_14/e/d07201b7488bb8ca711a15a0da7f1707
readreview.blog.ocn.ne.jp/book1/2008/06/qed30_df35.html
- 27 名前：GiantLeaves ◆AtWRd2AMHg [2008/08/24(日) 21:54:48 ]
- Talk:>>24 人の脳を読む能力を悪用する奴を潰せ
- 28 名前：１３２人目の素数さん mailto:sage [2008/10/26(日) 12:00:53 ]
- 955
|
 |
