Confessions of an Apostate Mathematician [pdf]
web.math.princeton.edu
web.math.princeton.edu
I am not a Platonist, nor a formalist, nor an intuitionist, but there is a completely coherent interpretation of mathematics, entirely fleshed out in my mind, which is none of these. I could summarize it here, but I’ve grown rather tired of broadcasting my ideas pseudonymously in random comment threads only to see them published a year or so later with no attribution (and why not; why cite a random commenter?). Whether you believe me or not when I say that there is another way, the nihilism in this essay can clearly be rejected as an abortive train of thought.
I am sure there is a lesson in there somewhere ;)
Biased hint: distributed consensus.
All Mathematicians are human, not all humans are Mathematicians.
Humans look for (and find) meaning wherever they can.
So it kind of begs the question: What does Mathematics mean to a Computer Scientist?
Least we forget that Ed Nelson was a strong proponent of Ultrafinitism ( https://en.wikipedia.org/wiki/Ultrafinitism )