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

Dowek, Gilles

 
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 Autorinnen und Autoren

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.

Pierre Guillot is a lecturer in Mathematics at the University of Strasbourg's Institute of Advanced Mathematical Research (IRMA).

Marion Roman is a France-based translator.

„Ü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
Tapa dura
Anzahl der Seiten
162
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

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