News for hackers. Stuff that matters.

A comment on Platonism in the Philosophy of Mathematics (2018). Parent comment

Re:Platonism in the Philosophy of Mathematics (2018) by threatofrain on Wednesday October 20, 2021 @05:26PM (#28936883)
It would be odd if we made deep advances in understanding math at an explanatory level without having some kind of translation to how people do math.
[ Parent | on HN ]
Re:Platonism in the Philosophy of Mathematics (2018) by quus on Wednesday October 20, 2021 @08:49PM (#28938874)
Maybe, but it doesn’t seem like a requirement. Like having an understanding of jazz at the level of music theory vs being a jazz musician.
[ Parent | on HN ]
Re:Platonism in the Philosophy of Mathematics (2018) by threatofrain on Thursday October 21, 2021 @02:40PM (#28949113)
It's also difficult for me to believe that deep advances in music understanding would fail to translate to actual music.
[ Parent | on HN ]