2 ms·

Something something dimensional analysis is just a typechecker

• marcosdumay 4y ago
  It's a form of type algebra. You can use it to check stuff, but you can use it to calculate stuff too. (Just like types in programming languages.)
• HPsquared 4y ago
  It turns out the universe is strongly typed.