GEB as a classic of computer science? Why? It's imaginative, right, but it lacks the rigor to be a classic. Better to read about recursion, formal systems, lambda calculus, undecidability, complexity theory, etc from some math text... at least I have found it to be a lot more interesting and revealing.