Book Cover

Computation, Proof, Machine

Contributor(s): Dowek, Gilles (Author), Guillot, Pierre (Translator), Roman, Marion (Translator)

ISBN: 9780521133777

Publisher: Cambridge University Press

Binding Types:

$63.00
$75.95 (Final Price)
$74.75 (100+ copies: $74.00)
List/retail price:
$63.00
- +
Buy

Pub Date: May 5, 2015

Dewey: 510.9

LCCN: 2015004116

Lexile Code: 0000

Features: Bibliography, Index, Price on Product

Target Age Group: NA to NA

Physical Info: 0.90" H x 8.40" L x 5.50" W ( 0.40 lbs) 160 pages

BISAC Categories:

Mathematics | History and Philosophy

Descriptions, Reviews, etc.

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

Brief description: 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.

Review Quotes: 'Dowek's book is a superb overview of the transformation of mathematics toward becoming a computational science. It is historically rich, philosophically inquisitive and mathematically rigorous.' Andrew Arana, Metascience

Worth Considering
Product successfully added to cart!