國立高雄大學圖資館 |

Language: English

Back

The theory of Gödel

Record Type:	Electronic resources : Monograph/item
Title/Author:	The theory of Gödelby Carlo Cellucci.
Author:	Cellucci, Carlo.
Published:	Cham :Springer International Publishing :2022.
Description:	ix, 159 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Godel's theorem.
Online resource:	https://doi.org/10.1007/978-3-031-13417-3
ISBN:	9783031134173$q(electronic bk.)

The theory of Gödel
Cellucci, Carlo.

The theory of Gödel[electronic resource] /by Carlo Cellucci. - Cham :Springer International Publishing :2022. - ix, 159 p. :ill., digital ;24 cm. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science,v. 4702542-8292 ;. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;v.375..

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 Gö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.

ISBN: 9783031134173$q(electronic bk.)

Standard No.: 10.1007/978-3-031-13417-3doiSubjects--Topical Terms:

665760
Godel's theorem.

LC Class. No.: QA9.65

Dewey Class. No.: 511.3

The theory of Gödel
LDR:01772nmm a2200337 a 4500 001 633521
003 DE-He213
005 20221121171028.0
006 m d
007 cr nn 008maaau
008 230511s2022 sz s 0 eng d
020 $a 9783031134173$q(electronic bk.)
020 $a 9783031134166$q(paper)
024 7 $a 10.1007/978-3-031-13417-3 $2 doi
035 $a 978-3-031-13417-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.65
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.65 $b .C393 2022
100 1 $a Cellucci, Carlo. $3 776369
245 1 4 $a The theory of Gödel $h [electronic resource] / $c by Carlo Cellucci.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a ix, 159 p. : $b ill., digital ; $c 24 cm.
490 1 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science, $x 2542-8292 ; $v v. 470
505 0 $a First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic -- Encoding -- Incompleteness -- Other Limitative Results -- Second-Order Logic -- Second-Order Arithmetic -- Appendix.
520 $a This book presents Gö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.
650 0 $a Godel's theorem. $3 665760
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; $v v.375. $3 739403
856 4 0 $u https://doi.org/10.1007/978-3-031-13417-3
950 $a Mathematics and Statistics (SpringerNature-11649)