Monday, October 23, 2006

ゲーデルの不完全性定理Ver6.10.24

第一
いいか悪いか
正しいか正しくないか…
分からないとき
唯一つ正しいことがある
それをやらないことだ

証明
1この文が正しいなら正しい
2この文が間違いなら
わからないことはやれ
即ちこの文は正しい
証明終わり

第二
諸説紛々
それぞれ正しい=無矛盾とき
それをやらないことだ

=やれないことをやることになる
即ちシステムは壊れる
即ちシステムを壊してはならない

証明
1この文が正しければ壊すな
2この文が間違いなら
正しいことをやればシステムは壊れる
システムを壊せ
壊さないことが人に必要なことだ
証明終わり

0 Comments:

Post a Comment

<< Home