Might be a nice time for GEB. There's even a K-12-ish course for it at MIT OCW: http://ocw.mit.edu/high-school/courses/godel-escher-bach/index.htm http://ocw.m

Might be a nice time for GEB. There's even a K-12-ish course for it at MIT OCW: http://ocw.mit.edu/high-school/courses/godel-escher-bach/index.htm http://ocw.mit.edu/high-school/courses/godel-escher-bach/ind...