Mendeley出力
＜図書＞
集合論とプラトニズム
シュウゴウロン ト プラトニズム
| 責任表示 | 田中一之編 |
|---|---|
| シリーズ | ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4 |
| データ種別 | 図書 |
| 出版情報 | 東京 : 東京大学出版会 , 2007.7 |
| 本文言語 | 日本語 |
| 大きさ | xii, 305p : 挿図, 肖像 ; 22cm |
| 概要 | 「ゲーデルのプログラム」とは何か、ゲーデルの哲学はいかに読まれるべきか。集合論が創る無限宇宙の探査。シリーズ完結。 |
| 目次 | ゲーデルの集合論とその背景 第1部 構成的集合と公理的集合論入門(公理的集合論 公理的集合論の展開 集合論のモデル 構成的要集合と強制法) 第2部 集合論の発展—ゲーデルのプログラムの視点から(「カントルの連続体問題とは何か」 実数の集合の性質 巨大基数 ゲーデルのプログラムの実践 最前線へ) 第3部 ゲーデルのプラトニズムと数学的直観(ゲーデルはいつからプラトニストなのか 経験科学と数学のアナロジー 不完全性定理とプラトニズム 概念実在論と数学的直観)続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 4A | 410.9/Ta 84 | 2007 |
|
058112007075105 |
|
|||
|
|
|
理系図1F 開架 | 410.9/Ta 84 | 2007 |
|
003112007032731 |
|
|||
|
|
|
理系図3F 数理独自 | TANA/30/3-4 | 2007 |
|
023112009000347 |
|
|||
|
|
|
文 研究室 | 哲学/601/1101 | 2007 |
|
021112011021661 |
|
書誌詳細
| 別書名 | その他のタイトル:Set theory and Gödel's Platonism |
|---|---|
| 一般注記 | 欧文タイトルは標題紙裏による 参考文献: 各部末 |
| 著者標目 | 田中, 一之 <タナカ, カズユキ> |
| 件 名 | NDLSH:Gödel, Kurt, 1906-1978 NDLSH:数学基礎論 -- 歴史 全ての件名で検索 NDLSH:集合論 |
| 分 類 | NDC8:410.9 NDC9:410.9 |
| 書誌ID | 1001242700 |
| ISBN | 9784130640985 |
| NCID | BA82587914 |
| 巻冊次 | ISBN:9784130640985 ; PRICE:3800円+税 |
| 登録日 | 2009.09.18 |
| 更新日 | 2012.03.21 |