蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
配架場所 |
請求記号 |
資料番号 |
資料種別 |
状態 |
個人貸出 |
在庫
|
1 |
西部図書館 | 一般開架 | 4109/84/ | 1102450750 | 一般 | 在庫 | 可 |
○ |
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1000100407997 |
書誌種別 |
図書 |
書名 |
キューネン数学基礎論講義 |
書名ヨミ |
キューネン スウガク キソロン コウギ |
言語区分 |
日本語 |
著者名 |
ケネス・キューネン/著
藤田 博司/訳
|
著者名ヨミ |
ケネス キューネン フジタ ヒロシ |
著者名原綴 |
Kunen Kenneth |
出版地 |
東京 |
出版者 |
日本評論社
|
出版年月 |
2016.7 |
本体価格 |
¥3800 |
ISBN |
978-4-535-78748-3 |
ISBN |
4-535-78748-3 |
数量 |
4,378p |
大きさ |
21cm |
分類記号 |
410.9
|
件名 |
数学基礎論
|
注記 |
原タイトル:The foundations of mathematics |
注記 |
文献:p363〜367 |
内容紹介 |
「集合論」の著者キューネンによる数学基礎論のテキスト。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説する。演習問題も収録。 |
著者紹介 |
1943年生まれ。ウィスコンシン大学マディソン校名誉教授。 |
目次タイトル |
第0章 導入 |
|
0.1 予備知識 0.2 述語論理 0.3 なぜこの本を読むべきか 0.4 数学の基礎 0.5 どのようにこの本を読むべきか |
|
第Ⅰ章 集合論 |
|
Ⅰ.1 方針 Ⅰ.2 公理 Ⅰ.3 叙述についての二つの注意点 Ⅰ.4 万物の理論としての集合論 Ⅰ.5 数えること Ⅰ.6 外延性,内包,対,和集合 Ⅰ.7 関係・函数・離散数学 Ⅰ.8 順序数 Ⅰ.9 順序数についての帰納法と再帰 Ⅰ.10 冪集合 Ⅰ.11 基数 Ⅰ.12 選択公理AC Ⅰ.13 基数の算術 Ⅰ.14 基礎の公理 Ⅰ.15 実数と記号的存在 |
|
第Ⅱ章 モデル理論と証明論 |
|
Ⅱ.1 方針 Ⅱ.2 証明論への史的導入 Ⅱ.3 モデル理論への非-史的導入 Ⅱ.4 ポーランド記法 Ⅱ.5 1階論理のシンタクス Ⅱ.6 略記法 Ⅱ.7 1階論理のセマンティクス Ⅱ.8 セマンティクスに関する概念の追加 Ⅱ.9 トートロジー Ⅱ.10 フォーマルな証明 Ⅱ.11 証明の構成への戦略 Ⅱ.12 完全性定理 Ⅱ.13 完全な理論 Ⅱ.14 等式理論とホーン理論 Ⅱ.15 定義による拡大 Ⅱ.16 初等部分モデル Ⅱ.17 集合論のモデルにおける定義可能性と絶対性 Ⅱ.18 弱い集合論 Ⅱ.19 その他の証明の理論 |
|
第Ⅲ章 数学の哲学 |
|
Ⅲ.1 実際に真なのは何か Ⅲ.2 偽りのない理解のために |
|
第Ⅳ章 再帰理論 |
|
Ⅳ.1 概要 Ⅳ.2 チャーチとチューリングの提唱 Ⅳ.3 HF上のΔ1関係 Ⅳ.4 対角線論法 Ⅳ.5 論理学における決定問題 |
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
前のページへ