03915nam a22005175i 4500 978-3-031-64217-3 DE-He213 20251030112923.0 cr nn 008mamaa 240831s2024 sz | s |||| 0|eng d 9783031642173 978-3-031-64217-3 10.1007/978-3-031-64217-3 doi QA8.9-10.3 PBCD bicssc PBC bicssc MAT018000 bisacsh PBCD thema PBC thema Batzoglou, Serafim. author. aut http://id.loc.gov/vocabulary/relators/aut 83313 Introduction to Incompleteness [electronic resource] : From Gödel's Theorems to Forcing and the Continuum Hypothesis / by Serafim Batzoglou. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2024. XI, 302 p. 13 illus. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Part 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. Incompleteness 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. Mathematical logic. 66195 Set theory. Mathematical Logic and Foundations. 66198 Set Theory. SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031642166 Printed edition: 9783031642180 Printed edition: 9783031642197 https://doi.org/10.1007/978-3-031-64217-3 ZDB-2-SMA ZDB-2-SXMS 62917 62917