東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

The theory of Gödel

Cellucci, Carlo.

Linked to FindBook

Google Book

Amazon

博客來

The theory of Gödel

Record Type:	Electronic resources : Monograph/item
Title/Author:	The theory of Gödel/ by Carlo Cellucci.
Author:	Cellucci, Carlo.
Published:	Cham :Springer International Publishing : : 2022.,
Description:	ix, 159 p. :ill., digital ;24 cm.
[NT 15003449]:	First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic -- Encoding -- Incompleteness -- Other Limitative Results -- Second-Order Logic -- Second-Order Arithmetic -- Appendix.
Contained By:	Springer Nature eBook
Subject:	Godel's theorem. -
Online resource:	https://doi.org/10.1007/978-3-031-13417-3
ISBN:	9783031134173

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. 470..

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

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

544781
Godel's theorem.

LC Class. No.: QA9.65

Dewey Class. No.: 511.3

The theory of Gödel
LDR:01772nmm a2200337 a 4500 001 2305808
003 DE-He213
005 20221121171028.0
006 m d
007 cr nn 008maaau
008 230409s2022 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 3227828
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 544781
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; $v v. 470. $3 3609252
856 4 0 $u https://doi.org/10.1007/978-3-031-13417-3
950 $a Mathematics and Statistics (SpringerNature-11649)