Hacker News new | ask | show | jobs
by antognini 865 days ago
Terence Tao wrote a nice blog post about this: https://terrytao.wordpress.com/2012/12/29/a-mathematical-for...
1 comments

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)