Nope. After I read his book on Turing, I did spend some time looking at his website, but quickly realized that I was hurting as when I once tried to understand tensors. There really does seem to be a physics way of talking about math and a CS way of talking about math, and despite their both being really algebraic, I can't understand the physics one at all. And physicists who write in our journals drive me crazy.