PERSON@1 -LRB- ORGANIZATION@1 -RRB- PERSON@2 is best known for his two incompleteness theorems , published in NUMBER@1 when he was NUMBER@2 years of age , one year after finishing his doctorate at the ORGANIZATION@2 .

He was NUMBER@2 years of age , and had just finished his doctorate at the ORGANIZATION@2 one year earlier .
