Re:Philosophy as a public service
by ukj on Thursday January 02, 2020 @02:18PM
(#21938684)
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.
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
2. https://en.wikipedia.org/wiki/Anti-realism