syntaktisch widerspruchsfreies logisches System - Lexikon der Mathematik

Lexikon der Mathematik: syntaktisch widerspruchsfreies logisches System

System von logischen Axiomen, aus dem sich mit Hilfe der formalen Schlußregeln kein Widerspruch erzeugen läßt, d. h., aus dem Axiomensystem ist kein logischer Ausdruck der Gestalt φ ∧ ¬φ formal beweisbar (siehe auch formaler Beweis).

Copyright Springer Verlag GmbH Deutschland 2017

Die Autoren

- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Artikel zum Thema

Freistetters Formelwelt: Der Schlüssel zu den interessanten Regionen des Sonnensystems

Im Weltraum kann man nicht einfach beliebig von einem Punkt zum anderen fliegen. Es gibt Bereiche, die – zumindest theoretisch – verboten sind. Zu ihnen führt das Jacobi-Integral.

Die fabelhafte Welt der Mathematik: Wie zwei Mathematiker die Zukunft berechenbar machten

Was passiert, wenn ein Glücksspiel plötzlich endet? Diese vor 400 Jahren gestellte Frage begründete die Wahrscheinlichkeitstheorie – und ist bis heute relevant.

Die fabelhafte Welt der Mathematik: Die mysteriöse Konstante, die Mathematiker verzweifeln lässt

Der Beweis, dass die Apéry-Konstante irrational ist, gehört zu den skurrilsten Begebenheiten der Mathematikgeschichte. Nach 200 Jahren birgt die seltsame Zahl viele Geheimnisse.

Freistetters Formelwelt: Von einfachen Grenzwerten zu Schwarzen Löchern

Grenzen können nicht nur aus politischer, sondern auch aus mathematischer Sicht schwierig werden. Auf die Astronomie angewendet nehmen sie sogar eine philosophische Dimension an.

Themenkanäle

Die neue Generation von Computern

Erste Prototypen von Quantencomputern gibt es bereits. Was wird sich mit den Prozessoren ändern, die auf Quantenmechanik basieren? Sind Daten dann noch sicher? Eine Themenseite

Quantenphysik

Die Quantenphysik ist neben der Relativitätstheorie eine der Säulen der modernen Physik - mit Auswirkungen bis in die Philosophie.

Das Digital-Manifest

Algorithmen, Nudging, Big Data - unser Leben wird zunehmend digitaler. Doch viele Menschen sind darauf nicht vorbereitet. Daher benötigen wir klare Regeln. Ein Appell.

SponsoredPartnerinhalte