unentscheidbarkeit
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
unentscheidbarkeit [2010/08/26 13:04] – Externe Bearbeitung 127.0.0.1 | unentscheidbarkeit [2019/07/28 16:25] (aktuell) – Externe Bearbeitung 127.0.0.1 | ||
---|---|---|---|
Zeile 2: | Zeile 2: | ||
- Kernbegriff von 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.1282820644.txt.gz · Zuletzt geändert: 2019/07/28 14:39 (Externe Bearbeitung)