, Volume 26, Issue 1, pp 131–135 | Cite as

The changing practices of proof in mathematics

Gilles Dowek: Computation, proof, machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du calcul, Paris: Le Pommier, 2007. Translation from the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB
Book Review


  1. Arana, A. 2016. On the alleged simplicity of impure proof. In Simplicity: Ideals of Practice in Mathematics and the Arts, ed. R. Kossak, and P. Ording. Berlin: Springer.Google Scholar
  2. Detlefsen, M., and A. Arana. 2011. Purity of methods. Philosophers’ Imprint 11: 2.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2016

Authors and Affiliations

  1. 1.Department of Philosophy, Institute for History and Philosophy of Science and Technology (IHPST)University of Paris 1 Panthéon-SorbonneParisFrance

Personalised recommendations