3 ms·
Why does no one ever formalise units - what are units? A ring group R[G] over some symbols {L,T,..}? It would it would make sense to have an identity. The fact
by foxes 5y ago
Why does no one ever formalise units - what are units? A ring group R[G] over some symbols {L,T,..}? It would it would make sense to have an identity. The fact when we do physics its over R^n[G] or C^n[G] never really seems to be important though.
- feoren 5y agoYou might be interested in https://terrytao.wordpress.com/2012/12/29/a-mathematical-formalisation-of-dimensional-analysis/ https://terrytao.wordpress.com/2012/12/29/a-mathematical-for...
- foxes 5y agoYeah I mean it could help for essentially type checking your work. I feel it’s common in physics to set a lot of units to “1” which is just like a morphism to the underlying field, and then later you put units back in. Obviously you can do calculus/algebraic geometry etc over more interesting objects than just a field, that seems to be the essence Tao post. I am not entirely sold on torsor perhaps.