Computation, proof, machine
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 …
Not available to read online
This scan is restricted to patrons with print disabilities and can't be borrowed with a regular free account — signing up won't unlock it. Try Toronto Public Library, Libby, or Amazon above instead.
