Interesting recent paper: “Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics”, Wiedijk; he formalizes a number of systems in Automath.
This makes sense for mathematical systems. I wonder if is possible to do something like this for a mathematical model of a physical phenomenon.
Interesting recent paper: “Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics”, Wiedijk; he formalizes a number of systems in Automath.
This makes sense for mathematical systems. I wonder if is possible to do something like this for a mathematical model of a physical phenomenon.