Download or read book Computation, Proof, Machine 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. 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.