Gödel's proof demonstrated that within any given system, there are statements that cannot be proved or disproved based on the system's axioms. Gödel ended the search for certainty in mathematics by showing that it did not and could not exist, just as Heisenberg had in physics.
A visual chronology of Asimov's ~1500 scientific inventions and discoveries.
