widerspruchsfrei
Schlagen Sie auch in anderen Wörterbüchern nach:
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
widerspruchsfrei — stimmig; konsistent * * * wi|der|spruchs|frei 〈Adj.〉 frei von Widersprüchen, keine Widersprüche in sich enthaltend ● die Thesen sind nicht ganz widerspruchsfrei * * * wi|der|spruchs|frei <Adj.>: frei von [logischem] ↑ Widerspruch (2): eine… … Universal-Lexikon
widerspruchsfrei — wi|der|spruchs|frei … Die deutsche Rechtschreibung
Kurt Gödel — als Student der Universität Wien Mitte der 1920er Jahre Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch amerikanischer Mathematiker und einer … Deutsch Wikipedia
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
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
Gödels Satz — 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
Satz von Gödel — 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
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
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — 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
