It looks like a physicist is re-inventing the axiomatic method, with possible/impossible as a dichotomy, instead of true/false.
That's programming language work for physical theory, not physics.
That's programming language work for physical theory, not physics.
Well, that would be insanely valuable since it would open up theoretical physics to machine-approaches (AI/ML). I know many are disgusted by this, but I'd love to see a PhysicalTheory-fold equivalent of Alpha-fold chew throw all modern theoretical physics and rank all theories on a possiblity-probability score or sh like that, since the amount of stuff a human would have to go through is already too much...
Actually, I don't see what's preventing Deutsch from formalizing his work in an allready existing proof assistant, like Lean or Coq.