ゲーデルは何を証明したか―数学から超数学へ

ゲーデルは何を証明したか―数学から超数学へ
お得情報
  • Amazonマーケットプレイス
    ¥ 1,400 より
  • 購入11
  • クリック204
  • 言及数11ブログ
  • ブックマーク7users
「ゲーデルは何を証明したか―数学から超数学へ」をAmazonで購入する
amazon.co.jp 詳細ページへ

「ゲーデルは何を証明したか―数学から超数学へ」を含むはてなダイアリーの人気ブログ この商品についてブログを書く

  • 情報ってなんだろうコンピューターに携わっているものにとって、プログラムの間違い探し、「バグ取り」は避けて通ることのできない重要任務だ。しかもバグ取りは、時間・労力・根気・経験の全てを必要とする重労働である。そこでこの面倒くさい作業を、人間ではなくコンピューター自身に任せられないか、という横着な考えが湧いてくる。つまり「プログラムのミスを取り除くプログラム」を開発すればよいのだ。 もし自動的にバグを 続きを読む

    不完全性定理の最短理解 - 悪魔の妄想rikunora2009/05/186 users

「ゲーデルは何を証明したか―数学から超数学へ」が好きな人は、こんな商品も購入しています

他の商品を探す