Computation is revolutionizing our world, even the inner world of the “pure” mathematician. Mathematical methods – especially the notion of proof – that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms – all have played an important role in mathematical progress from the beginning – but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible. This book is the 2007 Winner of the Grand Prix de Philosophie de l'Acad�mie Fran�aise.

About the Authors

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.

"About this title" may belong to another edition of this title.

Store Description

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Visit Seller's Storefront

Seller's business information

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Sale & Shipping Terms

Terms of Sale

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

If you are a consumer you can cancel the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

INFORMATION REGARDING THE RIGHT OF CANCELLATION

Statutory Right to cancel

You have the right to cancel this contract within 14 days without giving any reason.

The cancellation period will expire af...

More Information

Shipping Terms

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.