What Is Mathematical Logic? - Couverture souple

Crossley, John N.

Couverture souple

ISBN 10 : 0486264041 ISBN 13 : 9780486264042

Editeur : Dover Publications Inc., 2003

Synopsis

Bien que la logique mathématique puisse être un sujet formidablement abstrus, même pour les mathématiciens, ce livre concis présente le sujet d'une manière vivante et accessible. Il traite des idées très importantes de la logique mathématique moderne sans le travail mathématique détaillé requis de ceux qui ont un intérêt professionnel pour la logique.
Le livre commence par une enquête historique du développement de la logique mathématique à partir de deux flux parallèles : la déduction formelle, qui provient d'Aristote, Euclide et d'autres; et l'analyse mathématique, qui remonte à Archimède à la même époque. Les flux ont commencé à converger au XVIIe siècle avec l'invention du calcul, qui a finalement réuni les mathématiques et la logique. Les auteurs indiquent ensuite brièvement comment des concepts relativement modernes tels que la théorie des ensembles, les théorèmes d'incomplétude de Gödel, l'hypothèse du continuum, le théorème de Wenheim-Skolem et d'autres idées ont influencé la logique mathématique.

Les idées sont exprimées simplement et clairement dans un style agréable, et malgré la relative brièvité du livre, il y a beaucoup de choses couvertes sur ces pages. Les non-mathématiciens peuvent lire le livre comme une enquête générale; les étudiants du sujet trouveront une introduction stimulante. Les lecteurs trouveront également des suggestions pour une lecture plus approfondie dans ce domaine animé et passionnant des mathématiques modernes.

Détails de l'édition

• Éditeur: Dover Publications Inc.
• Date d'édition: 2003
• Langue: anglais
• ISBN 10: 0486264041
• ISBN 13: 9780486264042
• Reliure: Broché
• Nombre de pages: 96
• Coordonnées du fabricant: non disponible
• Personne responsable: Soc. Agr. La Raia Ss; http://www.la-raia.it; ; Strada Monterotondo, 79; Novi Ligure; 15067; Italie