close
1.

図書

図書
ダニエル・ベルマン著 ; 神林靖訳
出版情報: [東京] : 翔泳社, 2016.11  xii, 451p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 命題論理
第2章 : 述語論理
第3章 : 証明
第4章 : 関係
第5章 : 関数
第6章 : 数学的帰納法
第7章 : 無限集合
第1章 : 命題論理
第2章 : 述語論理
第3章 : 証明
2.

図書

図書
彌永昌吉, 赤攝也著
出版情報: 東京 : 筑摩書房, 2012.9  184p ; 15cm
シリーズ名: ちくま学芸文庫 ; [イ37-2]
所蔵情報: loading…
3.

図書

図書
金子晃著
出版情報: 東京 : サイエンス社, 2010.6  vi, 263p ; 21cm
シリーズ名: ライブラリ数理・情報系の数学講義 ; 1
所蔵情報: loading…
4.

図書

図書
佐々木力 [著]
出版情報: 東京 : みすず書房, 2014.7  xiii, 315, xiiip ; 20cm
所蔵情報: loading…
目次情報: 続きを見る
思想としての二十世紀数学
第1章 数学基礎論論争 : 一九三〇年秋のケーニヒスベルク会議
数学基礎論論争の構図
数学基礎論の岐路—論争の帰趨
第2章 ヘルマン・ワイルの数学思想 : なぜヘルマン・ワイルなのか?
ゲッティンゲンの数学的学統の中のワイル
ワイルにとっての数学の基礎
ワイルと現代の数学的物理学—数学の影の中の相対性理論と量子力学
第3章 ジョン・フォン・ノイマン—数学者と社会的モラル : 「数学者」—純粋数学から応用数学へ
フォン・ノイマンの数学的略歴
軍事科学を介しての戦争とのかかわり—「言語ゲーム」としての数学から「パワー・ゲーム」としての数学へ
フォン・ノイマンと社会的モラル
思想としての二十世紀数学
第1章 数学基礎論論争 : 一九三〇年秋のケーニヒスベルク会議
数学基礎論論争の構図
概要: 現代思想の生成に深く関与した数学。数学基礎論論争の顛末、現象学との交流、コンピューター社会の誕生に迫る。
5.

図書

図書
新井敏康著
出版情報: 東京 : 岩波書店, 2011.5  xix, 536p ; 22cm
所蔵情報: loading…
6.

図書

図書
ジョン・スティルウェル著 ; 川辺治之訳
出版情報: 東京 : 森北出版, 2019.2  viii, 217p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 逆数学に至る歴史
第2章 : 古典的算術化
第3章 : 古典的解析学
第4章 : 計算可能性
第5章 : 計算の算術化
第6章 : 算術的内包公理
第7章 : 再帰的内包公理
第8章 : 全体像
第1章 : 逆数学に至る歴史
第2章 : 古典的算術化
第3章 : 古典的解析学
概要: 定理の証明にはいったい、どれくらいの公理が必要なのだろう?考え方と歴史を知るための入門ガイド。
7.

図書

図書
ケネス・キューネン著 ; 藤田博司訳
出版情報: 東京 : 日本評論社, 2016.7  iv, 378p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第0章 導入 : 予備知識
述語論理 ほか
第1章 集合論 : 方針
公理 ほか
第2章 モデル理論と証明論 : 方針
証明論への史的導入 ほか
第3章 数学の哲学 : 実際に真なのは何か
偽りのない理解のために
第4章 再帰理論 : 概要
チャーチとチューリングの提唱 ほか
第0章 導入 : 予備知識
述語論理 ほか
第1章 集合論 : 方針
概要: 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
8.

図書

図書
田中一之著
出版情報: 東京 : 裳華房, 2019.6  xii, 374p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
数学基礎論の考え方
第1部 数理論理学入門 : 等式理論
1階論理
モデルの理論
第2部 自然数と実数の形式体系 : 1階算術と不完全性定理
1階算術の超準モデル
実閉体の完全性と決定可能性
第3部 2階算術と逆数学 : 実数論と逆数学
2階算術と超準的方法
数学基礎論の考え方
第1部 数理論理学入門 : 等式理論
1階論理
概要: 意味と形式の織り成す世界へ—。数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。21世紀の数学基礎論を切り拓く力作。
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼