46コメント10KB

証明できないことの証明って

■ このスレッドは過去ログ倉庫に格納されています

0001１３２人目の素数さん

2008/04/02(水) 13:34:29

どゆことよ？

0002１３２人目の素数さん

2008/04/02(水) 13:46:44

ぼくは文系なので数学の証明ができません。
以上。

0003１３２人目の素数さん

2008/04/02(水) 13:54:22

一般性がないよね

0004１３２人目の素数さん

2008/04/02(水) 14:43:42

例えば仮定Ａ,Ｂ,Ｃ,Ｄから結論Ｅが「導けない事」を示すためには
仮定ＡＢＣＤを満たすがＥを満たさないような例をあげればよい。

「証明も反例も存在しない命題」とかいいう話になると俺にもよくわからん。

0005１３２人目の素数さん

2008/04/02(水) 14:49:59

>>4
「～であるものが無限にある」とかいう命題なら
肯定的にも否定的にも証明できない可能性はあるよね。
たとえば「双子素数は無限にある」とかいうようなやつ

0006１３２人目の素数さん

2008/04/02(水) 15:42:47

すべての偶数は、二つの素数の和で表される
10=5+5=3+7、12=5+7、14=7+7=3+11

0007１３２人目の素数さん

2008/04/02(水) 18:24:36

>>6
それは、もし偽であれば、反例を指摘することで確実に証明できるタイプの問題だよね。
だから、「肯定的にも否定的にも証明することが不可能であること」を証明することはできないのかな？
「肯定的に証明することは不可能である」ことは証明できるかもしれないけど。
>>5で言ってるのは、そもそも「反例」という概念が存在しない類いの問題なので、
「肯定的にも否定的にも証明することが不可能であること」を証明できるかもしれない。

0008１３２人目の素数さん

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:::::::::::::::::::::::::::ヽ､　　　 'ｰ､‐''"´￣｀ヽ:::::::::::::::::ヽ､

0009１３２人目の素数さん

2008/04/02(水) 18:57:02

ある命題が証明できることを仮定すると 0=1 が証明できるとかそういう話でしょ？

0010１３２人目の素数さん

2008/04/02(水) 18:58:09

連続体仮説とか？

0011１３２人目の素数さん

2008/04/02(水) 19:01:47

肯定も否定も証明できない命題の具体例
ttp://en.wikipedia.org/wiki/List_of_statements_undecidable_in_ZFC

0012１３２人目の素数さん

2008/04/02(水) 19:57:43

数学基礎論の質問スレッド　その３
http://science6.2ch.net/test/read.cgi/math/1170584559/

本当に知りたいならこっちでやれ

0013１３２人目の素数さん

2008/04/02(水) 19:58:25

じゃあ以後はkingと遊ぶスレということで

0014１３２人目の素数さん

2008/04/02(水) 20:07:41

replay: 何をしている

00151stVirtue ◆.NHnubyYck

2008/04/02(水) 22:42:10

Reply:>>13 するのか。

0016１３２人目の素数さん

2008/04/02(水) 22:54:50

>>11の具体例を一個ずつ解説していくスレということにしてくれ。

0017きょ

2008/04/02(水) 23:39:50

それは、ゲーテルの不完全性定理ですかね

0018１３２人目の素数さん

2008/04/02(水) 23:50:29

そもそもゲーデル文からしておかしくないか

0019１３２人目の素数さん

2008/04/02(水) 23:59:17

どのへんが？

0020１３２人目の素数さん

2008/04/03(木) 01:28:20

全然おかしくないよ

0021１３２人目の素数さん

2008/06/01(日) 20:20:24

646

00221stVirtue ◆kXn47FN4zU

2008/07/02(水) 15:13:30

ヾ(oﾟωﾟo)ﾉﾞプニプニ！プニプニ！

0023１３２人目の素数さん

2008/07/02(水) 16:01:09

「『ZFC から到達不可能基数の不存在は証明できない』ということは証明できない」ということが証明されている

00241stVirtue ◆.NHnubyYck

2008/07/02(水) 16:38:39

Reply:>>22 何をしている。お前は誰だ。

0025１３２人目の素数さん

2008/07/02(水) 23:57:23

証明が出来ない」には2種類の意味がある。
真か偽かは決まっているんだけど人間には証明できない。
真か偽か決まってないから証明できない。
どっちのこといってるの？＞＞１

0026１３２人目の素数さん

2008/07/09(水) 23:11:47

「Q.E.D.」
http://ja.wikipedia.org/wiki/Q.E.D._証明終了
http://blog.goo.ne.jp/take_14/e/d07201b7488bb8ca711a15a0da7f1707
http://readreview.blog.ocn.ne.jp/book1/2008/06/qed30_df35.html

0027GiantLeaves ◆AtWRd2AMHg

2008/08/24(日) 21:54:48

Talk:>>24 人の脳を読む能力を悪用する奴を潰せ

0028１３２人目の素数さん

2008/10/26(日) 12:00:53

955

0029１３２人目の素数さん

2008/11/27(木) 00:31:32

うるさい。

0030１３２人目の素数さん

2009/01/11(日) 07:55:02

120

0031１３２人目の素数さん

2009/01/29(木) 13:13:03

342

0032１３２人目の素数さん

2009/02/12(木) 14:40:02

King氏ね

0033KingGold ◆3waIkAJWrg

2009/02/12(木) 15:08:41

Reply:>>32 お前に何がわかるというか。

0034１３２人目の素数さん

2009/02/12(木) 15:26:03

>>25
リーマン予想はどっち？
真であることは分かってるのに証明方法が分からないって矛盾してないか？証明できてないのに真だとどうして言える？

0035１３２人目の素数さん

2009/02/12(木) 15:38:53

「King氏ね」と書いたら　「お前に何がわかるというか」

0036１３２人目の素数さん

2009/02/12(木) 15:55:29

｢king死ね｣と書いたら
｢おまえが先に死ね。｣

0037KingGold ◆3waIkAJWrg

2009/02/12(木) 16:51:57

Reply:>>35-36 お前は何をしようとしている。

0038１３２人目の素数さん

2009/02/13(金) 18:39:22

>>34
どこに真であることは分かってると書いてある
お前は分かってると決まってるを混同している

0039１３２人目の素数さん

2009/02/13(金) 21:01:04

国語読解力のないヤツってかわいそうだよね

0040１３２人目の素数さん

2009/02/14(土) 15:29:23

>>34
だから、結果はあるけど現在の数学の技術では証明できない問題って事

少し間でまでの未解決であった時代のフェルマー予想だとかがそれ。
（結果的に）真であったけど、（当時の数学では）証明が出来なかった問題

0041１３２人目の素数さん

2009/02/15(日) 15:47:19

証明できたとかていして矛盾を引き出す。

0042１３２人目の素数さん

2009/02/15(日) 15:49:24

リーマン予想が証明できないことを証明できたら100万ドルもらえるかな

0043１３２人目の素数さん

2009/02/15(日) 15:57:58

f(z)=0のときおきることをすべていってみろ。
1 f*f^=0
qed

0044１３２人目の素数さん

2009/02/15(日) 16:11:53

Σn^z*Σn^z^=0
2ΣΣn^zm^z^

0045１３２人目の素数さん

2009/04/25(土) 11:26:18

308

0046１３２人目の素数さん

2009/06/22(月) 01:36:54

952

■ このスレッドは過去ログ倉庫に格納されています