Kurt Gödel was a logician and mathematician known for incompleteness theorems that changed how mathematicians view formal systems. His work revealed deep limits on what can be proven within consistent axiomatic frameworks.