Computation, Proof, Machine : Mathematics Enters A New Age

Dowek, Gilles

ISBN 10: 0521118018 / ISBN 13: 9780521118019

Editore: Cambridge University Press, 2015

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-178582

Riassunto:

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

Informazioni sugli autori: 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.

Dati bibliografici

Titolo: Computation, Proof, Machine : Mathematics ...
Casa editrice: Cambridge University Press
Data di pubblicazione: 2015
Legatura: Rilegato
Condizione: New