数学基礎論

著者

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

書誌事項

数学基礎論

新井敏康著

東京大学出版会, 2021.4

増補版

タイトル別名

Mathematical Logic

タイトル読み

スウガク キソロン

電子リソースにアクセスする 全1件

• 数学基礎論

  2021.4.

  Maruzen eBook Library

注記

初版:岩波書店 2011年刊

文献案内: p565-570

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

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