vy · @vy
96 followers · 1302 posts · Server sciencemastodon.comCan't we get a CS type theory that is more like Dimensional Analysis and less like formal logic?
#typetheory
#computerscience
#dimensionalAnalysis
#mathematics
@regehr
#typetheory #computerscience #dimensionalanalysis #mathematics
Mark Dunk · @unklar
417 followers · 1859 posts · Server mastodon.educationxkcd: Radians are Cursed https://xkcd.com/2748/ #xkcd #radians #math #dimensionalanalysis
#xkcd #radians #math #dimensionalanalysis
Eduardo Mora · @eddmora
6 followers · 1538 posts · Server mastodon.socialThe Buckingham pi theorem is a powerful tool used to reduce the number of independent variables in different problems using dimensional analysis. It makes complex problems simpler & helps us understand the fundamental relationships. #DimensionalAnalysis
#Engineering
#dimensionalanalysis #engineering