Can I read Computation, Proof, Machine : Mathematics Enters a New Age on EtoBox?

Computation, Proof, Machine : Mathematics Enters a New Age by Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) is a computer science book available to read on EtoBox.

What is Computation, Proof, Machine : Mathematics Enters a New Age about?

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 b

Who reads Computation, Proof, Machine : Mathematics Enters a New Age?

Author

Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA)

Publisher

Cambridge University Press (Virtual Publishing)

Published

2015

Language

EN

ISBN

9780521133777

Category

computer science

Subjects

Mathematics, History, Computer Science

Updated

2026-03-25