Practical Foundations of Mathematics
Download or Read eBook Practical Foundations of Mathematics PDF written by Paul Taylor and published by Cambridge University Press. This book was released on 1999-05-13 with total page 590 pages. Available in PDF, EPUB and Kindle.
Author | : Paul Taylor |
Publisher | : Cambridge University Press |
Total Pages | : 590 |
Release | : 1999-05-13 |
ISBN-10 | : 0521631076 |
ISBN-13 | : 9780521631075 |
Rating | : 4/5 (76 Downloads) |
Book Synopsis Practical Foundations of Mathematics by : Paul Taylor
Book excerpt: 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 programs). It contains original material and original developments of standard material, so it is also for professional researchers, but as it deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics, the reader is expected to be open minded about these things.