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

Metascience 26 (1):131-135 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.
Reprint years
2017
ISBN(s)
PhilPapers/Archive ID
ARATCP
Upload history
First archival date: 2018-05-30
Latest version: 2 (2019-09-19)
View other versions
Added to PP index
2016-12-20

Total views
51 ( #44,348 of 52,923 )

Recent downloads (6 months)
8 ( #46,066 of 52,923 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.