このページに関してのお問い合わせはこちら
民主党ですがなぜ?
ツイート
998
:
名無し三等兵
:
2008/06/29(日) 14:00:04 ID:???
>>916
「世界」ではなく「公理系」。
ゲーデルの不完全性定理を言葉で要約すると
「どのような公理系においても、その公理系だけを用いて、証明あるいは
否定することの出来ない命題が常に存在する」
となる。逆に言えば、公理系の外からアレすれば証明あるいは否定が出来る。
別に世界がどうこうするって話じゃないし、その公理系が崩壊する、というわけでもない。
解けない問題を作ることが出来る、といえばそれまで。