ゲーデルと２０世紀の論理学（ロジック） ４

集合論とプラトニズム　

東京大学出版会
田中一之　

• 価格: 4,180円（本体3,800円＋税）
• 発行年月: 2007年07月
• 判型: Ａ５
• ISBN: 9784130640985

内容情報

[BOOKデータベースより]

「ゲーデルのプログラム」とは何か、ゲーデルの哲学はいかに読まれるべきか。集合論が創る無限宇宙の探査。シリーズ完結。

ゲーデルの集合論とその背景
第１部　構成的集合と公理的集合論入門（公理的集合論；公理的集合論の展開；集合論のモデル；構成的要集合と強制法）
第２部　集合論の発展―ゲーデルのプログラムの視点から（「カントルの連続体問題とは何か」；実数の集合の性質；巨大基数；ゲーデルのプログラムの実践；最前線へ）
第３部　ゲーデルのプラトニズムと数学的直観（ゲーデルはいつからプラトニストなのか；経験科学と数学のアナロジー；不完全性定理とプラトニズム；概念実在論と数学的直観）

[日販商品データベースより]

ゲーデルにとって、集合論の対象とする宇宙は絶対唯一の存在であった。彼の提唱した「ゲーデルのプログラム」とは。集合論はどのように展開していったのか。彼の数理哲学を解説し、現代集合論の研究動向を紹介する。