Logic of Mathematics: A Modern Course of Classical Logic
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic
Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems:
* Gödel's theorems of completeness and incompleteness
* The independence of Goodstein's theorem from Peano arithmetic
* Tarski's theorem on real closed fields
* Matiyasevich's theorem on diophantine formulas
Logic of Mathematics also features:
* Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types
* Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Löwenheim constructions and other topics
* Carefully chosen exercises for each chapter, plus helpful solution hints
At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms.
Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more.
Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems.
With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
Avis des internautes - Rédiger un commentaire
Aucun commentaire n'a été trouvé aux emplacements habituels.
Mathematical Structures and Their Theories
Subsystems and Homomorphisms
Operations on Relational Systems
Terms and Formulas
Theories and Models
Ultraproducts HI 16 Types of Elements
Defining Functions in N
Autres éditions - Tout afficher
algebraically closed fields arithmetical formula Assume assumption atomic formulas axiomatizable Boolean algebra bounded formula called Check class PR completeness theorem completes the proof condition Cons(r consistent set constants Corollary countable model define by induction definition denote diophantine distinguished elements elimination of quantifiers embedding equation equivalent Example Exercise F e Fm Fm(L formula F free variables function h function symbols given Goodstein Goodstein sequence Goodstein's theorem Hence holds homomorphism implies infer integer isomorphic language L(T Lindenbaum algebra mathematical Mod(T modus ponens nonstandard obtain open formula operation parametrically definable Peano arithmetic Pell's equation polynomials prove real closed fields relation symbol relational systems Remark satisfies sentence F sequence set of formulas set of sentences Show Similarly substitution subsystem Tarski's Tarski's theorem ultrafilter ultrapower ultraproduct universe Vf(F whence
Tous les résultats Google Recherche de Livres »
Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry ...
Aucun aperçu disponible - 2000