Computation, Proof, Machine : Mathematics Enters a New Age

by Gilles Dowek

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...

• Format: Unknown Binding
• Language: English
• ISBN: B01EQ5NI3U
• ISBN13: 9780521133777
• Release Date: May 2015
• Publisher: Cambridge University Press
• Length: 160 Pages
• Weight: 0.44 lbs.
• Dimensions: 0.3" x 5.5" x 8.5"