Computation, Proof, Machine: Mathematics Enters a New Age - Hardcover

Gilles Dowek , Translated By Pierre Guillot , Marion Roman

 
9780521118019: Computation, Proof, Machine: Mathematics Enters a New Age

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Gilles Dowek is a mathematician, logician and computer scientist, and currently a researcher at the French Institute for Research in Computer Science and Automation (INRIA). He is a member of the scientific board of the Société informatique de France and of CERNA. He is also a consultant with the National Institute of Aerospace, a NASA-affiliated laboratory. He is the recipient of the French Mathematical Society's Grand Prix d'Alembert des Lycéens for his popular science work.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780521133777: Computation, Proof, Machine: Mathematics Enters a New Age

Vorgestellte Ausgabe

ISBN 10:  0521133777 ISBN 13:  9780521133777
Verlag: Cambridge University Press, 2015
Softcover