Showing posts with label Plato. Show all posts
Showing posts with label Plato. Show all posts

Tuesday, July 22, 2014

The Continuum Hypothesis and Mathematical Platonism

Does the fact that an apparently straightforward mathematical proposition can be neither proved nor disproved show something deep about the nature of mathematics?

To be a little superficial, the Platonist position in philosophy of mathematics is that the number 17, and all of its friends and relations down to distant cousins, exist quite independently of us. Mathematical truth is discovered in something closely analogous to the way rare jungle fauna are discovered by exploring zoologists. The truths of mathematics are not invented, stipulated, or constructed, not directly, not indirectly, not even very indirectly.