1906-1978: Austrian (later US) mathematician, logician and philosopher.
Discoverer of the incompleteness theorems, for which see
Also discovered the completeness of First
Order Logic. Was a personal friend of Einstein in Einstein's last years, and
an admirer of Leibniz.
Boolos & Jeffrey,
Hilbert & Bernays