Übersetzung für 'Metamathematik' von Deutsch nach Englisch

Metamathematik {f}

metamathematics [treated as sg.]acad.math.

• Seine Promotionsarbeit zum Thema „Zur Metamathematik nichtaxiomatisierbarer Theorien“ wurde mit dem Stegmüller-Preis der Gesellschaft für Analytische Philosophie ausgezeichnet.
• In der Mathematik wird Lorenzen für seine frühen Arbeiten zur operativen Logik und Mathematik sowie zur Metamathematik hoch geschätzt, seine spätere konstruktive Mathematik und die Protophysik (die noch in den 1970er Jahren breit diskutiert wurde) gelten dagegen wissenschaftlich als Außenseiterpositionen.
• Seine Arbeiten umfassten neue Ansätze in der Behandlung von Entscheidungsproblemen, der Axiomatisierung von Algebra und Geometrie sowie in der Algebraisierung von Logik und Metamathematik.
• In der Metamathematik ist eine Vermutung eine Aussage, von der nicht klar ist oder einige Zeit nicht klar war, ob sie zutrifft oder nicht.
• Troelstra beschäftigte sich anfangs mit intuitionistischer Metamathematik (Choice Sequences) und Kleene-Realisierbarkeit.

• Die Arbeiten von Moore über Axiomensysteme gelten als Ursprung der Metamathematik und der Modelltheorie.
• 1966 ging er mit der Familie zurück nach Buenos Aires, wo er bei IBM als Programmierer anfing und Kurse in LISP-Programmierung und Metamathematik an der University of Buenos Aires hielt.
• Die von Jürgen Mittelstraß seit 1980 herausgegebene "Enzyklopädie Philosophie und Wissenschaftstheorie" hat Thiel durch eine große Anzahl von Artikeln insbesondere zu Logik, Mathematik und Metamathematik, Geschichte und Grundlagenkrisen der Mathematik, Religion und Soziologie eindrücklich mitgeprägt.
• Kleene schrieb zwei weit verbreitete Lehrbücher über mathematische Logik und Metamathematik, in dem er auch eine klare Formulierung von Gödels Theorem gab.
• Seine Forschungsschwerpunkte sind Metamathematik, Spezialgebiete der Logik, allgemeine Wissenschaftstheorie, Wissenschaftstheorie der Physik und logisch-begrifflichen Analyse der jeweils verwendeten Sprache.

• Das Paradoxon wird normalerweise verwendet, um die Wichtigkeit einer sorgfältigen Unterscheidung zwischen Mathematik und Metamathematik zu motivieren.