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.
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 | |