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

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

8:１３２人目の素数さん
08/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:１３２人目の素数さん
08/04/02 18:57:02
ある命題が証明できることを仮定すると 0=1 が証明できるとかそういう話でしょ？

10:１３２人目の素数さん
08/04/02 18:58:09
連続体仮説とか？

11:１３２人目の素数さん
08/04/02 19:01:47
肯定も否定も証明できない命題の具体例
URLﾘﾝｸ(en.wikipedia.org)

12:１３２人目の素数さん
08/04/02 19:57:43
数学基礎論の質問スレッド　その３
ｽﾚﾘﾝｸ(math板)

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

13:１３２人目の素数さん
08/04/02 19:58:25
じゃあ以後はkingと遊ぶスレということで

14:１３２人目の素数さん
08/04/02 20:07:41
replay: 何をしている

15:1stVirtue ◆.NHnubyYck
08/04/02 22:42:10
Reply:>>13 するのか。

16:１３２人目の素数さん
08/04/02 22:54:50
>>11の具体例を一個ずつ解説していくスレということにしてくれ。

17:きょ
08/04/02 23:39:50
それは、ゲーテルの不完全性定理ですかね

18:１３２人目の素数さん
08/04/02 23:50:29
そもそもゲーデル文からしておかしくないか

19:１３２人目の素数さん
08/04/02 23:59:17
どのへんが？

20:１３２人目の素数さん
08/04/03 01:28:20
全然おかしくないよ

21:１３２人目の素数さん
08/06/01 20:20:24
646

22:1stVirtue ◆kXn47FN4zU
08/07/02 15:13:30
ヾ(oﾟωﾟo)ﾉﾞプニプニ！プニプニ！

23:１３２人目の素数さん
08/07/02 16:01:09
「『ZFC から到達不可能基数の不存在は証明できない』ということは証明できない」ということが証明されている

24:1stVirtue ◆.NHnubyYck
08/07/02 16:38:39
Reply:>>22 何をしている。お前は誰だ。

25:１３２人目の素数さん
08/07/02 23:57:23
証明が出来ない」には2種類の意味がある。
真か偽かは決まっているんだけど人間には証明できない。
真か偽か決まってないから証明できない。
どっちのこといってるの？＞＞１

26:１３２人目の素数さん
08/07/09 23:11:47
「Q.E.D.」
Wikipedia項目ﾘﾝｸ証明終了
URLﾘﾝｸ(blog.goo.ne.jp)
URLﾘﾝｸ(readreview.blog.ocn.ne.jp)

27:GiantLeaves ◆AtWRd2AMHg
08/08/24 21:54:48
Talk:>>24 人の脳を読む能力を悪用する奴を潰せ

28:１３２人目の素数さん
08/10/26 12:00:53
955