数学基礎論 Mathematical logic
著者
書誌事項
数学基礎論 = Mathematical logic
岩波書店, 2011.5
- タイトル読み
-
スウガク キソロン = Mathematical logic
大学図書館所蔵 件 / 全193件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献案内: p511-515
内容説明・目次
内容説明
特別な予備知識を仮定せずに、数学基礎論における核心的な結論、技法やアイデアをもれなく説明した本格的な教科書。「不完全性定理」や「連続体仮説の独立性証明」などの結果が、どのような考え方によって得られたのか、その完全な証明を通して解説する。より深い理解のために豊富な演習問題と丁寧な解答を付した。
目次
- 1部 入門篇(1階論理入門;計算理論入門;不完全性定理)
- 2部 基礎篇(「基礎篇」の準備;モデル理論;計算理論;集合論;証明論)
「BOOKデータベース」 より