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)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2016

DOI

10.1007/s11016-016-0150-1

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Gilles Dowek, Les métamorphoses du calcul. Une étonnante histoire de mathématiques, Paris, Le Pommier, 2007, 228 p., 22 E. [REVIEW]Jean-Marc Gabaude - 2008 - Revue Philosophique de la France Et de l'Etranger 133 (3):355-384.
Calling algorithms by their name (and engineers and philosophers’ novel teamwork): Serge Abiteboul and Gilles Dowek: The age of algorithms, translated by K-Rae Nelson. Cambridge: Cambridge University Press, 2020, 166 pp, £ 14.99 PB. [REVIEW]Simona Chiodo - 2020 - Metascience 29 (3):473-476.
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.Moritz Müller - 2023 - Bulletin of Symbolic Logic 29 (2):296-297.
Reviel Netz. Ludic Proof: Greek Mathematics and the Alexandrian Aesthetic. xv + 255 pp., figs., bibl., index. Cambridge/New York: Cambridge University Press, 2009. £59. [REVIEW]Michael N. Fried - 2011 - Isis 102 (4):753-754.
J.D. Uzzi, J. Thomson The Poems of Catullus. An Annotated Translation. Pp. viii + 224. Cambridge: Cambridge University Press, 2015. Cased, £39.99, US$69.99. ISBN: 978-1-107-02855-5.Maxine Lewis - 2016 - The Classical Review 66 (2):596-597.
Mathematics and poetry in hellenistic alexandria - R. Netz ludic proof. Greek mathematics and the alexandrian aesthetic. Pp. XVI + 255, figs. Cambridge: Cambridge university press, 2009. Cased, £62, us$107. Isbn: 978-0-521-89894-2. [REVIEW]Markus Asper - 2013 - The Classical Review 63 (1):75-77.
Le casse-tête de la citoyenneté par droit de naissance.Ayelet Shachar - 2012 - Les Ateliers de L’Ethique 7 (2):89-116.
M. M. Austin: The Hellenistic World from Alexander to the Roman Conquest: a selection of ancient sources in translation. Pp. xvii + 488; 5 maps. Cambridge University Press, 1981. £30. [REVIEW]John Briscoe - 1982 - The Classical Review 32 (2):288-288.
PTOLEMY, HARMONICS- A. Barker Porphyry's Commentary on Ptolemy's Harmonics. A Greek Text and Annotated Translation. Pp. viii + 581, figs. Cambridge: Cambridge University Press, 2015. Cased, £100, US$160. ISBN: 978-1-107-00385-9. [REVIEW]Cristian Tolsa - 2016 - The Classical Review 66 (2):392-394.
What Logics Mean: From Proof Theory to Model-Theoretic Semantics, by James W. Garson: Cambridge: Cambridge University Press, 2013, pp. xv + 285, £10.99.Jaroslav Peregrin - 2015 - Australasian Journal of Philosophy 93 (3):613-616.

Analytics

Added to PP
2016-12-20

Downloads
704 (#82,561)

6 months
139 (#96,679)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Andrew Arana
Andrew Arana
Université de Lorraine

Citations of this work

No citations found.

Add more citations

References found in this work

Purity of Methods.Michael Detlefsen & Andrew Arana - 2011 - Philosophers' Imprint 11.

Add more references