Gödel

An Austrian-American logician and mathematician known for his incompleteness theorems, who had a profound influence on mathematical logic and the foundations of mathematics.