<< 前からすごい可愛いと思ってたんだ | ホーム | 気分は料理番組の講師 >>


(・ω・)ノ　ヘッドライン


ゲーデルの不完全性定理
http://etc7.2ch.net/test/read.cgi/denpa/1201789567/


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
どっちも終わってるやんけｗ
【2008/07/04 18:08】 | 連係プレイ | コメントを読む(16)／書く | ブックマークする ブクマ数
ココをクリックすると↓↓↓を開閉できますよ(`･ω･´)
コメント
  1. 名前：ゴンベイさん #- 2008/07/04 18:13 | URL | No. 62581 | 編集
    「不完全性定理」がぱっと見何かエロいものに見えた俺はもうダメかもしれない
  2. 名前：ゴンベイさん #- 2008/07/04 18:15 | URL | No. 62583 | 編集
    終わったな(性的な意味で)。
  3. 名前：ゴンベイさん #- 2008/07/04 18:19 | URL | No. 62584 | 編集
    打ち切りワロタ
  4. 名前：ゴンベイさん #- 2008/07/04 18:39 | URL | No. 62588 | 編集
    最初の質問はシュレディンガーの猫と混ざってる
  5. 名前：ゴンベイさん #- 2008/07/04 19:00 | URL | No. 62594 | 編集
    なんかメキメキ興味が沸いてきたが、相当無益な定理だな
  6. 名前：VIPPERな名無しさん #- 2008/07/04 19:14 | URL | No. 62596 | 編集
    数学者って本当に独特の世界に生きてるんだな
  7. 名前：ゴンベイさん #- 2008/07/04 20:15 | URL | No. 62599 | 編集
    ∧と∨ぐらいしか分からん
  8. 名前：ゴンベイさん #- 2008/07/04 20:38 | URL | No. 62604 | 編集
    数学とか自然科学ってのはそういうもんだ
  9. 名前：ゴンベイさん #- 2008/07/05 00:19 | URL | No. 62633 | 編集
    ゲーデルがグーグルに見えたのは自分だけ！
  10. 名前：因果地平世界 #- 2008/07/05 10:33 | URL | No. 62680 | 編集
    おれはルーデルに見えた。
  11. 名前：　 #- 2008/07/05 12:42 | URL | No. 62709 | 編集
    ハンス・ウルリッヒ・ルーデルですね
  12. 名前：ゴンベイさん #- 2008/07/06 07:27 | URL | No. 62919 | 編集
    正確には「自然数を扱えて」「内部矛盾の無い」公理系だな。
    まあ、この2つの条件を満たさない数学の公理系なんか意味ないけど。
  13. 名前：梅の里 #aKTfwpNM 2008/07/06 11:00 | URL | No. 62965 | 編集
    >>20が秀逸でいいなあｗ

    結局不完全性定理についてはよく分からなかったけど。
  14. 名前：ゴンベイさん #- 2008/07/06 11:09 | URL | No. 62978 | 編集
    よくわからんから読む気もしないんで、ちょっとオナニーしてくるわ。


    ふう・・・・・・
  15. 名前：ゴンベイさん #- 2008/07/06 14:09 | URL | No. 63043 | 編集
    ※14
    早！
  16. 名前：ゴンベイさん #- 2008/07/06 22:50 | URL | No. 63165 | 編集
    なるほど

    チョ☆チョニッシーナマッソコぶれッシュ☆エスボ☆グリバンバーベーコンさんですね
    さっぱりわかりません



コメントの投稿
※スパム対策のため、httpはNGワードに設定しています。URLの記入はhttpのhを抜いて下さい。
記事ランキング！

　＞＞最新の記事ランキングはこちらからﾄﾞｿﾞｰ（・ω・)っ旦


　＞＞最新の記事ランキングはこちらからﾄﾞｿﾞｰ（・ω・)っ旦


<< 前からすごい可愛いと思ってたんだ | ホーム | 気分は料理番組の講師 >>