Image of Kurt Gödel

Kurt Gödel

was born 116 years ago

28 April 1906

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.

Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Godel/