Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptierenGenauer suchen ( Treffer)
Filter schließen ( Treffer)
Sie haben nach Gödel, Kurt
gesucht
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.
/9783110776836.png "Philosophie I Maximen 0 / Philosophy I Maxims 0")