確かさを求めて : 数学の基礎についての哲学論考
著者
書誌事項
確かさを求めて : 数学の基礎についての哲学論考
培風館, 2007.1
- タイトル別名
-
The search for certainty : a philosophical account of foundations of mathematics
確かさを求めて : 数学の基礎についての哲学論考
- タイトル読み
-
タシカサ オ モトメテ : スウガク ノ キソ ニ ツイテ ノ テツガク ロンコウ
大学図書館所蔵 全86件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p309-323
日本語の文献について: p325
内容説明・目次
内容説明
本書は、ロジック(数理論理学)の哲学的あらましを解説した書である。いわゆるクラスパラドクスの発見以降、数学の正当性の証を求めて繰り広げられた史上まれにみる華麗な知的探検について、哲学的な考証を行なう。解説にあたっては、主要な哲学的アイデアと論議を提示しつつ、さらには史実をもふまえた上で、ロジックの予備知識がなくとも興味をもって読み進められるよう配慮されている。
目次
- 第1部 背景
- 第2部 クラスパラドクスと初期の反応
- 第3部 言語パラドクスと『プリンキピア・マテマティカ』
- 第4部 公理的集合論とヒルベルトのプログラム
- 第5部 ゲーデルの導出不能性定理
- 第6部 余波
「BOOKデータベース」 より