David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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..
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Sachio Hirokawa, Yuichi Komori & Misao Nagayama (2000). A Lambda Proof of the P-W Theorem. Journal of Symbolic Logic 65 (4):1841-1849.
R. B. J. T. Allenby (1997). Numbers and Proofs. Copublished in North, South, and Central America by John Wiley & Sons Inc..
Solomon Feferman (1993). What Rests on What? The Proof-Theoretic Analysis of Mathematics. In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. 1--147.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
Michèle Friend (2010). Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Studia Logica 96 (2):273-288.
Added to index2009-02-09
Total downloads11 ( #146,995 of 1,168,031 )
Recent downloads (6 months)1 ( #140,420 of 1,168,031 )
How can I increase my downloads?