On: Why you can't divide by zero

[seeknotfind]

I guess they use epsilon, not e. https://en.m.wikipedia.org/wiki/Automatic_differentiation

Do you have a source for e = dx perspective? I haven't seen it explained this way before.

[Nevermark → seeknotfind]

Derivative of f = (f(x + dx)-f(x))/dx as dx -> 0

Which is to say:

1) create the function f(x + dx)

2) ignore (subtract away) the terms not proportional to dx

3) of the terms proportional, only care about terms minimally proportional (i.e. divide by dx, keep terms no longer proportional to dx, eliminate any still proportional to dx.)

The last step corresponds to eliminating terms proportional to dx^2 or higher