Widerspruchsfreiheit
Schlagen Sie auch in anderen Wörterbüchern nach:
Widerspruchsfreiheit — Widerspruchsfreiheit, Konsistẹnz, mathematische Logik: eine Eigenschaft einer Menge X von Ausdrücken einer mathematischen Theorie; X heißt semantisch oder inhaltlich widerspruchsfrei, falls jeder aus X beweisbare Ausdruck allgemein gültig ist … Universal-Lexikon
Widerspruchsfreiheit — In der Logik gilt eine Menge Φ von Aussagen als konsistent oder widerspruchsfrei, wenn aus ihr kein Widerspruch abgeleitet werden kann. Das bedeutet in der Prädikatenlogik, dass es keinen Ausdruck gibt derart, dass sowohl als auch aus Φ ableitbar … Deutsch Wikipedia
Axiomensystem — Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden.[1][2] Die Ableitung erfolgt dabei durch die… … Deutsch Wikipedia
Widerspruchsfrei — In der Logik heißt eine Aussage oder ein Menge von Aussagen widerspruchsfrei oder konsistent, wenn sie keinen Widerspruch enthält und ein solcher auch nicht durch logische Schlussfolgerungen abgeleitet werden kann. Die Widerspruchsfreiheit kann… … Deutsch Wikipedia
Hilbert-Programm — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… … Deutsch Wikipedia
Hilberts Programm — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… … Deutsch Wikipedia
Hilberts zweites Problem — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… … Deutsch Wikipedia
Axiomatisches System — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Axiomensystem (auch: Axiomatisches System) ist im engeren Sinn… … Deutsch Wikipedia
Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
