Computation, Proof, Machine Mathematics Enters a New Age |
|
Author:
| Dowek, Gilles |
Translator:
| Guillot, Pierre Roman, Marion |
ISBN: | 978-1-316-38272-1 |
Publication Date: | Apr 2015 |
Publisher: | Cambridge University Press
|
Book Format: | Ebook |
List Price: | Contact Supplier contact
|
Book Description:
|
To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.
To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.