Posted by: Alexandre Borovik | April 10, 2010

Fred Richman’s “Confessions of a formalist, Platonist intuitionist”

Started to read Fred Richman’s “Confessions of a formalist, Platonist intuitionist“,  and stopped at the very first line:

All algebraists are formalists—it comes with the territory.

No, they are not. Or , in any case, not all of them.



  1. He seems to mean it light-heartedly. A little later he writes,

    We are all Platonists, aren’t we? In the trenches, I mean—when the chips are down. Yes, Virginia, there really are circles, triangles, numbers, continuous functions, and all the rest. Well, maybe not free ultrafilters. Is it important to believe in the existence of free ultrafilters? Surely that’s not required of a Platonist. I can more easily imagine it as a test of sanity: “He believes in free ultrafilters, but he seems harmless.”

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s


%d bloggers like this: