LEADER 00919nam0-22003371i-450- 001 990002004240403321 005 20130325104135.0 035 $a000200424 035 $aFED01000200424 035 $a(Aleph)000200424FED01 035 $a000200424 100 $a20030910d1901----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay---a---001yy 200 1 $aAmphibia and reptiles$fHans Gadow 210 $aLondon$cMcMillan & Co.$d1901 215 $a668 p.$d22 cm 225 1 $a<>Cambridge Natural History$fS. F. Harmer and A. E. Shipley$v8 610 0 $aRettili 610 0 $aAnfibi 610 0 $aZoologia$aTrattati 676 $a597.6 700 1$aGadow,$bHans$f<1855-1928>$084688 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002004240403321 952 $a61 II A.4/017$b205$fDAGEN 959 $aDAGEN 996 $aAmphibia and reptiles$9402916 997 $aUNINA LEADER 01405nam2 2200325 i 450 001 RMS2805312 005 20231121125812.0 010 $a9788863726664 100 $a20170622d2017 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜2: œBiblioteche, codici, epigrafi. Tomo 2$fAugusto Campana 210 $aRoma$cEdizioni di storia e letteratura$d2017 215 $aVI, 600-991 p.$cill.$d24 cm 461 1$1001RAV1686623$12001 $aScritti$fAugusto Campana$ga cura di Rino Avesani, Michele Feo, Enzo Pruccoli$v2.2 606 $aCampana, Augusto$2FIR$3RMLC295087$9I 700 1$aCampana$b, Augusto$f <1906-1995>$3CFIV040849$4070$0153777 801 3$aIT$bIT-01$c20170622 850 $aIT-RM028 $aIT-RM0290 $aIT-RM0151 $aIT-FR0017 899 $aBiblioteca Universitaria Alessandrina$bRM028 899 $aBIBLIOTECA ANGELICA$bRM0290 899 $aBiblioteca Istituto Storico Italiano Medio Evo - I$bRM0151 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aRMS2805312 950 2$aBiblioteca umanistica Giorgio Aprea$d 52MAG 7 Coll D 241-2.2$e 52SBA0000230165 VMN RS $fA $h20170622$i20170622 977 $a 01$a 06$a 41$a 52 996 $aBiblioteche, codici, epigrafi. Tomo 2$93635522 997 $aUNICAS LEADER 03573nam 22004935 450 001 9910886096103321 005 20250807153153.0 010 $a3-031-64217-1 024 7 $a10.1007/978-3-031-64217-3 035 $a(CKB)34605145200041 035 $a(MiAaPQ)EBC31629223 035 $a(Au-PeEL)EBL31629223 035 $a(DE-He213)978-3-031-64217-3 035 $a(EXLCZ)9934605145200041 100 $a20240831d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntroduction to Incompleteness $eFrom Gödel's Theorems to Forcing and the Continuum Hypothesis /$fby Serafim Batzoglou 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Birkhäuser,$d2024. 215 $a1 online resource (303 pages) 311 08$a3-031-64216-3 327 $aPart 1: Godel's Theorems -- Formal Axiomatic Systems -- Peano Arithmetic and Recursive Functions -- Godel's Incompleteness Theorems -- Structures, Models, and Satisfaction -- Completeness and Compactness Theorems -- Completeness and Peano Arithmetic -- The Lucas-Penrose Arguments -- Part II: Incompleteness in arithmetic and set theory -- Incompleteness in Finite Combinatorics -- Consistency of PA and E0 Induction -- Set Theory -- Independence of CH--forcing -- Independence of CH--forcing CH and -CH. 330 $aIncompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit on what is provable. However, despite its importance, it is often overlooked in the mathematics curricula because it is difficult to teach. This book aims to help bridge this pedagogical gap by providing a complete and accessible technical exposition of incompleteness for a wide audience. The author accomplishes this by making conceptually difficult proofs more approachable by providing intuitive explanations of the main ideas. Care is taken to emphasize the different layers of the mathematical argument ? the layer within and the metalayer about an axiomatic system. Structurally, the book efficiently examines key results and arrives at some of the most interesting concepts as quickly as possible. It begins with Gödel's incompleteness theorems before continuing on to challenging concepts in the arithmetized completeness theorem, the Paris-Harrington theorem, and the independence of the continuum hypothesis. Other topics covered include the Lucas-Penrose arguments, ordinals and cardinals, and axiomatic set theory. Additionally, the author?s coverage of forcing is a notable addition to the existing literature. Introduction to Incompleteness will be of interest to researchers, students, and instructors looking for a resource to teach this topic. It may also be suitable for self-study. Knowledge of undergraduate-level theoretical mathematics or computer science is required, as well as a familiarity with abstract proofs. 606 $aLogic, Symbolic and mathematical 606 $aSet theory 606 $aMathematical Logic and Foundations 606 $aSet Theory 615 0$aLogic, Symbolic and mathematical. 615 0$aSet theory. 615 14$aMathematical Logic and Foundations. 615 24$aSet Theory. 676 $a511.3 700 $aBatzoglou$b Serafim$01758729 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910886096103321 996 $aIntroduction to Incompleteness$94258002 997 $aUNINA