Set Theory, Logic and their Limitations - Couverture rigide

Machover, Moshe

Couverture rigide

ISBN 10 : 0521474930 ISBN 13 : 9780521474931

Editeur : Cambridge University Press, 1996

Synopsis

Rigorous coverage of logic and set theory for students of mathematics and philosophy.

A propos du livre

Présentation de l'éditeur

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.

Revue de presse

' ... written by an excellent mathematician ... I very much like the way the author explains things.' European Mathematical Society

Détails de l'édition

• Éditeur: Cambridge University Press
• Date d'édition: 1996
• Langue: anglais
• ISBN 10: 0521474930
• ISBN 13: 9780521474931
• Reliure: Relié
• Nombre de pages: 298
• Coordonnées du fabricant: non disponible
• Personne responsable: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; France