But I’ve been told that he was never completely happy with his achievements because he thought he missed some great discoveries. And indeed he was close to a remarkable number of important mathematics-related discoveries of the twentieth century: Gödel’s theorem, Bell’s inequalities, information theory, Turing machines, computer languages—as well as my own more recent favorite core A New Kind of Science discovery of complexity from simple rules.
