Discussion about this post

User's avatar
Trevor Petch's avatar

I think the efficient market hypothesis is also to be viewed as a pathogen, a sort of financial Creuzfeld-Jacob Syndrome

Philip Koop's avatar

"misunderstood theory is often more influential than correctly understood theory"

Most mathematicians would describe themselves as "Platonists". By this, they don't mean a form of Platonism that would be recognized by Plato - you can't settle a question in the philosophy of mathematics by appeal to authority - but just mathematical Realism: mathematical concepts and structures are discovered, not invented. They have 1st-order existence in some temporally unbounded abstract plane.

What about mathematical structures that are mutually exclusive? Joel David Hamkins points out that this is uncontroversial when it comes to geometry; few mathematicians would deny that both Euclid's and Riemann's geometries are valid mathematical structures, even though they make contradictory assumptions. So if you are committed to mathematical Platonism, you are committed to the idea that these incompatible structures live amicably together in the abstract plane.

But when it comes to set theory, things get more controversial. There is a thicket of set theoretic axioms you can accept or reject with far-reaching consequences (e.g. axiom of choice, continuum hypothesis, various large cardinal axioms, etc.) Hamkins thinks that this is no different in principle from geometry and that you ought to accept the Reality of all consistent set theories. He calls this "plenitudinous Platonism".

That seems reasonable enough to me, but many set theorists do not agree; the reason is that they think that mathematical concepts can be "true" in an absolute sense outside the relative truth ("soundness") of formal axiomatic systems. They seek the One True Set Theory, and therefore deny the reality of the pretenders. (One of these set theorists is Hamkins' thesis advisor Hugh Woodin, so, you know, some tension there.)

But I think that on the contrary, Hamkins doesn't go far enough. I see no reason why only true or sound mathematical concepts should be Real (and I foresee an endless forest of difficulties if this view were taken seriously, as various "eternal" concepts wink in and out of existence every time we change our minds.) Every erroneous and contradictory concept, every dumb mistake, ought to have the same ontological status as the true, sound, smart ones. And I think that by a sort of Anna Karenina principle, the abstract mathematical plane ought to be overwhelmingly populated by these mistakes.

10 more comments...

No posts

Ready for more?