About this product

Product Identifiers

PublisherCambridge University Press

ISBN-100521479983

ISBN-139780521479981

eBay Product ID (ePID)434848

Product Key Features

Number of Pages300 Pages

LanguageEnglish

Publication NameSet Theory, Logic and Their Limitations

Publication Year1996

SubjectHistory & Philosophy, Set Theory, Logic

TypeTextbook

AuthorMoshe Machover

Subject AreaMathematics

FormatTrade Paperback

Dimensions

Item Height0.6 in

Item Weight18 Oz

Item Length9 in

Item Width6 in

Additional Product Features

Intended AudienceCollege Audience

LCCN95-049048

Reviews‘ … written by an excellent mathematician … I very much like the way the author explains things.’European Mathematical Society, ' â€¦ written by an excellent mathematician â€¦ I very much like the way the author explains things.' European Mathematical Society, ' ... written by an excellent mathematician ... I very much like the way the author explains things.' European Mathematical Society

Dewey Edition20

IllustratedYes

Dewey Decimal511.3

Table Of ContentMathematical induction; 1. Sets and classes; 2. Relations and functions; 3. Cardinals; 4. Ordinals; 5. The axiom of choice; 6. Finite cardinals and alephs; 7. Propositional logic; 8. First order logic; 9. Facts from recursion theory; 10. Limitative results; Appendix: Skolem's paradox.

SynopsisThis is an introduction to set theory and logic that starts completely from scratch. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory., In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and G del (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory., This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.

LC Classification NumberQA248 .M274 1996