Diskussion:Unentscheidbarkeit
aus Wikipedia, der freien Enzyklopädie
Gibt es eigentlich noch andere unentscheidbare Ausagen welche nicht selbstbezüglich sind ?
"Eine Aussage ist unentscheidbar, wenn weder seine Wahrheit, noch seine Unwahrheit bewiesen werden kann." Kann so nicht stimmen, wenn semi-entscheidbar, bei dem ja die Wahrheit bewiesen werden kann, laut Artikel ebenfalls zu den unentscheidbaren zählt.
Das Komplement der Diagonalsprache ist ebenfalls unentscheidbar, das steht fehlerhaft im Artikel!
