Dan Piponi on Nostr: Right, but physicists never say these things explicitly, and I like the idea of a ...

Right, but physicists never say these things explicitly, and I like the idea of a notation that looks as sloppy as a physicist's, and yet which turns out to be completely rigorous. For example I think you could turn many physicist style arguments into ones rigorous enough for Lean with some creative elaboration and without having to build the kinds of entities mathematicians like to build.