数学基礎論増補版

Name: 数学基礎論 増補版
ISBN: 9784130629270

新井敏康

5.0 / 3.5

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

予備知識を仮定せず、数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書、待望の増補版。入門篇を中心に記述をわかりやすくするとともに、不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題なども追加し。「数学についての数学」の全体像を描き出す。
【主要目次】
増補版緒言/はじめに/数学基礎論の問題構制/本書の構成
第I部入門篇
第1章 1階論理入門
第2章計算理論入門
第3章不完全性定理
第II部基礎篇
第4章「基礎篇」の準備
第5章モデル理論
第6章計算理論
第7章集合論
第8章証明論
付録A 補遺/付録B 演習略解/付録C 文献案内

კატეგორია:

Mathematics - Mathematical Foundations

წელი:

2021

გამომცემლობა:

東京大学出版会

ენა:

japanese

გვერდები:

610

ISBN 10:

4130629271