ゲーデルの不完全性定理の頂を踏む

購入済み

返品不可

シリーズ

全1冊

作品情報

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。数学は、物理学・経済学・情報科学など、背景に数理構造がある現象を扱う学問に、それを表現するための言葉を提供してきました。数学を用いて現象を記述するのは、矛盾のない数学の構造を信頼しているからこそです。その数学に原理的にバグがあるよ、と指摘したのがゲーデルの不完全性定理です。数学で扱う命題の中には、正しいとも間違っているとも証明できないものが存在する、と主張するのがゲーデルが論文で証明した定理なのです。現在の汎用コンピュータの原型を作ったフォン・ノイマンという天才がいます。「二十世紀最高の知性」と称されるノイマンが、人々からそう呼ばれるたびに「それは自分ではなくゲーデルのことだ」と返したといいます。かのアインシュタインも、研究所に行くのはゲーデルと一緒に散歩をするためだったと述懐していたそうです。本書は、論理式(ゲーデル文)を体感してもらいながら、天才中の天才であるゲーデルの証明を、一歩一歩きちんと理解していく一冊です。

作品をシェアする

同じ作者の本

ベレ出版のおすすめ本

科学・テクノロジーのおすすめ本

チェックリストに追加しました
クリップボードにURLをコピーしました
カートに追加しました
お気に入りに登録しました
作者をフォローしました

ポイント詳細

  • 通常ポイント

    pt

    ご購入額に応じて、dポイントを還元いたします。還元するdポイント数はご購入代金100円(税抜)につき1ポイントです。

【dカードならさらにおトク!】

さらにdカードをご利用の場合、ご購入代金100円(税込)につき2ポイントを加算し還元いたします。

  • dポイントによるお支払いはポイント進呈の対象外となります。
  • 開催中のキャンペーンにより、還元されるdポイント数は変動いたします。
dカードのお申込みはこちら

お手数ですが、ログイン後に再度登録をお試しください