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

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.

Die Autoren

- Prof. Dr. Guido Walz

Artikel zum Thema

»Die Welt als Zahl« : Ob Navi oder Organtransplantation: die Präsenz der Mathematik

Ian Stewart ist einer der populärsten englischsprachigen Mathematiker. Sein Buch veranschaulicht, wie stark unser Leben von angewandter Mathematik geprägt ist. Eine Rezension

Freistetters Formelwelt : Die unvorstellbare Vielfalt von Dreiecken

Dreiecke gehören zu den einfachsten geometrischen Figuren. Und doch können sie extrem komplex sein, wie eine Enzyklopädie zeigt, die besondere Punkte von Dreiecken auflistet.

Freistetters Formelwelt : Von der Banane zum Kosmos

Was nicht gerade ist, ist krumm. Aber wenn man anfängt, dieses scheinbar einfache Konzept mathematisch zu definieren, wird die Sache sehr bald existenziell.

Die fabelhafte Welt der Mathematik : Kann man die Form einer Trommel hören?

Die Antwort auf diese Frage hat etliche spannende Anwendungen – von Spionage bis Quantengravitation. Doch bis heute birgt das mathematische Gebiet etliche Rätsel.

Quantenphysik

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

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

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