Graduate studies at Western
|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..|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
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.
Carlo Cellucci (2008). Why Proof? What is a Proof? In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer.
Michèle Friend (2010). Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Studia Logica 96 (2):273-288.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
R. B. J. T. Allenby (1997). Numbers and Proofs. Copublished in North, South, and Central America by John Wiley & Sons Inc..
Added to index2009-02-09
Total downloads18 ( #74,621 of 739,392 )
Recent downloads (6 months)1 ( #61,680 of 739,392 )
How can I increase my downloads?