never make their way further into the bright and broad reality beyond the Cave. No
wonder that he inscribed that warning to the ageometretos above the entrance to his
Academy.
Mathematics, then, plays a special role in Plato’s epistemological myth.
Interestingly enough, to the extent that a Platonic metaphysics—a commitment to the real
existence of abstract entities—still survives in contemporary thinking it is almost
exclusively restricted to mathematical Platonism, the view to which many
mathematicians appear to subscribe. For example. G.H. Hardy, in A Mathematician’s
Apology, unapologetically confesses his core Platonism:
I believe that mathematical reality lies outside of us, that our function is to
discover or observe it, and that the theorems which we prove, and which we
describe grandiloquently as our “creations,” are simply our notes of our
observations. This view has been held, in one form or another, by many
philosophers of high reputation from Plato onwards, and I shall use the language
which is natural to a man who holds it . . .
This realistic view is much more plausible of mathematical than of physical
reality, because mathematical objects are so much more what they seem. A chair
or a star is not in the least what it seems to be; the more we think of it, the fuzzier
its outlines become in the haze of sensation which surrounds it; but “2” or “317”
has nothing to do with sensation, and its properties stand out the more closely we
scrutinize it. It may be that modern physics fits best into some framework of
idealistic philosopher—I do not believe it, but there are eminent physicists who
say so. Pure mathematics, on the other hand, seems to me a rock on which all
idealism founders. 317 is a prime, not because we think so, or because our minds
are shaped in one way or another, but because it is so. Because mathematical
reality is built that way.
In any case, whether or not mathematicians are disposed to think well of
Platonism, Plato was certainly disposed to think well of mathematics. Mathematics
presents us with the model of objective reason, of thought processes that have been
purified of all the smoky soot of subjectivity, of how things merely appear to us, these