目次
数学的理論の形式化
命題論理
述語論理
等号をもつ述語論理
型の理論
自然数論
自然数の関係および関数についての形式的な表現の可能性
ゲーデルの不完全性定理
補助定理の証明
ゲーデルの第２不完全性定理
帰納的関数
帰納的関数の性質
著者等紹介
前原昭二［マエハラショウジ］
１９２７年東京に生れる。１９５１年東京大学理学部卒業。元東京工業大学教授・理学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
2n2n
0
「数学ガール 3巻」で、「不完全性定理を丁寧に説明した本」として、この本が紹介されていたので、読んでみた。確かに説明は丁寧だが、それでも難しいものは難しく、一読しただけですべてを理解できる内容ではない。しかし、じっくり読み返すことで、不完全性定理の理解へ一歩前進していきたいと思う。2010/01/10
-
- 和書
- 演習財務会計 （第７版）
