Übersetzung für 'mathematical logic' von Englisch nach Deutsch

mathematical logic

formale Logik {f}

mathematische Logik {f}math.

---

mathematical {adj}

rechnerisch

mathematisch

mathematical basis

mathematische Grundlage {f}

mathematical probability

mathematische Wahrscheinlichkeit {f}math.

mathematical literacy

mathematische Grundbildung {f}educ.math.

mathematical approach

mathematischer Ansatz {m}math.

mathematical expression

mathematischer Ausdruck {m}math.

mathematical psychology

mathematische Psychologie {f}math.phys.

mathematical term

mathematischer Ausdruck {m}math.

mathematical formalism

mathematischer Formalismus {m}math.

mathematical proof

mathematischer Beweis {m}math.

mathematical value

mathematischer Wert {m}math.

mathematical model

mathematisches Modell {n}math.

mathematical foundation

mathematische Grundlage {f}

mathematical computation

mathematische Berechnung {f}math.

mathematical evaluation

mathematische Auswertung {f}math.

mathematical linguistics

mathematische Linguistik {f}

mathematical formula

mathematische Formel {f}math.

mathematical precision

mathematische Genauigkeit {f}

mathematical equation

mathematische Gleichung {f}math.

• The only extensional languages are artificially constructed languages used in mathematical logic or for other special purposes and small fragments of natural languages.
• The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation.
• The version given below attempts to represent all the steps in the proof and all the important ideas faithfully, while restating the proof in the modern language of mathematical logic.
• Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic.
• In the epistemology of mathematics, he claims that his findings in mathematical logic and algorithmic information theory show there are "mathematical facts that are true for no reason, that are true by accident".

• In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.
• In mathematical logic, a "formal theory" is a set of sentences expressed in a formal language.
• ... a strong emphasis on sensory experience as the basis for knowledge) with certain insights from mathematical logic that had been developed by Gottlob Frege and Ludwig Wittgenstein.
• It is also equivalent to the formal systems used in the field of mathematical logic.
• Applications to mathematical logic and semantics (categorical abstract machine) came later.

• Russell called Berry "the only person in Oxford who understood mathematical logic".
• Quine's system of axiomatic set theory, New Foundations (NF), takes its name from the title ("New Foundations for Mathematical Logic") of the 1937 article which introduced it.
• Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
• Hilbert's work had started logic on this course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.