I just want to add on to the article a bit. I'm a mathematical realist. I call myself a Platonist. I've done some analytics philosophy, number theory, and mo

I just want to add on to the article a bit. I'm a mathematical realist. I call myself a Platonist. I've done some analytics philosophy, number theory, and model theory, but I'm not a mathematician. The history of math is tied with the history of Platonism. The article mentions it going back to Plato, but I think Plato was influenced by Pythagoras in terms of Math. Skipping a lot of history, we know that Hilbert posed his problems. Then mathematicians decided they wanted to "reduce math down to logic." The names Frege, Russell, Whitehead, Godel, Church, and Turing should ring a bell. Until WW2 logical positivism was a thing. Talking about "math" in terms of symbols, or what we use as humans kind of misses the point. Sure historical Platonism focused more on the theory of forms, Justice, Beauty, Art, and all that. But it's more so about "logic" or rather "systems." The question is about how this system comes into our reality. A Realist would say something like "systems can't be self describing (in the natural world)." I'm not entirely happy with that statement, but I think it's a starting point. If one wants a quick fun introduction to Mathematical Realism and logic, I really enjoyed "Logicomix." Or spend some time on `plato.stanford.edu`[0]. I can't recall the paper but Russell poses Platonism pretty well. I read [1] Abraham Robinson for a presentation on this topic in a Model Theory seminar. This is a large topic, with a large history, and it's important enough that we keep talking about it. I realize that many don't care, but personally I find it interesting and math is more fun with it. [0] https://plato.stanford.edu/entries/platonism-mathematics/ https://plato.stanford.edu/entries/platonism-mathematics/ [1] https://en.wikipedia.org/wiki/Abraham_Robinson https://en.wikipedia.org/wiki/Abraham_Robinson