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. 