If you haven't read the book "Gödel, Escher, Bach" - http://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach - you need to do yourself a favor and do so. It explores the ideas of recursion, logic, infinity, and so much more in one beautifully written book.
I thought it would be fun to watch these when I had some downtime during a flight I'm taking next week. Two problems - they stream them and they are real one files. No idea why they make it so difficult.
I'm 550 pages in after about 3 months of reading at an extremely casual pace. I'm wanting to speed up so I can finish before school starts in late August.