Computation, Proof, Machine

Computation, Proof, Machine

Mathematics Enters A New Age

Book - 2015
Rate this:
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'Acadmie Franaise.
Publisher: New York, NY :, Cambridge University Press,, 2015
Edition: First English edition
ISBN: 9780521133777
Call Number: 510.9 D753c
Characteristics: viii, 152 pages : illustrations ; 22 cm
Additional Contributors: Roman, Marion
Guillot, Pierre 1978-
Alternative Title: Mathematics enters a new age


From the critics

Community Activity


Add a Comment

Feb 14, 2016

This short book summarizes the history of mathematics starting with the Babylonians and proceeding to the current decade, up to computer generated proofs. The coverage is necessarily brief and selective. The subject is too arcane for the general public so it is only suitable for a mathematically sophisticated reader, and even then only a superficial understanding is possible. Nonetheless, an interesting review of a timeless and fundamental subject.


Add Age Suitability

There are no ages for this title yet.


Add a Summary

There are no summaries for this title yet.


Add Notices

There are no notices for this title yet.


Add a Quote

There are no quotes for this title yet.

Explore Further

Browse by Call Number


Subject Headings


Find it at SFPL

To Top