Gödel was a mathematician who was famous for proving that it is impossible to prove all true statements, even if you limit yourself to trying to prove all the true statements in a subject as apparently cut and dried as arithmetic. Like the uncertainty principle, Gödel’s incompleteness theorem may be a fundamental limitation on our ability to understand and predict the universe, but so far at least it hasn’t seemed to be an obstacle in our search for a complete unified theory.
