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

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

• 「判例」は何のためにあるか？論理の濫用は必然的に破綻する

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

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

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