Kurt Gödel
1906 - 1978 | ![]() |
Gödel proved fundamental results about axiomatic systems showing in any axiomatic mathematical system there are propositions that cannot be proved or disproved within the axioms of the system. | |
Go to the full MacTutor biography |