unentscheidbarkeit
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungLetzte ÜberarbeitungBeide Seiten der Revision | ||
| unentscheidbarkeit [2010/02/08 16:14] – Robert-Christian Knorr | unentscheidbarkeit [2013/04/01 18:21] – Robert-Christian Knorr | ||
|---|---|---|---|
| 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.txt · Zuletzt geändert: 2019/07/28 16:25 von 127.0.0.1