Proof Theory in Philosophy of Mathematics

  1. Andrew Arana†

Article first published online: 7 APR 2010

DOI: 10.1111/j.1747-9991.2010.00282.x

Issue

Philosophy Compass

Philosophy Compass

Volume 5, Issue 4, pages 336–347, April 2010

Additional Information

How to Cite

Arana, A. (2010), Proof Theory in Philosophy of Mathematics. Philosophy Compass, 5: 336–347. doi: 10.1111/j.1747-9991.2010.00282.x

Author Information

  1. Kansas State University, Department of Philosophy

Publication History

  1. Issue published online: 7 APR 2010
  2. Article first published online: 7 APR 2010

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

View Full Article (HTML) Get PDF (116K)

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.

View Full Article (HTML) Get PDF (116K)