Einstein: His Life and Universe

by Walter Isaacson

Gödel was famous for his “incompleteness theory,” a pair of logical proofs that purport to show that any useful mathematical system will have some propositions that cannot be proven true or false based on the postulates of that system.