数学基礎論講義―不完全性定理とその発展

田中 一之【編・著】/鹿島 亮/角田 法也/菊池 誠【著】

日本評論社（1997/03発売）

• サイズ A5判／ページ数 206p／高さ 22cm
• 商品コード 9784535782419
• NDC分類 410.9
• Cコード C3041

内容説明

ゲーデルの不完全性定理の現代数学基礎論における発展を、第一線の研究者たちがていねいに解説した待望の入門書。

目次

Ａ　数理論理学入門（準備練習；命題論理　ほか）
Ｂ　不完全性定理（算術の体系；第一不完全性定理　ほか）
Ｃ　組合せ的独立命題（順序数と急増加関数；パーソンズの定理―ΙΣ１と原始再帰的関数　ほか）
Ｄ　算術の超準モデル（算術の超準モデル；テンネンバウムの定理　ほか）