Thanks for all your recomendations, especially the BBC documentary. I'm really interested in Gödel and Cantor.