[rndn]

These notes may help a little bit:

http://www.reddit.com/r/rational/comments/2yys1i/lets_start_...

http://godel-escher-bach.wikia.com/wiki/G%C3%B6del,_Escher,_...