> Those geometric arguments are essentially less rigorous versions of limits! And that lack of rigor (...)
Yes it's equivalent to limits, but limits are a very cumbersome machinery, specially if you use the epsilon delta definition (there exists .. such that all ..).
But note that I just linked you a PDF that does fully 100% rigorous calculus using only infinitesimals with no limits. Yhey aren't disregarding small terms willy nilly (like it was done in the early history of calculus)
The only catch about SIA is that it requires you to use intuitionistic logic rather than classical logic in your mathematical arguments (which I admit is a barrier, but it also buys you some things). And what it offers is much simpler proofs that support intuitive reasoning.
There is also this book, "A Primer of Infinitesimal Analysis" [0], which develops a big chunk of calculus and classical mechanics using only infinitesimals, and is fully rigorous.
Yes it's equivalent to limits, but limits are a very cumbersome machinery, specially if you use the epsilon delta definition (there exists .. such that all ..).
But note that I just linked you a PDF that does fully 100% rigorous calculus using only infinitesimals with no limits. Yhey aren't disregarding small terms willy nilly (like it was done in the early history of calculus)
The only catch about SIA is that it requires you to use intuitionistic logic rather than classical logic in your mathematical arguments (which I admit is a barrier, but it also buys you some things). And what it offers is much simpler proofs that support intuitive reasoning.
There is also this book, "A Primer of Infinitesimal Analysis" [0], which develops a big chunk of calculus and classical mechanics using only infinitesimals, and is fully rigorous.
[0] https://www.cambridge.org/br/universitypress/subjects/mathem...