検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

キューネン数学基礎論講義 

著者名 ケネス・キューネン/著
著者名ヨミ ケネス キューネン
出版者 日本評論社
出版年月 2016.7


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

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 論理学における決定問題



内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2016
410.9
数学基礎論
前のページへ

本文はここまでです。


ページの終わりです。