Matematico e filosofo ceco. Dal 1933 docente di Matematica all'università
di Vienna, emigrò nel 1938 negli Stati Uniti. Fu membro permanente
dell'Institute for Advanced Study di Princeton e dell'Association for Symbolic
Logic. Autore di un'importantissima opera sulla logica matematica moderna in cui
è esposto il teorema che dimostra la contradditorietà di qualsiasi
sistema logico-matematico usando il linguaggio tipico del sistema considerato.
Questo teorema esclude che i calcolatori elettronici possano sostituirsi al
cervello umano (Brno 1906 - Princeton, Stati Uniti 1978).