Logic, Induction and Sets - Couverture rigide

Forster, Thomas

 
9780521826211: Logic, Induction and Sets
Couverture rigide
ISBN 10 : 0521826217 ISBN 13 : 9780521826211
Editeur : Cambridge University Press, 2003

Synopsis

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.

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

Revue de presse

'This is a remarkable book, presenting an introduction to mathematical logic and axiomatic set theory from a unified standpoint ... also eminently suitable for self-study by mature mathematicians who wish to acquire a well-balanced and deeper knowledge of a field that is not part of their specialty ... The author's presentation is a model of clarity, and much of the liveliness of a lecture has been preserved in the write-up. The various asides, cross-references, and care in motivating definitions and concepts all contribute to the value of the book as an instructional source ... a treasure in its genre, to be highly recommended by the reviewer.' MathSciNet

'... a real sense of freshness and vitality ... I found this a very readable and stimulating book. Forster writes with an agreeably light touch and a whimsical sense of fun and his use of rectypes as a leitmotiv is both innovative and inspired.' The Mathematical Gazette

'The author's philosophical training leads him to accompany many definitions with lengthy reflexions which add interest and enliven the book.' Mathematika

Présentation de l'éditeur

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.

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
2003
Langue
anglais
ISBN 10 
0521826217
ISBN 13 
9780521826211
Reliure
Relié
Nombre de pages
244
Coordonnées du fabricant
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italie

Autres éditions populaires du même titre

9780521533614: Logic, Induction and Sets

Edition présentée

ISBN 10 :  0521533619 ISBN 13 :  9780521533614
Editeur : Cambridge University Press, 2003
Couverture souple