wissen.de
Total votes: 11
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.
Total votes: 11