Kurt Gödel

The logician who proved mathematics cannot certify itself, and whose friendship with Einstein lit Princeton's walks.

Specifications & Metrics

era

1906 – 1978

Core Principles & Analysis

• His incompleteness paper appeared when he was 25.
• He proved the continuum hypothesis cannot be disproved from ZFC axioms.
• He became an American citizen with Einstein and Morgenstern as witnesses, nervously finding a flaw in the constitution.