Computation, Proof, Machine
Mathematics Enters a New Age - ebook (ePub)
Gilles Dowek (Auteur), Pierre Guillot (Traduction), Marion Roman (Traduction)
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...
Lire la suite
-
Format
ebook (ePub)
-
Editeur
Cambridge University Press
-
Parution
10/11/2015