Set Theory, Logic and their Limitations - Couverture souple

Machover, Moshe

 
9780521479981: Set Theory, Logic and their Limitations
Couverture souple
ISBN 10 : 0521479983 ISBN 13 : 9780521479981
Editeur : Cambridge University Press, 1996

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
1996
Langue
anglais
ISBN 10 
0521479983
ISBN 13 
9780521479981
Reliure
Broché
Nombre de pages
300
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Autres éditions populaires du même titre

9780521474931: Set Theory, Logic and their Limitations

Edition présentée

ISBN 10 :  0521474930 ISBN 13 :  9780521474931
Editeur : Cambridge University Press, 1996
Couverture rigide