Reflecting on Friedman's Dynamics of Reason, perhaps we should see as linked
The analytic tradition failing to grasp properly mathematics, and its relation to physics, deterring people from conducting the most appropriate Friedmanian meta-scientific work. Deterring philosophers, at least. What stopped people realising that mathematics concerns ideas of space, symmetry, quantity, extension, classification, etc.? Between logic and physics
Its failure to take category theory seriously as a radical change of point of view. This is partly due to the idea that if something can be rewritten in an existing language, e.g., set theory, then it’s not new. Of late we see many ways in which higher category theory is revealing itself as a revolution.
The failure to see the proper value of type theory. What to attribute this to? Satisfaction with untyped logic, perhaps due to its role in ZFC?
Friedman telling a slightly ‘thin’ story of the mathematics involved, not seeing maths as multi-layered, involving a similar overturning of principles to physics. This lets us see category theory and then higher category theory as revolution. Instead, Dynamics of Reason points to things like quantum logic as revolution. (Note Coecke’s The logic of quantum mechanics - Take II, perhaps the very idea of symmetric monoidal categories is revolution enough.)
Maths and physics failing to talk (1930s-1970s). “I am acutely aware of the fact that the marriage between mathematics and physics, which was so enormously fruitful in past centuries, has recently ended in divorce”, Freeman Dyson, Missed Opportunities, 1972. Joint work since then Donaldson, Floer, some often category theoretic, mirror symmetry, string duality,KK-cascades (Kontsevich, Witten, Atiyah, etc.)
The idea of gruppenpest. (Continues with the $n$-gruppenpest.)
Quantum mechanics not being philosophically grounded by meta-scientific work. But Heisenberg 1958.
Weyl and von Neumann changing their minds on mathematical foundations
Ernst Cassirer and Albert Lautman being ignored.
Last revised on December 19, 2019 at 10:42:40. See the history of this page for a list of all contributions to it.