> I am slowly replacing the Cotton/Hazlitt translation with a contemporary one and adding new notes
So I would assume that the essay you're talking about is from the earlier Cotton translation and has still not been replaced.
This is the first time I've seen AI being used to "modernize" old texts, and it works wonderfully in this case; though a bit of the old-timey charm is lost imo. I used to read a translation that I'd found in my university library which I enjoyed a lot. Very readable but still retained the "feel" of a 16th century book. I don't recall the translator unfortunately.
Totally right. The art and science of translation is an age-old debate and where AI isn’t super well suited. We’re not at a point where it ends up more than a summary but the point is the proper “translation” of the tone, subtle intent and idiosyncrasies of the author. That said, most human translators take license (e.g. The Bible) and how do we counterweight against their flaws, so there’s not a great answer here.
Except I hope the guy works through it and does a good job cause the original is a bit of a slog!
Everything you are looking for is provided in the Epilogue of Spivak. For instance, in chapter 28, you will be able to show that 0a = 0 in any field. In chapter 29, you will rigorously define the reals as well as the operations on them. You will also show that they form a complete ordered field, which allows you to use the results from chapter 28. In chapter 30 you will show that all complete ordered fields are "essentialy the same" as the real numbers---i.e., the real numbers are "unique."
At the moment I'd advise not worrying much about the construction of the reals. Ideas such as limits, continuity, differentiation, integration, and even fields are much more important for later mathematics and applications (abstract algebra, topology, geometry, physics) than the construction of the reals. Constructing the reals is pretty much something you do a couple of times (traditionally once with Dedkind cuts, as in Spivak, and once more with Cauchy sequences) and then never think about again.
Edit: I'm not sure what you mean by "something I could code." If you want something that you could type in a proof assistant you might have some luck looking at the mathlib library of Lean https://leanprover-community.github.io/mathlib4_docs/Mathlib....
Being more precise: I like Spivak not defining addition, multiplication or number. I just want the other steps explicit, like equality transitivity, enough to implement it (for a computer without "mathematical maturity".)
I feel I already know what's needed - but I didn't catch the 0.a=0 omission at first, and there's surely others I'm still missing... Part of the problem is I have too much implicit knowledge.
HN has been surprisingly good today. Seen a couple of very high quality posts (at leasts posts that are to my liking), this one included. I thank OP for posting this.
The kinds of AP Calc kids you see must be super different from the ones I've seen then. I'm in a uni with a large amount of kids who've taken AP Calc and yet most of them struggled a lot with the first semester intro-to-proofs course. The second semester linear algebra course (it's a middle ground between a proof-based and a computational course) was even worse. I know many kids with 5's in AP Calc BC who resort to memorizing basic proofs (which is the sort of thing that helps with AP exams) instead of learning how to write one on their own, and some of the TA's have told me that the most common mistake on the midterm was incorrectly negating the statement "A is a subspace of B".
This is not to say that high schoolers can't do abstract algebra (or higher mathematics more generally). In senior year I attended a week-long camp (Arnold had a full semester) in my local uni where we proved the impossibility of squaring the circle, doubling the cube, etc using field extensions. And I was in the older side! Most of the kids there were 10th grades. Though Arnold's class was probably substantially harder than ours. I worked through V. B. Alekseev's book after the camp was over and the exercises were substantially harder than the ones we did at the camp. The material on Riemann surfaces was very hard to understand as well, much harder than the group theory part (I still don't understand Riemann surfaces lol).
In conclusion, AP Calc, and students' performance in it, is a terrible metric for assessing mathematical ability. Sorry for the long rant.
Do you know anywhere where one can look into dynamicland more deeply? I've been interested in playing around with it for a while (hopefully I can get my hands on a projector lol) but have never found any details. Omar Rizwan's website had a cool post on geokit but that was all I managed to find.
I found out about this a few months ago through Cristobal's blog: https://cristobal.space/. Somehow didn't notice how the post mentions Omar's involvement at the top lol. Thanks anyway tho.
you'll probably have to talk to the dynamicland folks; i'm not sure what their current strategy is for getting it out into the world, but it doesn't seem to be the obvious 'upload the software to gitlab and hope for the best' approach
Hey! You have some interesting content. If you had a rss/atom feed I'd happily subscribe to it.
A comment on your site: I have to zoom to 300% on firefox to get what seems like a 'natural' view. Without this it feels like I'm viewing a pdf. This is not serious criticism, but something that bothered me a bit. Others may feel differently.
I've been wanting to add RSS to it for a while tbh but I've been consistently distracted by other things. Since classes are over I might get around to it eventually.
As for the pdf look, you're right. The problem I encountered way back when I was actually building the site was that I didn't know what to put on the extra margins. I could've put footnotes and figures, but that's pretty hard to do if you're generating the site from markdown without a custom markdown engine. I'll see what I can do about it tho, and if you have any suggestions for how I could improve this I'm all ears.
reply