Answer
Kurt Gödel's doctoral dissertation was on the foundations of mathematics. He proved that any consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is either incomplete or inconsistent. This result has profound implications for the foundations of mathematics, as it shows that there are limits to what mathematics can prove.