数学基礎論 増補版

東京大学出版会
新井敏康　

• 価格: 5,940円（本体5,400円＋税）
• 発行年月: 2021年04月
• 判型: Ａ５
• ISBN: 9784130629270

内容情報

[BOOKデータベースより]

予備知識を仮定せず、数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書、待望の増補版。入門篇を中心に記述をわかりやすくするとともに、不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題なども追加。「数学についての数学」の全体像を描き出す。

第１部　入門篇（１階論理入門；計算理論入門；不完全性定理）
第２部　基礎篇（「基礎篇」の準備；モデル理論；計算理論；集合論；証明論）
付録

[日販商品データベースより]

予備知識を仮定せず，数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書，待望の増補版．不完全性定理の意義，算術的完全性定理，ロビンソンによるモデル完全性の初歩事項や演習問題なども追加し，より充実した内容に．