Übersetzung für 'mathematische Logik' von Deutsch nach Englisch

mathematische Logik {f}

mathematical logicmath.

---

mathematische Grundlagenforschung {f}

basic mathematical researcheduc.math.

mathematische Wahrscheinlichkeit {f}

mathematical probabilitymath.

mathematische Volkswirtschaftslehre {f}

mathematical economicsecon.math.

mathematische Tabelle {f}

mathematical table

mathematische Programmierung {f}

mathematical programming

mathematische Kontrolle {f}

mathematical checkmath.

mathematische Grundlage {f}

mathematical foundation

mathematische Genauigkeit {f}

mathematical precision

mathematische Statistik {f}

mathematical statistics [treated as sg.]acad.stat.

mathematische Physik {f}

mathematical physics [treated as sg.]acad.

mathematische Psychologie {f}

mathematical psychologymath.phys.

mathematische Fähigkeiten {pl}

numerical skills

maths skillseduc.math.psych.

mathematische Berechnung {f}

mathematical calculationmath.

mathematische Notation {f}

mathematical notationmath.

mathematische Fachsprache {f}

mathematical languageling.math.

mathematische Analyse {f}

mathematical analysis <MA>math.

mathematische Modellierung {f}

mathematical modeling [Am.]math.

mathematical modelling [Br.]math.

mathematische Formel {f}

mathematical formulamath.

• Ackermann war 1962 einer der sieben Gründungsmitglieder der "Deutschen Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften" (DVMLG).
• Schon damals begann er sich für mathematische Logik zu interessieren (die damals in Frankreich kaum studiert wurde) und las die Principia Mathematica von Bertrand Russell und Alfred North Whitehead.
• 1970 bis 1980 hatte er den neugegründeten Lehrstuhl für Mathematische Statistik an der Lomonossow-Universität und ab 1980 den für Mathematische Logik.
• Die mathematische Logik, auch symbolische Logik oder veraltet "Logistik," ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
• George Boole, der in seiner Schrift "The Mathematical Analysis of Logic" den ersten algebraischen Logikkalkül erschuf, begründete damit die moderne mathematische Logik, die sich von der traditionellen philosophischen Logik durch eine konsequente Formalisierung abhebt.

• Mathematische Logik bildet die Basis für die formale Verifikation.
• Boole schuf in seiner Schrift "The Mathematical Analysis of Logic" von 1847 den ersten algebraischen Logikkalkül und begründete damit die moderne mathematische Logik, die sich von der bis dato üblichen Logik durch eine konsequente Formalisierung abhebt.
• Von 1954 an hielt Klaus am Institut für Philosophie der Humboldt-Universität zu Berlin eine zweisemestrige philosophische Vorlesung zur Logik, wobei er unter Logik deren moderne, als "mathematische Logik" bezeichnete Gestalt verstand.
• Er war Lehrer an Oberschulen und von 1946 bis 1964 Professor für mathematische Logik, Geschichte der Logik und Wissenschaftstheorie an der Universität von Amsterdam.
• Seine akademische Arbeit umfasst hauptsächlich mathematische Logik und Wahrscheinlichkeitstheorie.

• Der Ontos Verlag ist ein nach eigenen Angaben international tätiger Verlag für Philosophie und mathematische Logik mit Sitz in Heusenstamm im Landkreis Offenbach in Hessen.
• Ab 1960 leitete er die Sektion Algebra am Mathematischen Institut der sibirischen Abteilung der AdW der UdSSR und den Lehrstuhl für Algebra und Mathematische Logik der dortigen Staatlichen Universität.
• Diese formalen Sprachklassen umfassen die mathematische Logik, mathematische Algebra und alle weiteren von Menschen erdachten Kalküle.
• Kleene schrieb zwei weit verbreitete Lehrbücher über mathematische Logik und Metamathematik, in dem er auch eine klare Formulierung von Gödels Theorem gab.
• Die formalistische Position hat sich akademisch weitgehend durchgesetzt und zu neuen Teildisziplinen der Mathematik geführt, die von mathematischer Seite die Grundlagen behandeln und üblicherweise unter der Bezeichnung "mathematische Logik" zusammengefasst werden: Mengenlehre, Beweistheorie, Rekursionstheorie und Modelltheorie.

• 1980 wurde er Leiter des "Labors für mathematische Logik" im LOMI.
• Einen speziellen formalen Theoriebegriff verfolgt die mathematische Logik (siehe auch Theorie (Logik)).