Computation, proof, machine : mathematics enters a new age /
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 pr...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English French |
| Published: |
Cambridge :
Cambridge University Press,
2015.
|
| Edition: | First English edition. |
| Subjects: | |
| Online Access: | CONNECT |
