Proof Theory in Philosophy of Mathematics
Andrew Arana · Philosophy Compass · 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.