unentscheidbarkeit
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
unentscheidbarkeit [2013/04/01 18:21] – Robert-Christian Knorr | unentscheidbarkeit [2019/07/28 16:25] (aktuell) – Externe Bearbeitung 127.0.0.1 | ||
---|---|---|---|
Zeile 3: | Zeile 3: | ||
- 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 [[System]] kann ein Satz G geformt werden | ||
- | * 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.txt · Zuletzt geändert: 2019/07/28 16:25 von 127.0.0.1