Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59) - Hardcover

Taylor, Paul

 
9780521631075: Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)
Hardcover
ISBN 10: 0521631076 ISBN 13: 9780521631075
Publisher: Cambridge University Press, 1999

Synopsis

This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing.

"synopsis" may belong to another edition of this title.

Review

Review of the hardback: 'This is a fascinating and rewarding book ... each chapter has several pages of subtle, provocative and imaginative exercises. In 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

Book Description

This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
1999
Language
English
ISBN 10 
0521631076
ISBN 13 
9780521631075
Binding
Hardcover
Number of pages
588