>Info zum Stichwort Gödel | >diskutieren | >Permalink 
DWay schrieb am 16.4. 2002 um 16:02:19 Uhr über

Gödel

Kurt Gödel (1906 - 1978)

Der in Brünn (heute Brno) geborene österreichische Mathematiker und Logiker Kurt Gödel war von 1933 bis 1938 Privatdozent an der Universität Wien. Er emigrierte 1938 in die USA und wirkte ab 1953 als Professor für Mathematik in Princeton. Gödel gehörte in Wien dem Wiener Kreis an.
Von Gödel stammen drei der grundlegendsten Resultate der Logik, der nach ihm benannte Vollständigkeitssatz, der nach ihm benannte Unvollständigkeitssatz sowie der Nachweis der relativen Widerspruchsfreiheit von Auswahlaxiom und Kontinuumshypothese zu den übrigen Axiomen der Mengenlehre.

Darüber hinaus wurde von ihm eine Vielzahl wichtiger Einzelresultate der Logik gewonnen, u. a. zum klassischen und intuitionistischen Aussagenkalkül und zum Entscheidungsproblem der Prädikatenlogik.



   User-Bewertung: +3
Du willst einen englischen Text schreiben? Nehme den englischen Assoziations-Blaster!

Dein Name:
Deine Assoziationen zu »Gödel«:
Hier nichts eingeben, sonst wird der Text nicht gespeichert:
Hier das stehen lassen, sonst wird der Text nicht gespeichert:
 Konfiguration | Web-Blaster | Statistik | »Gödel« | Hilfe | Startseite 
0.0054 (0.0029, 0.0012) sek. –– 818840460