Practical Foundations of Mathematics by Paul Taylor

Practical Foundations of Mathematics by Paul Taylor

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

Review of the hardback: 'This is a fascinating and rewarding book … each chapter has several pages of subtle, provocative and imaginative exercisesIn summary, it is a magnificent compilation of ideas and techniques: it is a mine of (well-organised) information suitable for the graduate student and experienced researcher alike.' Roy Dyckhoff, Bulletin of the London Mathematical Society

SKU	Unavailable
ISBN 13	9780521631075
ISBN 10	0521631076
Title	Practical Foundations of Mathematics
Author	Paul Taylor
Series	Cambridge Studies In Advanced Mathematics
Condition	Unavailable
Publisher	Cambridge University Press
Year published	1999-05-13
Number of pages	588
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.