"Can we move on? Gödel said, just a few years ago, ‘Say! If you buy into this business about mathematics being just strings of symbols, guess what?’ And he pointed out that any string of symbols—such as this very formula, here—can be translated into integers."