数学の限界が計算機の限界を規定する : 404 Blog Not Found2006年06月27日22:20 カテゴリMath 数学の限界が計算機の限界を規定する そのことは、ヒルベルトという人が考えて、ラッセルという人がせっせとやっていた。 ゲーデル・不完全性定理 吉永 良正 最上の日々しかし、コンピュータ上のデータとしてなら、いかなる前提も省略せずに書いてかまわない。 データ型のクラスの性質、関係をプログラミング言語で定義し変数を宣言するのと同様にして、数学の前提条件も完全にもれなく記述する事ができるだろう。 そして、ゲーデルに打ちのめされた。 それが、不完全性定理の主張するところだ。そして、不完全性定理の主張は、プログラムの停止問題と同意である。 不完全性定理は驚くほど簡単で、なぜ過去の数学者たちが思い足らなかったのかが不思議なぐらいである。聞けばなるほどなので是非知っておいてもらいたい。知らない人は↑の吉永氏の本がよいだろう。証明だけならぐぐればいくらでも
