News for hackers. Stuff that matters.
Re:Harvard 1869 entrance exam by derleth on Monday December 05, 2011 @02:47AM (#3313634)
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.)

Re:Harvard 1869 entrance exam by jules on Monday December 05, 2011 @03:25AM (#3313709)
This is an interesting "book" that reduces geometry to automated symbol pushing.

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