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

»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

Freistetters Formelwelt: Mathematik offenbart Überraschungen in einem Kinderspiel

Wenn der Ausgang eines Spiels allein vom Glück abhängt, ist es eigentlich ziemlich uninteressant. Spannend wird es aber, wenn man die Mathematik dahinter betrachtet.

»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

Freistetters Formelwelt: Warum Pluto kein Planet mehr ist

Dass Pluto kein Planet mehr ist, ärgert manche Menschen auch nach fast 20 Jahren. An der Problematik, Planeten zu definieren, hat sich nicht viel geändert.

Themenkanäle

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?

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