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

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

»Verkannt, verfemt, vergessen«: Große Unbekannte der Mathematik

Wie viele große Leistungen der Mathematik bisher noch nicht angemessen gewürdigt wurden, macht Heinz Klaus Strick mit seinen biografischen Porträts erlebbar. Eine Rezension

»Mathe fürs Leben«: Mit Schokolinsen Statistik lernen

Edward van de Vendel und Ionica Smeets machen neugierig auf Mathe – auch mit Hilfe kindgerechter Alltagsgeschichten und witziger Comics von Floor de Goede. Eine Rezension

Zahlentheorie: Es gibt eine neue größte Primzahl

Das gemeinschaftliche Projekt GIMPS hat die größte bisher bekannte Primzahl hervorgebracht. Die aus mehr als 41 Millionen Stellen bestehende Zahl läutet eine neue Ära ein.

»Co-Intelligence«: Die KI sollte immer mit am Tisch sitzen

ChatGPT ist ein sehr seltsamer Gesprächspartner. Aber man kann mit ihm auskommen, und er kann sich nützlich machen, meint Ethan Mollick. Eine Rezension

Themenkanäle

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.

Zahlentheorie

Neben den natürlichen Zahlen, die uns schon in der Grundschule begegnen, gibt es etliche andere Zahlensysteme. Einige von ihnen werfen spannende Fragen auf.

Statistik

Ohne Statistik wäre die ganze Wissenschaft nichts. Doch die Zahlen können auch in die Irre führen. Was bedeuten p-Wert und Co? Und wo lauern Fallstricke?

SponsoredPartnerinhalte