unentscheidbarkeit
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
unentscheidbarkeit [2010/02/08 16:13] – angelegt Robert-Christian Knorr | unentscheidbarkeit [2019/07/28 16:25] (aktuell) – Externe Bearbeitung 127.0.0.1 | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== UNENTSCHEIDBARKEIT ====== | ====== UNENTSCHEIDBARKEIT ====== | ||
- | - Kernbegriff von [[Gödel#Gödels]] [[Arbeit]] über formal unentscheidbare Sätze\\ | + | - Kernbegriff von Gödels [[Arbeit]] über formal unentscheidbare Sätze\\ |
- | * in einem mathematischen System kann ein Satz G geformt werden | + | * in einem mathematischen |
- | * der Satz ergibt sich einerseits aus den Prämissen und Axiomen des Systems und leitet sich folgerichtig davon ab | + | * der Satz ergibt sich einerseits aus den Prämissen und [[Axiom#Axiomen]] des Systems und leitet sich folgerichtig davon ab |
- | * der Satz sagt von sich selbst aus, daß er unbeweisbar ist | + | * der Satz sagt von sich [[selbst]] aus, daß er unbeweisbar ist |
unentscheidbarkeit.1265642027.txt.gz · Zuletzt geändert: 2019/07/28 14:39 (Externe Bearbeitung)