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

Dowek, Gilles

 
9780521133777: Computation, Proof, Machine: Mathematics Enters a New Age
Softcover
ISBN 10: 0521133777 ISBN 13: 9780521133777
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 
0521133777
ISBN 13 
9780521133777
Einband
Taschenbuch
Anzahl der Seiten
160
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Deutschland