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

あなたが考える「コンピュータ界に最も貢献した人」は?」記事へのコメント

  • 結局非ノイマン型はほとんど日の目を見てないし、他の人たちは彼の考えたフレームワークの上で動いているに過ぎない。

    • 計算機科学の基礎を築いたという意味ではチューリング [wikipedia.org]もすてがたい。

      • by Anonymous Coward
        偉そうに書いた文章を正しいと誤解する人がいるとまずいので訂正しておきます。

        バグがない証明なんて、proof checker(証明器)にかければ出てくるでしょ。そのproof checkerの正しさはまた別の問題で、他のproof checkerにかけるか、人間が目で見て判断すれば良いだけのこと。

        計算停止問題、もしくは不完全性定理では、proof checkerが(バグがないと)証明出来ないプログラムがあるということ(第一不完全性定理)、あるいはproof checkerが"そのproof checker自身が誤った証明を出さない”ということを証明出来ないと言っているだけ。

        人間は、例えば不完全性定理を証明する力があるのだから、バグのない証拠を理解するくらい分けはない。

        ちなみに、ペアノの公理系の無矛盾性はペアノの公理の中では証明不可能だけど、ゲンツェンが無矛盾性を証明してますよ。

Stableって古いって意味だっけ? -- Debian初級

処理中...