Computation, Proof, Machine

Discover the intriguing world of computation with Computation, Proof, Machine by Gilles Dowek, published by Cambridge University Press in 2015. This compelling hardback edition spans 158 pages and delves deep into the vital role that computation, calculation, and algorithms have played in the evolution of mathematics. Despite their significance, these elements have often been overshadowed in traditional mathematical literature. Dowek expertly uncovers the hidden history of these foundational concepts, providing readers with a richer understanding of how they shape the future of mathematics. Perfect for enthusiasts of ancient mathematics and the history of mathematical thought, this book is a must-have for anyone looking to explore the intricate connections between computation and mathematical progress. Enhance your library with this essential read today!