[antognini]

Terence Tao wrote a nice blog post about this: https://terrytao.wordpress.com/2012/12/29/a-mathematical-for...

[dang]

A couple of past discussions:

A mathematical formalization of dimensional analysis (2012) - https://news.ycombinator.com/item?id=37517118 - Sept 2023 (54 comments)

A mathematical formalisation of dimensional analysis - https://news.ycombinator.com/item?id=5018357 - Jan 2013 (19 comments)