今度こそわかるゲーデル不完全性定理

内容紹介

この難解な定理を，「ふつうの言葉」で説き明かす！
初学者がつまずくところを熟知した著者による，丁寧な解説．

著者紹介
本橋信義（もとはし・のぶよし）
1943年，東京都に生まれる．東京大学大学院理学系研究科修士課程数学専攻修了．学習院大学，東京教育大学，筑波大学を経て，現在，筑波大学名誉教授．理学博士．専門は数理論理学．著書に『現代論理学入門』（岩波書店），『情報時代の論理』（日本評論社），『新しい論理序説』（朝倉書店），『数学と新しい論理』（遊星社），『集合序説』（培風館），『論理学は数学の役に立つか？』（遊星社），訳書に『歴史の中の数学』（共訳，平凡社），『ゲーデルを語る』（共訳，遊星社）がある．

今度こそわかるゲーデル不完全性定理

内容紹介

目次