3 Sep
2023
3 Sep
'23
2:27 a.m.
Gödel is best known for his two incompleteness theorems. The theorems were published in 1931. He was 25 years of age, and had just finished his doctorate at the University of Vienna one year earlier. The more famous of the two theorems says that if there are consistent axiomatic systems that are powerful enough to describe themselves, there will be things that are true in those systems that can not be proved within the system itself.