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

Related documents

• Seeing Through the Fumes: Technology and Asymmetry in the Anthropocene#779108
• Towards an Ontology of Problems#779109
• The Diagram of the Supreme Pole and the Kabbalistic Tree#779110
• The Geology of Norway#779111
• The Ideal of a Zero-Waste Humanity: Philosophical Reflections on the Demand for a Bio-Based Economy#779112