Lexikon

Gödel

Kurt, österreichischer Mathematiker und Logiker, * 28. 4. 1906 Brünn,  14. 1. 1978 Princeton, Calif.; lehrte seit 1940 am Institute for Advanced Study in Princeton (USA); wichtige Arbeiten zur mathematischen Grundlagenforschung und Logik, darunter den Gödelschen Satz, wonach u. a. die Widerspruchsfreiheit eines Axiomensystems nicht mit den Ausdrucksmitteln des Systems selbst beweisbar ist.

Weitere Artikel aus dem Wahrig Herkunftswörterbuch

Weitere Artikel aus dem Vornamenlexikon