Techniklexikon

Gödel

(Goedel), Kurt, österreichisch-amerikanischer Mathematiker und Logiker, *28.4.1906 Brünn, †14.1.1978 Princeton (N.J., USA); 1940 Emigration in die USA, ab 1953 Professor am Institute for Advanced Study in Princeton; bahnbrechende Arbeiten zur Logik und mathematischen Grundlagenforschung; bewies 1931, dass es »prinzipiell unentscheidbare« Probleme der Aussagenlogik gibt, was bedeutet, dass der Nachweis der Widerspruchsfreiheit eines formalen Systems nicht mit den Mitteln des Systems selbst erbracht werden kann; ferner Beiträge zur Mengenlehre, Zahlentheorie, Kosmologie und über Grundlagen der Relativitätstheorie.