---

＜電子ブック＞
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

 類似資料