Calculus Made Easy by Silvanus P. Thompson (1910)
calculusmadeeasy.org
calculusmadeeasy.org
Relevant wikipedia entry: https://en.m.wikipedia.org/wiki/Nonstandard_analysis
But I think that it is extremely important to understand that the infinitesimal notation really MEANS something. Here is some Python to demonstrate.
# d is a functor. It takes a function and returns a second function.
# The second function captures the change in f over a small distance.
# The dx/2 business reduces artefacts of it being a finite distance.
def d (f, dx=0.001):
return lambda t: (f(t + dx/2) - f(t - dx/2))
# d²x / dx²
def second_derivative (f):
return lambda t: d(d(f))(t) / (d(x)(t) * d(x)(t))
def x (t):
return t
def cubed (t):
return t*t*t
print("The second derivative of cubed at 1 is near", second_derivative(cubed)(1))The Python is correct, but the comment is not. The formula for the second derivative should be, of course:
# d²y / dx²You generally don't run into trouble with 1, x, 1/x, sin(x) and the like. But when you push past the analytic functions, you wind up having to unlearn a lot of ideas so that you can learn an entirely different foundation.
The good news is that we don't!
Only model-theoretic approaches, which justify the infinitesimal methods by constructing a hyperreal field, require (a weak form of) the axiom of choice [2].
However, there are axioms for nonstandard analysis which are conservative over the usual choice-free set theory ZF. The three axioms of Hrbacek and Katz presented in the article "Infinitesimal analysis without the Axiom of Choice" [1] are the best recent example: these axioms allow you to do everything that is done in Keisler's book and more (including defining the derivative), and you never need to invoke the axiom of choice to justify them.
[1] https://arxiv.org/abs/2009.04980
[2] Essentially, the set of properties satisfied by a fixed nonstandard hypernatural gives rise to a non-principal ultrafilter over the naturals. The axiom of choice is necessary to prove the existence of non-principal ultrafilters in (choice-free) set theory, but the existence of non-principal ultrafilters is not sufficient to prove the axiom of choice.
I find it a mildly interesting intellectual exercise that you can do NSA with weaker axioms than choice. But for all cases I care about, I can already prove it with NSA without ANY additional axioms!
How is this possible? From Shoenfield's absoluteness theorem, you can prove that all statements that an be made in the Peano Axioms that can be proven in ZFC, are also true in ZF. (Note, they must be statable in PA, but not necessarily provable there.) But PA can encode any statement we can make about computation. So take any calculation we can talk about that can be approximated on a computer. We can rewrite it in PA. We can prove it using NSA. We then know that it is true in ZF. And we know that it is true without any additional axioms beyond ZF!
That which we can actually calculate in any useful way can all be calculated on a computer. And therefore NSA can prove anything about Calculus that I care about without needing any axiom beyond ZF.
But in the end this is using a mathematical sledgehammer to drive in a thumb tack. Many approaches to Calculus do not require assertions about the existence of sets that we cannot construct, even in principle. Even though I understand how NSA works, I'd prefer to use any of those.
I'd say that limits in the sense that you mean (as opposed to category-theoretic limits) are precisely the domain of calculus or, if one wishes so to call it (because one is proving things!), analysis. For example, many US universities, mine included, regard the computation of infinite series as part of Calculus II.
https://discreteanalysisjournal.com/article/87772-a-simple-c...
As an example of the conceptual richness, pick up a Calculus book and flip to the problem section for L'Hôpital's rule. Without using any special rules at all, attempt to write them out in o-notation and observe that you generally don't need L'Hôpital's rule to work them out. It is possible to produce examples that can be calculated by L'Hôpital's rule, but not by simply understanding o-notation. But it isn't easy, and you're unlikely to find them in textbooks.
It is probably true that as you go on, limits are more useful in higher mathematics than o-notation. But o-notation is far more useful in most subjects that use mathematics. Given how easy it is to master limits if you know o-notation, why not teach o-notation first?
https://www.thriftbooks.com/w/calculus-the-easy-way-easy-way...
I didn't know he had a calculus book, I'll have to check it out now.
> but this book really helped connect trig in an intuitive way.
To me, understanding math in an intuitive way is actually how "maths people" think about math. The numbers and formulas are just a means to an end to get there.
Or, speedrunners and professional musicians can practice motions (relative to their own motions or to an ongoing rhythm) that are accurate to about 1 third.
I assume the terminology would be too easy to confuse with ⅓, so maybe they would have to be called "terces" or "tertians" or "tertiaries" or something. (Specifically, we want to say (1/60)³ hour rather than (1/3) minute!) And maybe it's not a great thing to introduce a non-decimal unit when we're also trying to get rid of them in many other contexts.
It could also be useful for measuring latency of Internet connections, although these have commonly gotten faster over time and many latencies can be under a tierce. On the other hand, the round-trip latency to a satellite in geostationary orbit is about 14 tierces.
Some PDF documents don't contain the source text as digitized text, either. It's just a bundle of scanned images.
Epub documents _are_ HTML files in a zip archive - I'd argue that if a web site is a proper presentation of the source material, an epub is even better.
Additionally, PDF documents _are_ worse for any kind of document technical or otherwise. PDF documents are primarily Postscript instructions without any relation or hierarchy to the included elements. Epub documents/HTML provide semantic relationships and hints to the content.
For codes, `pre` tag should be enough, stylesheet just adding some enlightenment. What I'm pointing is that many source code are more than 80 columns wide and that often make you scroll like with PDF. Physical readers are best for content that use aspect-ratio of pocket paper books and as far I can remember coding paper books are more (at least twice) wider and may even suffer that problem (they're often hacks I dislike to split lines.)
To short, Epub per se is not the limiting factor. Vendors must update their hard and soft (even then, things will improve only when everybody has upgraded.) Authors also must take more care to technical contents for that media (some of them convert formulas and codes to image, oooch…)
Edit: I can recommend this book for a self-guided study
https://archive.org/details/zeldovich-higher-mathematics-for...
The author was a Soviet nuclear physicist (who participated in the creation of the H-bomb), so his main point isn't rigor. It can be a nice change of perspective from standard American texts.
[edit] and I’m dreading my kids getting past elementary school math because they’re gonna be like “why the hell am I spending months of my life on quadratic equations?” and I’m not gonna have an answer, because IDK why we did that either. At least I have answers for calculus, even if they’re not much good (“so you can do physics stuff”, “right, but will I ever need to do physics stuff?”, “uhhh… unless you really want to, no.”)
And good luck taking on calculus without being super solid in the mathematical tools you use against quadratics -- factoring, completing squares, manipulation of binomials, pairing up like terms, etc.
That's the same answer as the quadratic formula, but makes a lot more sense to me! Of course I've cooked the numbers so that you don't wind up with surds in the answer, but those are just complications in bookkeeping, not in concept.
For example, the way to solve a quadratic is to reduce it to a form one knows how to solve (via competing the square).
The specifics of the mathematics are not the prize, the methods of thinking are.
I don’t think the methods of thinking per se are why we teach math, though. Might be part of it, but if that’s all, I think we could do a lot better for a lot less effort for all concerned. I think it’s because the math itself is useful. If in fact the point were to teach methods of thinking, I doubt we’d teach it as we do math—why would we, when it generates such resistance and loathing from so many students?
This quote helped me get over my fear of math. It's probably the fewest words that have made the largest impact in my life.
Professor Leonard:
Calculus I - https://www.youtube.com/playlist?list=PLF797E961509B4EB5
Calculus II - https://www.youtube.com/playlist?list=PLDesaqWTN6EQ2J4vgsN1H...
Calculus III - https://www.youtube.com/playlist?list=PLDesaqWTN6ESk16YRmzuJ...
I consider him one of the best lecturers in math education, at least for these subjects. And in particular because he is very detailed in his explanations. He points out that most students who struggle with Calculus struggle because they (never mastered | forgot | whatever) their basic Algebra. So he does a very thorough job of explaining all of the subtle algebraic manipulations that go on as he works through derivatives, integrals, etc.
TBH, I think a person who wanted to learn the equivalent of high-school algebra could just about doing it by watching his Calc I series... and treat any Calculus they learn as "found money." But assuming you remember at least a little algebra and really want to learn Calculus, I think he's one of the best at teaching it.
Note that most of his lectures are live lectures to an actual class, so IMO the best way to approach it is to pretend you're right there in class. Listen, take notes, and then when he puts an example on the board pause the video and work through the example. Just restart the video when you finish the problem or if you get stuck.
If you want to work additional problems, go on Amazon or Alibris or whatever and buy a cheap used copy of one of the enormous Calculus books, and/or a Shaum's Outlines book on Calculus, or one of those "1001 solved problems in $SUBJECT" books... or some combination of all of the above.
Also as a side-note, speaking for myself, I find that I can follow his material find at 1.25x speed, so I pretty much always watch on 1.25x. I could probably manage 1.5x if I really tried, but the time savings from just doing 1.25x is enough to make me happy. YMMV, of course.
I've always wanted to learn math but my teachers could never explain it to me in a way that clicked and any textbook I've read couldn't either. These two above really seem to be in my wheelhouse.
Calculus Made Easy is a good book. It made me appreciate even easier books when you need them and have enthusiasm for learning a topic.
_Make: Calculus: Build models to learn, visualize, and explore_ by Joan Horvath and Rich Cameron
https://www.goodreads.com/book/show/61739368-make
It's part of a series with matching books on Geometry and Trigonometry.
[1] - https://www.amazon.com/Short-Calculus-Original-Undergraduate...
If you don’t feel satisfied after going through the courses, you can always pick up a book afterwards to dig deeper.