As with Einstein, I think it is difficult for even Hawking to translate his theories into language, whereas their statement and proof are entirely mathematical, and at a level only accessible to a minute percent of people. What has always fascinated me is that math, when correct, predicts the behavior of celestial, chemical, and other fundamental events, so somehow human brain circuitry is mirroring the material world. I've read that if the math is correct, its predictions will be correct, hence provable. It's an astonishing connection between formulas and material reality. Somehow the brain "hands back" the reality of the universe through computation. Far out, as is said.