Computation, Proof, Machine
Download or Read eBook Computation, Proof, Machine PDF written by Gilles Dowek and published by Cambridge University Press. This book was released on 2015-05-05 with total page 161 pages. Available in PDF, EPUB and Kindle.
| Author | : Gilles Dowek |
| Publisher | : Cambridge University Press |
| Total Pages | : 161 |
| Release | : 2015-05-05 |
| ISBN-10 | : 9780521118019 |
| ISBN-13 | : 0521118018 |
| Rating | : 4/5 (19 Downloads) |
Book Synopsis Computation, Proof, Machine by : Gilles Dowek
Book excerpt: Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.
