“Gödel’s Theorem,” the professor said, sternly. “That damned nuisance.” Ross said nothing. “Theorem states that certain proofs cannot be proved. Of course, he’s right. That’s the problem.”
— Michael Crichton (1969)