Kurt, Amerikaans logicus-wiskundige, *28. 4.1906 Wenen. Gödel heeft op het terrein van de mathematische logica en de grondslagen van de wiskunde fundamenteel en baanbrekend werk verricht.
Hij bewees in 1930-31 de volledigheid van de predikatenlogica en de onvolledigheid van de rekenkunde en heeft een verband aangegeven tussen intuïtionistische en klassieke rekenkunde. Gödel week in 1938 uit naar de VS en is verbonden aan het Institute for Advanced Studies te Princeton. litt. J.van Heijenoort, From Frege to' Gödel (1967).
