Input (grade 13): GÃ del is best known for his two incompleteness theorems, published in 1931 when he was 25 years of age, one year after finishing his doctorate at the University of Vienna.
Output (grade 7): 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.