I find Hal Abelson's book Turtle Geometry [1] fascinating. It describes a dialect of Logo (the graphical routines could probably be implemented relatively easil

I find Hal Abelson's book Turtle Geometry [1] fascinating. It describes a dialect of Logo (the graphical routines could probably be implemented relatively easily in Python/Tkinter or Tcl/Tk or something like Processing). Once the basics are described, then it uses them to go on to explore things like non-euclidian geometry (and maybe topology?). [1] http://www.amazon.com/Turtle-Geometry-Mathematics-Artificial-Intelligence/dp/0262510375 http://www.amazon.com/Turtle-Geometry-Mathematics-Artificial...