Critical studies/book reviews 319

Abstract

Ask a philosopher what a proof is, and you’re likely to get an answer hii empaszng one or another regimentationl of that notion in terms of a finite sequence of formalized statements, each of which is either an axiom or is derived from an axiom by certain inference rules. (Wecan call this the formal conception of proof) Ask a mathematician what a proof is, and you will rbbl poay get a different-looking answer. Instead of stressing a partic- l uar regimented notion of proof, the answer the mathematician will give ilikl..

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
.[author unknown] - unknown
Numbers and proofs.Reg Allenby - 1997 - New York: Copublished in North, South, and Central America by John Wiley & Sons.

Analytics

Added to PP
2009-02-09

Downloads
923 (#13,689)

6 months
1 (#1,028,709)

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references