Hacker News new | ask | show | jobs
by derleth 5317 days ago
Plane geometry was, at the time, perhaps the premier formal system to be studied as such; now, we get the same concepts across using calculus (which doesn't seem to be mentioned on the exam) and set theory (which would only really take shape in the 1870s).

(The history of mathematics doesn't get so much as a mention, either, but I don't expect it to.)

1 comments

This is an interesting "book" that reduces geometry to automated symbol pushing.

http://www.math.rutgers.edu/~zeilberg/GT.html