@algekalipso @drmichaellevin one thing that feels missing at the moment is something like an isomorphism of the Curry-Howard correspondence for translating between physical fields and logical…

Posters: slimepriestess. slimepriestess

4 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/slimepriestess/status/1735910034020941866