Proof Theory in Philosophy of Mathematics

Andrew Arana
2010 Philosophy Compass  
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.
doi:10.1111/j.1747-9991.2010.00282.x fatcat:ioi4iu6k4bcfrgg4l36qf3fsum