パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

バグを生む?ソフトウェアのライセンス」記事へのコメント

  • by tarosuke (2403) <webmaster@tarosuke.net> on 2001年09月14日 0時23分 (#22537) 日記
    不完全性定理ってのは、省略した説明をすれば「自分で自分の無矛盾性を証明するなんてできないよ~ん。」って意味だったように思う。

    だから、その解釈は基本的に間違ってるんだけど、システムに自己診断機能が存在している場合は有効。かな?
    # 自己プログラミング機能とかもそうかも。

    つまり、自己診断で「正常」なのはシステムと自己診断の両方が正常な場合と、両方とも異常な場合があるので自己診断の「正常」は数学的には信用できない。と。

コンピュータは旧約聖書の神に似ている、規則は多く、慈悲は無い -- Joseph Campbell

処理中...