ゲーデルの不完全性定理の頂を踏む [単行本]

ゲーデルの不完全性定理の頂を踏む [単行本] の 商品概要

• 出版社からのコメント

  数学で扱う命題の中には正しいとも間違っているとも証明できないものが存在する、というゲーデルの証明を自力で理解するための一冊。

• 内容紹介

  数学は、物理学・経済学・情報科学など、背景に数理構造がある現象を扱う学問に、それを表現するための言葉を提供してきました。数学を用いて現象を記述するのは、矛盾のない数学の構造を信頼しているからこそです。その数学に原理的にバグがあるよ、と指摘したのがゲーデルの不完全性定理です。数学で扱う命題の中には、正しいとも間違っているとも証明できないものが存在する、と主張するのがゲーデルが論文で証明した定理なのです。
  現在の汎用コンピュータの原型を作ったフォン・ノイマンという天才がいます。「二十世紀最高の知性」と称されるノイマンが、人々からそう呼ばれるたびに「それは自分ではなくゲーデルのことだ」と返したといいます。かのアインシュタインも、研究所に行くのはゲーデルと一緒に散歩をするためだったと述懐していたそうです。
  本書は、論理式（ゲーデル文）を体感してもらいながら、天才中の天才であるゲーデルの証明を、一歩一歩きちんと理解していく一冊です。

• 著者について

  石井 俊全 (イシイ トシアキ)
  1965年東京生まれ。東京大学建築学科卒、東京工業大学数学科修士課程卒。「大人のための数学教室 和」講師。
  主な著書に、「1冊でマスター 大学の」シリーズ『微分積分』『線形代数』『統計学』『複素関数』（いずれも技術評論社）、「まずはこの一冊から 意味がわかる」シリーズ『線形代数』『統計学』『多変量解析』『ガロア理論の頂を踏む』『一般相対性理論を一歩一歩数式で理解する』（いずれもベレ出版）などがある。

ゲーデルの不完全性定理の頂を踏む [単行本] の商品スペック