Besonderhede van voorbeeld: 2045530587727778388

German

Er leistete maßgebliche Beiträge zur Prädikatenlogik (Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre), zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik.

English

The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.