書籍詳細：数学基礎論講義
数学基礎論講義 不完全性定理とその発展
- 紙の書籍
定価：税込 4,400円（本体価格 4,000円）
在庫あり
紙の書籍のご購入
内容紹介
数学基礎論の出発点でもあるゲーデルの不完全性定理。本書はこの不完全性定理を主題に、数理論理学の基礎から不完全性定理、また現代へ続く研究の流れを捉えた入門的テキスト。
目次
PartＡ 数理論理学入門
第１講 準備練習
第２講 命題論理
第３講 述語論理
第４講 再帰的関数
PartＢ 不完全性定理
第５講 算術の体系
第６講 第一不完全性定理
第７講 第一不完全性定理の拡張
第８講 第二不完全性定理
第９講 可証性述語の詳細
PartＣ 組合せ的独立命題
第10講 順序数と急増加関数
第11講 パーソンズの定理（IΣ1と原始再帰的関数）
第12講 クライゼルの定理（PAと急増加関数）
第13講 パリス‐ハーリントンの独立命題
PartＤ 算術の超準モデル
第14講 算術の超準モデル
第15講 テンネンバウムの定理
第16講 モデルを用いた不完全性定理の証明
第17講 超準モデルと計算量理論
補 講 不完全性定理を超えて
第１講 準備練習
第２講 命題論理
第３講 述語論理
第４講 再帰的関数
PartＢ 不完全性定理
第５講 算術の体系
第６講 第一不完全性定理
第７講 第一不完全性定理の拡張
第８講 第二不完全性定理
第９講 可証性述語の詳細
PartＣ 組合せ的独立命題
第10講 順序数と急増加関数
第11講 パーソンズの定理（IΣ1と原始再帰的関数）
第12講 クライゼルの定理（PAと急増加関数）
第13講 パリス‐ハーリントンの独立命題
PartＤ 算術の超準モデル
第14講 算術の超準モデル
第15講 テンネンバウムの定理
第16講 モデルを用いた不完全性定理の証明
第17講 超準モデルと計算量理論
補 講 不完全性定理を超えて
