今度こそわかるゲーデル不完全性定理 [単行本]

今度こそわかるゲーデル不完全性定理 [単行本] の 商品概要

• 要旨(「BOOK」データベースより）

  難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。

• 目次(「BOOK」データベースより）

  第１章　自然言語
  第２章　理論の完全性とわかりやすさ
  第３章　表現可能性
  第４章　初等自然数言語の不完全性定理の証明
  第５章　古典的理論と現代的理論
  第６章　形式化
  第７章　完全性
  第８章　ゲーデルの不完全性定理
  第９章　ゲーデルの第２不完全性定理
  第１０章　新しい論理学

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  本橋 信義(モトハシ ノブヨシ)
  １９４３年、東京都に生まれる。東京大学大学院理学系研究科修士課程数学専攻修了。学習院大学、東京教育大学、筑波大学を経て、筑波大学名誉教授。理学博士。専門は数理論理学

今度こそわかるゲーデル不完全性定理 [単行本] の商品スペック