東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The theory of Gödel

Cellucci, Carlo.

FindBook

Google Book

Amazon

博客來

The theory of Gödel

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The theory of Gödel/ by Carlo Cellucci.
作者:	Cellucci, Carlo.
出版者:	Cham :Springer International Publishing : : 2022.,
面頁冊數:	ix, 159 p. :ill., digital ;24 cm.
內容註:	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
標題:	Godel's theorem. -
電子資源:	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)