資料詳細

[ 和図書 ] キューネン数学基礎論講義

ケネス・キューネン／著 -- 日本評論社 -- 2016.7 --

所蔵

所蔵は 1 件です。

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ISBN	4-535-78748-3
ISBN13桁	978-4-535-78748-3
タイトル	キューネン数学基礎論講義
タイトルカナ	キューネンスウガクキソロンコウギ
著者名	ケネス・キューネン／著, 藤田博司／訳
著者名典拠番号	120002416880000 , 110005176380000
出版地	東京
出版者	日本評論社
出版者カナ	ニホンヒョウロンシャ
出版年	2016.7
ページ数	4, 378p
大きさ	21cm
原タイトル注記	原タイトル:The foundations of mathematics
価格	¥3800
内容紹介	「集合論」の著者キューネンによる数学基礎論のテキスト。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説する。演習問題も収録。
書誌・年譜・年表	文献:p363～367
一般件名	数学基礎論-ndlsh-00571525
一般件名カナ	スウガクキソロン-00571525
一般件名	数学基礎論
一般件名カナ	スウガクキソロン
一般件名典拠番号	511035000000000
分類：都立NDC10版	410.9
資料情報1	『キューネン数学基礎論講義』　ケネス・キューネン／著, 藤田博司／訳　日本評論社　2016.7（所蔵館：中央　請求記号：/410.9/5114/2016　資料コード：7107729354）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152855155

第0章導入: 0.1 予備知識; 0.2 述語論理; 0.3 なぜこの本を読むべきか; 0.4 数学の基礎; 0.5 どのようにこの本を読むべきか
第Ⅰ章集合論: Ⅰ.1 方針; Ⅰ.2 公理; Ⅰ.3 叙述についての二つの注意点; Ⅰ.4 万物の理論としての集合論; Ⅰ.5 数えること; Ⅰ.6 外延性,内包,対,和集合; Ⅰ.7 関係・函数・離散数学; Ⅰ.8 順序数; Ⅰ.9 順序数についての帰納法と再帰
第Ⅱ章モデル理論と証明論: Ⅱ.1 方針; Ⅱ.2 証明論への史的導入; Ⅱ.3 モデル理論への非-史的導入; Ⅱ.4 ポーランド記法; Ⅱ.5 1階論理のシンタクス; Ⅱ.6 略記法; Ⅱ.7 1階論理のセマンティクス; Ⅱ.8 セマンティクスに関する概念の追加; Ⅱ.9 トートロジー
第Ⅲ章数学の哲学: Ⅲ.1 実際に真なのは何か; Ⅲ.2 偽りのない理解のために
第Ⅳ章再帰理論: Ⅳ.1 概要; Ⅳ.2 チャーチとチューリングの提唱; Ⅳ.3 HF上のΔ1関係; Ⅳ.4 対角線論法; Ⅳ.5 論理学における決定問題