数学基礎論 Mathematical logic

著者

• 新井, 敏康 アライ, トシヤス

書誌事項

数学基礎論 = Mathematical logic

新井敏康著

岩波書店, 2011.5

タイトル読み

スウガク キソロン = Mathematical logic

注記

文献案内: p511-515

内容説明・目次

内容説明

特別な予備知識を仮定せずに、数学基礎論における核心的な結論、技法やアイデアをもれなく説明した本格的な教科書。「不完全性定理」や「連続体仮説の独立性証明」などの結果が、どのような考え方によって得られたのか、その完全な証明を通して解説する。より深い理解のために豊富な演習問題と丁寧な解答を付した。

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB05694597
• ISBN:
  • 9784000055369
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xix, 536p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410
  • NDC9 : 410.9
• 件名:
  • NDLSH : 数学基礎論