<電子ブック>
The Theory of Gödel / by Carlo Cellucci
(Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science. ISSN:25428292 ; 470)
版 | 1st ed. 2022. |
---|---|
出版者 | (Cham : Springer International Publishing : Imprint: Springer) |
出版年 | 2022 |
本文言語 | 英語 |
大きさ | IX, 159 p : online resource |
著者標目 | *Cellucci, Carlo author SpringerLink (Online service) |
件 名 | LCSH:Logic LCSH:Mathematics -- Philosophy 全ての件名で検索 LCSH:Mathematics LCSH:History FREE:Logic FREE:Philosophy of Mathematics FREE:History of Mathematical Sciences |
一般注記 | First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic -- Encoding -- Incompleteness -- Other Limitative Results -- Second-Order Logic -- Second-Order Arithmetic -- Appendix This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help. HTTP:URL=https://doi.org/10.1007/978-3-031-13417-3 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783031134173 |
|
電子リソース |
|
EB00235063 |