Top News, Articles, and Interviews in Philosophy

Proof Theory

Philosophy News image
[New Entry by Michael Rathjen and Wilfried Sieg on August 13, 2018.] Proof theory is not an esoteric technical subject that was invented to support a formalist doctrine in the philosophy of mathematics; rather, it has been developed as an attempt to analyze aspects of mathematical experience and to isolate, possibly overcome, methodological problems in the foundations of mathematics. The origins of those problems, forcefully and sometimes contentiously formulated in the 1920s, are traceable to the transformation of mathematics in the nineteenth century: the emergence of abstract mathematics, its reliance on set...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus