Intuitionism/constructivism has gained much momentum in recent years. It is the foundation for Hawking’s model-dependent realism [1]; or more radically Dummett

Intuitionism/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