[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

mathとscienceに関するhiroakiunoのブックマーク (1)

  • 数学の限界が計算機の限界を規定する : 404 Blog Not Found

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

    数学の限界が計算機の限界を規定する : 404 Blog Not Found
    hiroakiuno
    hiroakiuno 2006/06/28
    しかし、数学の「自明でない」、すなわち数学者の扱う問題というのは、ほとんどが無限を扱い、そしてこれらは計算機にはお手上げなのだ。
  • 1