“He was disappointed that he had not first discovered Gödel’s undecidability theorems,” explains Ulam. “He was more than capable of this, had he admitted to himself the possibility that Hilbert was wrong in his program. But it would have meant going against the prevailing thinking of the time.”
