916 :∠(,,゜д゜)ケイレイ・トライアヌス ◆nbyvo04lz. :sage :2008/06/29(日) 13:24:35 ID:???
というか、世界は世界内部のルールだけでは存在を証明できないって不確定性原理でしたっけ?
998 :名無し三等兵 :sage :2008/06/29(日) 14:00:04 ID:???
>>916「世界」ではなく「公理系」。
ゲーデルの不完全性定理を言葉で要約すると
「どのような公理系においても、その公理系だけを用いて、証明あるいは
否定することの出来ない命題が常に存在する」
となる。逆に言えば、公理系の外からアレすれば証明あるいは否定が出来る。
別に世界がどうこうするって話じゃないし、その公理系が崩壊する、というわけでもない。
解けない問題を作ることが出来る、といえばそれまで。
20 :名無し三等兵 :sage :2008/06/29(日) 14:04:00 ID:???
ちなみにゲーデルの不完全性定理が発見された当時、学者的受け止め方には2種類あったそうな。「完璧な公理系が存在できないなんて!絶望した!数学が終わったことに絶望した!orz」
「数学に終わりはないんだ!俺たちの知的探求はまだこれからだ!(先生の次回作にご期待下さい)」
21 :名無し三等兵 :sage :2008/06/29(日) 14:05:00 ID:???
>>20どっちも終わってるやんけw
コメント一覧
食べ物を受け付けることができなくなり(毒が混ざっている
との妄想で)餓死した.
片手生活は大変だろうw
柳、お湯・・・
イブラヒモビッチに見えた
奥さんの手料理だけは食べてたのに、奥さんが先立って、後を追うように、って話だったな
ちなみにライバル?のヒルベルトは独身を貫き弟子の結婚にも反対していたとか