<図書>
確かさを求めて : 数学の基礎についての哲学論考
タシカサ オ モトメテ : スウガク ノ キソ ニ ツイテ ノ テツガク ロンコウ
責任表示 | M. ジャキント著 ; 田中一之監訳 |
---|---|
データ種別 | 図書 |
出版者 | 東京 : 培風館 |
出版年 | 2007.1 |
本文言語 | 日本語 |
大きさ | v, 338p : 挿図 ; 21cm |
概要 | 本書は、ロジック(数理論理学)の哲学的あらましを解説した書である。いわゆるクラスパラドクスの発見以降、数学の正当性の証を求めて繰り広げられた史上まれにみる華麗な知的探検について、哲学的な考証を行なう。解説にあたっては、主要な哲学的アイデアと論議を提示しつつ、さらには史実をもふまえた上で、ロジックの予備知識がなくとも興味をもって読み進められるよう配慮されている。 |
目次 | 第1部 背景 第2部 クラスパラドクスと初期の反応 第3部 言語パラドクスと『プリンキピア・マテマティカ』 第4部 公理的集合論とヒルベルトのプログラム 第5部 ゲーデルの導出不能性定理 第6部 余波 |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
中央図 4A | 410.1/G 41 | 2007 |
|
058112007022282 |
|
||||
|
理系図1F 開架 | 410.1/G 41 | 2007 |
|
003112008025232 |
|
書誌詳細
別書名 | 原タイトル:The search for certainty : a philosophical account of foundations of mathematics 異なりアクセスタイトル:確かさを求めて : 数学の基礎についての哲学論考 |
---|---|
一般注記 | 参考文献: p309-323 日本語の文献について: p325 |
著者標目 | Giaquinto, M. (Marcus) 田中, 一之 <タナカ, カズユキ> |
件 名 | BSH:数理哲学 NDLSH:記号論理学 |
分 類 | NDC8:410.1 NDC9:410.1 |
書誌ID | 1001314599 |
ISBN | 9784563003708 |
NCID | BA80681638 |
巻冊次 | ISBN:9784563003708 ; PRICE:3800円+税 |
登録日 | 2009.09.18 |
更新日 | 2009.09.18 |