Kurt Gödel:
19061978: Austrian (later US) mathematician, logician and philosopher.
Discoverer of the incompleteness theorems, for which see
Gödel's_Theorems.
Also discovered the completeness of First
Order Logic. Was a personal friend of Einstein in Einstein's last years, and
an admirer of Leibniz.

See also:
Gödel's_Theorems
Literature:
Boolos,
Boolos & Jeffrey,
Gödel,
Hilbert & Bernays
(vol 2),
Kleene, Penrose,
Smullyan
