Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

by Gilles Dowek (Author), Gilles Dowek (Author), Pierre Guillot (Translator), Marion Roman (Translator)

Synopsis

To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.

$103.91

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 158
Publisher: Cambridge University Press
Published: 05 May 2015

ISBN 10: 0521118018
ISBN 13: 9780521118019