確かさを求めて : 数学の基礎についての哲学論考
著者
書誌事項
確かさを求めて : 数学の基礎についての哲学論考
培風館, 2007.1
- タイトル別名
-
The search for certainty : a philosophical account of foundations of mathematics
確かさを求めて : 数学の基礎についての哲学論考
- タイトル読み
-
タシカサ オ モトメテ : スウガク ノ キソ ニ ツイテ ノ テツガク ロンコウ
大学図書館所蔵 件 / 全86件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p309-323
日本語の文献について: p325
内容説明・目次
内容説明
本書は、ロジック（数理論理学）の哲学的あらましを解説した書である。いわゆるクラスパラドクスの発見以降、数学の正当性の証を求めて繰り広げられた史上まれにみる華麗な知的探検について、哲学的な考証を行なう。解説にあたっては、主要な哲学的アイデアと論議を提示しつつ、さらには史実をもふまえた上で、ロジックの予備知識がなくとも興味をもって読み進められるよう配慮されている。
目次
- 第１部 背景
- 第２部 クラスパラドクスと初期の反応
- 第３部 言語パラドクスと『プリンキピア・マテマティカ』
- 第４部 公理的集合論とヒルベルトのプログラム
- 第５部 ゲーデルの導出不能性定理
- 第６部 余波
「BOOKデータベース」 より