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
Hardcover
ISBN 10: 0521118018 ISBN 13: 9780521118019
Verlag: Cambridge University Press, 2015

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.

Verlag
Cambridge University Press
Erscheinungsdatum
2015
Sprache
Englisch
ISBN 10 
0521118018
ISBN 13 
9780521118019
Einband
Gebundene Ausgabe
Anzahl der Seiten
160
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

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