Fascinating book indeed. I read it when I was a student some twenty years ago, I had been astonished by simple and clever trick Godel used to prove his theorem - to digitize everything, then operate with just numbers.