Is set theory indispensable?

Details Is set theory indispensable? Is set theory indispensable?

2009-05-11

arxiv.org/abs/0905.1680v1

Mathematics

History and Overview

21 pages

Scientific paper

Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theorists have known for decades that virtually all mainstream mathematics can actually be formalized in much weaker systems which are essentially number-theoretic in nature. Feferman has observed that this severely undercuts a famous argument of Quine and Putnam according to which set theoretic platonism is validated by the fact that mathematics is "indispensable" for some successful scientific theories (since in fact ZFC is not needed for the mathematics that is currently used in science). I extend this critique in three ways: (1) not only is it possible to formalize core mathematics in these weaker systems, they are in important ways better suited to the task than ZFC; (2) an improved analysis of the proof-theoretic strength of predicative theories shows that most if not all of the already rare examples of mainstream theorems whose proofs are currently thought to require metaphysically substantial set-theoretic principles actually do not; and (3) set theory itself, as it is actually practiced, is best understood in formalist, not platonic, terms, so that in a real sense *set theory is not even indispensable for set theory*. I also make the point that even if ZFC is consistent, there are good reasons to suspect that some number-theoretic assertions provable in ZFC may be false. This suggests that set theory should not be considered central to mathematics.

Affiliated with

Also associated with

No associations

Rating

Is set theory indispensable? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Is set theory indispensable?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Is set theory indispensable? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-701955