内容説明
ゲーデルの不完全性定理の現代数学基礎論における発展を、第一線の研究者たちがていねいに解説した待望の入門書。
目次
A 数理論理学入門(準備練習;命題論理 ほか)
B 不完全性定理(算術の体系;第一不完全性定理 ほか)
C 組合せ的独立命題(順序数と急増加関数;パーソンズの定理―ΙΣ1と原始再帰的関数 ほか)
D 算術の超準モデル(算術の超準モデル;テンネンバウムの定理 ほか)
ゲーデルの不完全性定理の現代数学基礎論における発展を、第一線の研究者たちがていねいに解説した待望の入門書。
A 数理論理学入門(準備練習;命題論理 ほか)
B 不完全性定理(算術の体系;第一不完全性定理 ほか)
C 組合せ的独立命題(順序数と急増加関数;パーソンズの定理―ΙΣ1と原始再帰的関数 ほか)
D 算術の超準モデル(算術の超準モデル;テンネンバウムの定理 ほか)