This essay needs a type system. Every time it says “log” it should say: log of what, into what?

It’s like audio where people say "dB" as if it answers the next question. Relative to what, measured how, and weighted for whom?

Author should brush up on https://en.wikipedia.org/wiki/Lie_theory

▲

rq1 15 minutes ago | parent | next [-]

The important properties of the logarithm are structural: we usually do not care about units or bases, except when carrying out an actual numerical computation.

As developed in the article, informally, but somewhat sufficiently, the change of base formula shows that the choice of base is largely irrelevant: different bases give equivalent logarithms up to a constant factor.

The Taylor expansion of exp gives a more intrinsic and general definition of the exponential function. This allows exp to be generalised structurally to many algebraic settings, provided the relevant convergence conditions are met: for example, the complex exponential and its many possible logs, the matrix exponential, and so on…

▲

jmyeet 3 hours ago | parent | prev [-]

The first section details how the author thinks of "log N" with no base as an abstract object rather than a number. Or what are you referring to?

▲

badlibrarian 2 hours ago | parent [-]

The first section is the good part.

The later reuse of “log” across valuations, dimension, vector fields, orders of vanishing is not so good. Those may be related ideas, but each needs a type signature: from what, to what, and preserving which operation?

	▲	exmadscientist an hour ago \| parent [-]
		Or, to say a little more explicitly what you're getting at: when you take a logarithm of some quantity, log x, x absolutely must be unitless. There's no way whatsoever to take a logarithm of something with a unit attached. (This is an important and useful dimensional analysis check in formulas and long calculations!) So what do you do in practice? You have to normalize: you don't calculate log x, but instead log x/U for some scaling unit U. It's typical for U to be something like 1 mV or 1 W in electrical engineering, for example. This is completely legitimate, but it does mean that the thing that comes out needs a corresponding unit attached to it: dBmV, dBW, et cetera. And it's really kind of important to be careful about that.