"Gödel made it harder not to be a Platonist. He proved that there are true but unprovable propositions of arithmetic. That sounds at least close to Platonism. That sounds close to the claim that arithmetical truths are independent of any human activity".

>Gödel made it harder not to be a Platonist. He proved that there are true but unprovable propositions of arithmetic.

Mathematicians and physicists are just as guided by principles of elegance and beauty as novelists and musicians are.