Geboren in Brünn (damals Teil Österreich-Ungarns), studierte und arbeitete an der Universität Wien bis zu seiner Emigration in die USA 1940. Die Erfindung erfolgte 1931: Bewies die Unvollständigkeitssätze der formalen Systeme und zeigte damit die Grenzen dessen auf, was innerhalb der mathematischen Logik beweisbar ist.
