Insightful article - new for me that Gödels incompleteness theorem actually makes a point for a mathematical reality outside of human environment since it shows that there are true statements, which cannot formally proved.
Also interesting that therefore the effect his finding had is kind of contrary to what he wanted to achieve.
"Gödel was a mathematical realist, Platonist. ... Platonism isn't a mathematical theorem at all. Of course, Gödel made it harder not to be a Platonist."
The article is available online at Edge 162.