復刊基礎数学シリーズ 数学基礎論入門 （復刊）

前原 昭二【著】

朝倉書店（2006/03発売）

• サイズ B5判／ページ数 216p／高さ 26cm
• 商品コード 9784254117233
• NDC分類 410.9
• Cコード C3341

目次

数学的理論の形式化
命題論理
述語論理
等号をもつ述語論理
型の理論
自然数論
自然数の関係および関数についての形式的な表現の可能性
ゲーデルの不完全性定理
補助定理の証明
ゲーデルの第２不完全性定理
帰納的関数
帰納的関数の性質

著者等紹介

前原昭二［マエハラショウジ］
１９２７年東京に生れる。１９５１年東京大学理学部卒業。元東京工業大学教授・理学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。

[2n2n]

「数学ガール　3巻」で、「不完全性定理を丁寧に説明した本」として、この本が紹介されていたので、読んでみた。確かに説明は丁寧だが、それでも難しいものは難しく、一読しただけですべてを理解できる内容ではない。しかし、じっくり読み返すことで、不完全性定理の理解へ一歩前進していきたいと思う。

2010/01/10