Review of D. Mac Kenzie, Mechanizing Proof: Computing, Risk, and Trust

&
Philosophia Mathematica 13 (3):319-325 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nki036

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Jody Azzouni. Tracking Reason: Proof, Consequence and Truth: Critical Studies/Book Reviews.Conrad Asmus - 2009 - Philosophia Mathematica 17 (3):369-377.
Road Work Ahead: Heavy Machinery on the Easy Road.M. Colyvan - 2012 - Mind 121 (484):1031-1046.
Otávio Bueno* and Steven French.**Applying Mathematics: Immersion, Inference, Interpretation. [REVIEW]Anthony F. Peressini - 2020 - Philosophia Mathematica 28 (1):116-127.
Tracking reason: Proof, consequence, and truth - by Jody Azzouni.David Liggins - 2008 - Philosophical Books 49 (2):156-157.
Ontological Independence as the Mark of the Real. Jody Azzouni. Deflating Existential Consequence: A Case for Nominalism. New York: Oxford University Press, 2004. Pp. viii + 241. ISBN 0-19-515988-8. [REVIEW]Mark Colyvan - 2005 - Philosophia Mathematica 13 (2):216-225.
Existence, Mathematical Nominalism, and Meta-Ontology: An Objection to Azzouni on Criteria for Existence.Farbod Akhlaghi-Ghaffarokh - 2018 - Philosophia Mathematica 26 (2):251-265.
Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth. [REVIEW]Gila Sher - 2009 - Notre Dame Journal of Formal Logic 50 (1):97-117.
Review of J. Azzouni, Metaphysical Myths, Mathematical Practice: The Ontology and Epistemology of the Exact Sciences. [REVIEW]Michael D. Resnik - 1995 - Philosophia Mathematica 3 (3).
Ontology Without Borders by Jody Azzouni. [REVIEW]Michael Gorman - 2019 - Review of Metaphysics 72 (4):785-786.
Jody Azzouni, Metaphysical Myths, Mathematical Practice. [REVIEW]Louis Marinoff - 1995 - Philosophy in Review 15:156-158.

Analytics

Added to PP
2009-01-28

Downloads
37 (#444,365)

6 months
4 (#863,447)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Otávio Bueno
University of Miami
Jody Azzouni
Tufts University

Citations of this work

Styles of reasoning: A pluralist view.Otávio Bueno - 2012 - Studies in History and Philosophy of Science Part A 43 (4):657-665.

Add more citations

References found in this work

No references found.

Add more references