内容説明
「ゲーデルのプログラム」とは何か、ゲーデルの哲学はいかに読まれるべきか。集合論が創る無限宇宙の探査。シリーズ完結。
目次
ゲーデルの集合論とその背景
第１部 構成的集合と公理的集合論入門（公理的集合論；公理的集合論の展開；集合論のモデル；構成的要集合と強制法）
第２部 集合論の発展―ゲーデルのプログラムの視点から（「カントルの連続体問題とは何か」；実数の集合の性質；巨大基数；ゲーデルのプログラムの実践；最前線へ）
第３部 ゲーデルのプラトニズムと数学的直観（ゲーデルはいつからプラトニストなのか；経験科学と数学のアナロジー；不完全性定理とプラトニズム；概念実在論と数学的直観）
著者等紹介
田中一之［タナカカズユキ］
１９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
