3 ms·
With some exceptions. Mathematical Platonism is still taken quite seriously, though it's evolved a bit since the Meno.
by mod50ack 7y ago
With some exceptions. Mathematical Platonism is still taken quite seriously, though it's evolved a bit since the Meno.
- fatbird 7y agoInteresting. How's Intuitionism doing?
- ukj 7y agoIntuitionism/constructivism has gained much momentum in recent years. It is the foundation for Hawking’s model-dependent realism [1]; or more radically Dummett’s anti-realism [2]. Speaking purely about Mathematics - there have been great strides in constructive mathematics in the last 3-4 decades, and great overlaps with computer science (Curry-Howard-Lambek correspondence). A formalist might even say that the fields of logic, mathematics and computer science are identical. 1. https://en.wikipedia.org/wiki/Model-dependent_realism https://en.wikipedia.org/wiki/Model-dependent_realism 2. https://en.wikipedia.org/wiki/Anti-realism https://en.wikipedia.org/wiki/Anti-realism