[ur-whale]

> But I never met a physicist with lingering unease about dimensional analysis.

There is very little that physicists have lingering unease about when it comes to (ab)using maths to get their way with the physical world.

Examples abound, and have actually led to many a new avenue in math.

Distributions (as in the Dirac distribution) are a very good example of this (IIRC convolution didn't have an identity and they needed one, and they just made up "functions" that were allowed to have infinite values as long as they had finite sums or something along those lines).

[Jensson]

Math is just a tool, as long as the objects behave in the ways you need you can do whatever you want with math.

If your math objects breaks other properties of math that you don't use then it doesn't matter, you don't use those so your math is still correct.

A programmer analogy would be that you implement a special kind of list for your project, but don't implement the whole list interface because you don't need the rest. That makes the mathematicians fume, "it isn't a list!!!", and they invent a new interface name for your implementation, like "distribution" instead of function.

[naasking]

> Math is just a tool, as long as the objects behave in the ways you need

and you can't derive a contradiction

> you can do whatever you want with math.

Fixed.

[toth]

Speaking as former physicist, can only agree with you.

However, regarding the Dirac delta function an other generalized functions, even though they were introduced by physicists (I think Heaviside was an early proponent) in a hand wavy fashion, they were later put in rigorous mathematical footing in the theory of distributions. Distributions are nowadays used by mathematicians without any hesitation.

This also not the first instance of something like this, and it won't be the last. Physicists have come up with ad hoc methods that work, but they can't justify why with rigor. Some time later mathematicians formalize it and it becomes part of their tool set.

[ur-whale]

> they were later put in rigorous mathematical footing in the theory of distributions

Yeah some French dude called Laurent Schwarz that got the Fields medal for it.

IIRC he built the set of distributions as the dual vector space of the tiniest vector space he could think of: extremely well behaved functions (C-infinite functions with finite support - weird mathematical beasts that go to zero at the extremities of their support with all derivatives also going to zero there as well).

I never really managed to grok the intuition behind the formalization of Schwarz, whereas the hand-wavy physicist way is pretty straighforward to understand.

[naasking]

Like renormalization. Still seems wonky.

[ithinkso]

If you have a hammer and a bunch of screws...