ゲーデルと20世紀の論理学3

田中一之／編

通算 13 読みたい！

読みたい読んだ

もっともっと探す

+もっと

の図書館をまとめて探す

CiNii Booksで大学図書館の所蔵を調べる

詳しい情報

出版社: 東京大学出版会(20070301)

ISBN-10: 4130640976 ISBN-13: 9784130640978

NDC(9): 410.9

ほかのサービスで見る

国立国会図書館サーチカスタマイズ

紹介

不完全な公理系のなかで，数学はどこまで展開可能なのか？　そして，個々の数学理論に必要とされる公理とは？　本書では，２つの不完全性定理に現代的な証明を与え，それ以降の算術の形式体系について得られた現代ロジックについてくわしく解説する．

序　不完全性定理とその背景（田中一之） I　第一不完全性定理と第二不完全性定理（鹿島　亮）第１章　計算論第２章　ペアノ算術第３章　第一不完全性定理第４章　第二不完全性定理第５章　証明可能性述語の詳細 II　逆数学と２階算術（山崎　武）第１章　２階算術と部分体系第２章　数学の展開と逆数学第３章　逆数学周辺 III　ダイアレクティカ解釈（白旗　優）第１章　ダイアレクティカ解釈の背景　第２章　ダイアレクティカ解釈の概要第３章　ダイアレクティカ解釈の展開

書評とコメント

この本の感想を書いてみよう。この本にコメントする