文系だがゲーデルってバカじゃね?
■ このスレッドは過去ログ倉庫に格納されています
0116 ◆akd4BqokZk
2007/09/01(土) 23:28:43http://science6.2ch.net/test/read.cgi/math/1180576855/64
> 有理数だけが実数なのか、無理数も実数であるのか
を指摘すると、それは「自然に浮かぶ疑問」と言い張り、ついには
>>115
> 現代数学が確かに無矛盾であると保証された公理系の中で行われていること
こうなっちまったよ。最低限、あくまでも最低限だが、>>58 や >>81
程度のことを言える奴ならまだしも、これではなぁ・・・。
こう物事をひんまがって理解する奴は、流石の俺の手にも負えねぇ。
(唯一の救えるとしたら「保証」をどう定義してるかだな。)
ある意味ではゲーデルを完全否定してるわけだけど、
おい、傍観してる奴ら。お前だよ、お前。
間違ってもこのサルを俺側の人間と思うなよ。
この人間モドキは俺側ではない。お前側でもない。明らかに異次元の存在だ。
> 仮に公理系ZFCが無矛盾であることを否定するような公理系
> が新しく発見されたらとんでもないことになるのですが。
そりゃ、間違いなく大発見だ。
■ このスレッドは過去ログ倉庫に格納されています