Werbung
 Übersetzung für 'Vollständigkeitssatz' von Deutsch nach Englisch
NOUN   der Vollständigkeitssatz | die Vollständigkeitssätze
math.
completeness theorem
Vollständigkeitssatz {m}
math.
Gödel's completeness theorem [also: Goedel's completeness theorem]
Gödel'scher Vollständigkeitssatz {m}
math.
Gödel's completeness theorem [also: Goedel's completeness theorem]
gödelscher Vollständigkeitssatz {m}
3 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

Anwendungsbeispiele Deutsch
  • Für die Hilbertraum Theorie hat Gudrun Kalmbach die Semantik und Syntax erstellt, einen Vollständigkeitssatz bewiesen und das Fehlen eines Deduktionstheorems.
  • Der Vollständigkeitssatz für die Prädikatenlogik erster Stufe wurde 1928 von Kurt Gödel bewiesen (Gödelscher Vollständigkeitssatz).
  • Kurt Gödel beweist 1929 die Vollständigkeit der Prädikatenlogik erster Stufe (→Gödelscher Vollständigkeitssatz), 1931 die Unvollständigkeit der Peano-Arithmetik (→Gödelscher Unvollständigkeitssatz).
  • Die Bedeutung des Begriffs "negationstreu" liegt in seiner Rolle als Beweishilfsmittel für den Satz von Henkin, der seinerseits als Hilfsmittel für einen alternativen Beweis von Gödels Vollständigkeitssatz der Prädikatenlogik erster Stufe ist.
  • Kürzlich hat Klaus Glashoff, aufbauend auf den Arbeiten von Gottfried Wilhelm Leibniz, eine intensionale Semantik mit dem zugehörenden Vollständigkeitssatz angegeben.

  • Er war Student von Alfred Tarski und erfand 1929 die Presburger-Arithmetik, eine rein additive Arithmetik ohne Multiplikation, für die er einen Vollständigkeitssatz bewies.
  • In der Prädikatenlogik erster Stufe kann man einen Sequenzenkalkül aufstellen und von diesem nachweisen, dass er für alle Herleitungen in einer Sprache der Prädikatenlogik erster Stufe ausreichend ist, das ist der sogenannte Gödelsche Vollständigkeitssatz.
  • Der Kompaktheitssatz, ein zentraler Satz der Modelltheorie, ergibt sich als Korollar aus dem Vollständigkeitssatz.
  • Inspiriert durch Gödels Vollständigkeitssatz und ein daraus folgendes „Nichtstandard-Modell der natürlichen Zahlen“, das unendlich große „natürliche“ Zahlen kennt, entwickelte Abraham Robinson in den frühen 1960er Jahren eine widerspruchsfreie Infinitesimalrechnung, die heute meist als Nichtstandardanalysis bezeichnet wird und die grundsätzlich auf Leibniz’ Ideen aufbaut.
  • Aus dem Satz von Gelfand-Mazur folgt trivialerweise der Vollständigkeitssatz von Ostrowski über archimedisch bewertete Körpererweiterungen von [...] , da Absolutbeträge von Körpern zugleich Normen von Schiefkörpern sind.

    Werbung
    © dict.cc English-German dictionary 2024
    Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
    Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!