• ヒルベルトの「有限の立場」は論理の算術化を含意した。ロジックを計算に落とすことによって無矛盾を追求する手法そのものが、その企てを崩壊させるゲーデルの痛撃を生み出す。そんな中で計算機の登場はいかなる意味 ヒルベルトの「有限の立場」は論理の算術化を含意した。ロジックを計算に落とすことによって無矛盾を追求する手法そのものが、その企てを崩壊させるゲーデルの痛撃を生み出す。そんな中で計算機の登場はいかなる意味を持つのか。計算機は文字通り計算しかしないという意味で、変な話だが pure math の実行者であるととらえることもできる。思考機械の証明を自然数で表現して自然数論に埋め込むことで、無矛盾の証明の不可能性へ至るゲーデルの構想を忠実に辿るストーリー(たぶん)。おもしろ計算問題が付録に付いている。 …続きを読む
  猫丸

  2021年08月16日
  13人がナイス！しています
• 難しいが数学の不思議さは楽しめる本だと思う。でも、なんだかごちゃごちゃし過ぎてた。不思議の国のアリスめいた章はとっかかりやすくて私は好きだったが、合間に数学者の評伝のような章やら著者による数学の問題や 難しいが数学の不思議さは楽しめる本だと思う。でも、なんだかごちゃごちゃし過ぎてた。不思議の国のアリスめいた章はとっかかりやすくて私は好きだったが、合間に数学者の評伝のような章やら著者による数学の問題やエピソードやら挿入されて話がぶつ切りにされて気が散った。正直言って読みにくかった。 …続きを読む
  ともゑ

  2019年04月12日
  8人がナイス！しています
• 一風変わった数学ものです。常識はずれの数学の天才たちであるカントール、ラマヌジャン、ヒルベルト（比較的普通か）、ゲーデルなどの短い評伝が途中に挟まれていたり、その他は問題を出し合って答えていく変な不思 一風変わった数学ものです。常識はずれの数学の天才たちであるカントール、ラマヌジャン、ヒルベルト（比較的普通か）、ゲーデルなどの短い評伝が途中に挟まれていたり、その他は問題を出し合って答えていく変な不思議なアリス的なストーリーになっている。ヒルベルトの有能さがよくわかった。無限や矛盾、自己言及文とかはなかなか難しいです。これで数学の面白さに気づくのは難しいのではないかな。 …続きを読む
  BIN

  2018年07月04日
  6人がナイス！しています

powered by