<Book>
確かさを求めて : 数学の基礎についての哲学論考
タシカサ オ モトメテ : スウガク ノ キソ ニ ツイテ ノ テツガク ロンコウ
Responsibility | M. ジャキント著 ; 田中一之監訳 |
---|---|
Material Type | Book |
Publisher | 東京 : 培風館 |
Year | 2007.1 |
Language | Japanese |
Size | v, 338p : 挿図 ; 21cm |
Abstract | 本書は、ロジック(数理論理学)の哲学的あらましを解説した書である。いわゆるクラスパラドクスの発見以降、数学の正当性の証を求めて繰り広げられた史上まれにみる華麗な知的探検について、哲学的な考証を行なう。解説にあたっては、主要な哲学的アイデアと論議を提示しつつ、さらには史実をもふまえた上で、ロジックの予備知識がなくとも興味をもって読み進められるよう配慮されている。 |
Table of Contents | 第1部 背景 第2部 クラスパラドクスと初期の反応 第3部 言語パラドクスと『プリンキピア・マテマティカ』 第4部 公理的集合論とヒルベルトのプログラム 第5部 ゲーデルの導出不能性定理 第6部 余波 |
Holdings
Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
---|---|---|---|---|---|---|---|---|---|---|
|
Central Library 4A | 410.1/G 41 | 2007 |
|
058112007022282 |
|
||||
|
SciTech 1F Open Stacks | 410.1/G 41 | 2007 |
|
003112008025232 |
|
Bibliographic details
Other titles | original title:The search for certainty : a philosophical account of foundations of mathematics variant access title:確かさを求めて : 数学の基礎についての哲学論考 |
---|---|
Notes | 参考文献: p309-323 日本語の文献について: p325 |
Authors | Giaquinto, M. (Marcus) 田中, 一之 <タナカ, カズユキ> |
Subjects | BSH:数理哲学 NDLSH:記号論理学 |
Classification | NDC8:410.1 NDC9:410.1 |
ID | 1001314599 |
ISBN | 9784563003708 |
NCID | BA80681638 |
Vol | ISBN:9784563003708 ; PRICE:3800円+税 |
Created Date | 2009.09.18 |
Modified Date | 2009.09.18 |