ゲーデルと20世紀の論理学(ロジック)〈4〉集合論とプラトニズム [全集叢書]

ゲーデルと20世紀の論理学(ロジック)〈4〉集合論とプラトニズム の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次（「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  田中 一之(タナカ カズユキ)
  １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．

ゲーデルと20世紀の論理学(ロジック)〈4〉集合論とプラトニズム の商品スペック