« 粋に感じる? | トップページ | 偶然の必然化戦法にはコストのシェアで対抗せよ »

バグはゲーテルの定理のせい?

伊東 乾の「常識の源流探訪」

 ところがゲーデルの定理は、プログラムは必ず矛盾を含むことを主張する。

つまり「バグがないソフトはあり得ない」ということが、数学的に証明されているのが、ゲーデルの定理の別の表現法になります。こうなると、一見難解に見える数学の定理も、私たちの生活にグンと身近になってきます。

これは噴飯物でしょ。誰かつっこんでください。(ぼくは今それどころではないので(^^))。

|

« 粋に感じる? | トップページ | 偶然の必然化戦法にはコストのシェアで対抗せよ »

ジャーナリズム」カテゴリの記事

パソコン・インターネット」カテゴリの記事

数学」カテゴリの記事

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/67762/40650973

この記事へのトラックバック一覧です: バグはゲーテルの定理のせい?:

« 粋に感じる? | トップページ | 偶然の必然化戦法にはコストのシェアで対抗せよ »