Kurt Gödel
German logician, widely considered one of the most significant mathematicians of all time.
Notes that link to this note
Gödel's Incompleteness Theorems