Kurt Gödel:

Kurt Gödel (1906 – 1978) war ein österreichischer und später amerikanischer Mathematiker, Logiker und Philosoph. Er leistete wesentliche Beiträge zur Beweistheorie.