Philosophy Compass 5 (4):336-347 (2010)
|Abstract||A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
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.
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Andrew Wohlgemuth (1990/2011). Introduction to Proof in Abstract Mathematics. Dover Publications.
James Franklin (1996). Proof in Mathematics. Quakers Hill Press.
P. R. Baxandall (ed.) (1978). Proof in Mathematics ("If", "Then" and "Perhaps"): A Collection of Material Illustrating the Nature and Variety of the Idea of Proof in Mathematics. University of Keele, Institute of Education.
Added to index2010-04-09
Total downloads93 ( #9,033 of 722,745 )
Recent downloads (6 months)2 ( #36,438 of 722,745 )
How can I increase my downloads?