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

田中一之／編

通算 10 読みたい！

読みたい読んだ

もっともっと探す

+もっと

の図書館をまとめて探す

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

詳しい情報

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

ISBN-10: 4130640984 ISBN-13: 9784130640985

NDC(9): 410.9

ほかのサービスで見る

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

紹介

ゲーデルにとって，集合論の対象とする宇宙は絶対唯一の存在であった．彼の提唱した「ゲーデルのプログラム」とは？　そして集合論はどのように展開していったのか？　本巻では，彼の数理哲学を解説し，それを底流とした現代集合論の研究動向を紹介する．シリーズ完結．

序　ゲーデルの集合論とその背景（田中一之） I　構成的集合と公理的集合論入門（渕野　昌）　第1章　公理的集合論　　第2章　公理的集合論の展開第3章　集合論のモデル第4章　構成的集合と強制法 II　集合論の発展——ゲーデルのプログラムの視点から（松原　洋）第1章　カントルの連続体問題とは何か第2章　実数の集合の性質第3章　巨大基数第4章　ゲーデルのプログラムの実践 III　ゲーデルのプラトニズムと数学的直観（戸田山和久）第1章　ゲーデルはいつからプラトニストなのか第2章　経験科学と数学のアナロジー第3章　不完全性定理とプラトニズム第4章　概念実在論と数学的直観

書評とコメント

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