通常表示に戻る

空白・改行を保持して表示します。横にスクロールできます。

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