I think we mostly agree on the empirical issues -- mathematicians usually don't care about the philosophical issues, and espouse naive Platonism which they have

I think we mostly agree on the empirical issues -- mathematicians usually don't care about the philosophical issues, and espouse naive Platonism which they haven't thought through. However, I don't think it's right to say that they're formalist just because they wouldn't agree, upon reflection, with Platonism's conclusions. I (like a lot of computer scientists) am a formalist, but it's not fair to say that other people secretly agree with me because I think Platonism has major flaws.