logische Ableitbarkeit - Lexikon der Mathematik

Lexikon der Mathematik: logische Ableitbarkeit

Relation zwischen Mengen von Ausdrücken und einzelnen Ausdrücken eines logischen Kalküls, die das formale Beweisen (oder das Ableiten) charakterisiert (formaler Beweis, logische Ableitungsregeln).

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

Kosmische Topologie : Wie viele Löcher hat das Universum?

Der Weltraum wirkt wie eine unermessliche Weite, die sich in alle Richtungen erstreckt. Tatsächlich könnte die Gestalt des Kosmos viel komplexer sein, etwa wie ein seltsamer Donut.

Die fabelhafte Welt der Mathematik : Primzahlen brechen mit jeder Intuition

Eine Vermutung zur Zerlegbarkeit von Zahlen gilt in der Fachwelt als mahnendes Beispiel. Jahrzehntelang schien sie richtig zu sein. Dann lieferte 906.150.257 den Gegenbeweis.

Die fabelhafte Welt der Mathematik : Warum löst die ABC-Vermutung immer wieder Streit aus?

Die ABC-Vermutung erhitzt seit Jahrzehnten die Gemüter von Mathematikern. Nun führt ein neuer, vermeintlicher Beweis zu Unmut. Warum?

Ramsey-Theorie : Ein großer Schritt bei der Zähmung des Chaos

Wie Frank Ramsey vor fast 100 Jahren vermutete, ist das Universum ordentlicher als gedacht. Fachleuten haben die verborgene Ordnung jetzt ein gutes Stück fassbarer gemacht.

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