On a side note, I am currently reading "Metamagical Themas" (http://en.wikipedia.org/wiki/Metamagical_Themas http://en.wikipedia.org/wiki/Metamagical_Themas), w

On a side note, I am currently reading "Metamagical Themas" (http://en.wikipedia.org/wiki/Metamagical_Themas http://en.wikipedia.org/wiki/Metamagical_Themas), written by Douglas Hofstadter, who also wrote the book "Gödel, Escher, Bach: an Eternal Golden Braid". "Metamagical Themas" is a very good read about a ton of different subjects, from self-referential sentences to Lisp.