Die mathematische Logik erreichte die Moderne mit der Arbeit von Kurt Gödel an der Universität Wien, wo er in
den dreißiger Jahren des vorigen Jahrhunderts seine berühmten Sätze zur Vollständigkeit und Unvollständigkeit der
Logik erster Stufe bewies. Dieses Projekt, das beim Kurt Gödel Research Center durchgeführt wird, konzentriert
sich an das Thema von Interdisziplinärität zwischen den verschieden Bereichen der Logik, die aus der Arbeit
Gödels stammen. Die spezifischen Themen sind: Mengen und Berechungen, Mengen und Modelle, und Mengen
und Berechenbare Modelle.
Die mathematische Logik erreichte die Moderne mit der Arbeit von Kurt Gödel an der Universität Wien, wo er in den dreißiger Jahren des vorigen Jahrhunderts seine berühmten Sätze zur Vollständigkeit und Unvollständigkeit der Logik erster Stufe bewies. Dieses Projekt, das beim Kurt Gödel Research Center durchgeführt wird, konzentriert sich an das Thema von Interdisziplinärität zwischen den verschieden Bereichen der Logik, die aus der Arbeit Gödels stammen. Die spezifischen Themen sind: Mengen und Berechnungen, Mengen und Modelle, und Mengen und Berechenbare Modelle.