Florin,
Yes, I read your essay and wonder about your references 3-6 to a bit too Platonic ideas. Let me refer to an undergraduate text by Anglin who compares in detail Platonists like Goedel with Formalists like Hilbert and intuitionists like Brouwer. You repeatedly mentioned "the Platonic world of abstract mathematics".
I found an utterance by von Neumann:
"As a mathematical discipline travels far from its empirical source, or still more, if it is a second or third generation only indirectly inspired by ideas coming from 'reality,' it is beset with very grave dangers. It becomes more and more purely aestheticizing , more and more purely l'art pour le'art. ... In other words, at a great distance from its empirical source, or after much 'abstract' inbreeding, a mathematical subject is in danger of degeneration." [The Mathematician, in R.B. Heywood, ed. The Works of the Mind, Univ. of Chicago Press. References to Collected Works, Vol.I: Logic, theory of sets, and quantum mechanics, ed. A. H. Taub, Oxford, Pergamon.]
Do you know Weyl's diagram?
Weyl Russell Zermelo
Brouwer Hilbert
More constructive tendencies are located to the left, more axiomatic ones to the right, more evident and deeper founded on the bottom, more customary on top.
more
Eckard