How to make sense for a CS grad. I was expecting something about Turing, Godel etc