Gödelscher Unvollständigkeitssatz

Erste Frage Aufrufe: 610     Aktiv: 04.06.2020 um 00:31
0

Kann mir jemand erklären warum der Gödelsche Unvollständigkeitssatz nur für rekursiv aufzählbare Systeme gilt, und nicht für rekursive?

Diese Frage melden
gefragt

Student, Punkte: 10

 
Kommentar schreiben
1 Antwort
0

Wenn er für rekursiv aufzählbare Systeme gilt, dann erst recht auch für rekursive, denn die rekursiven Systeme bilden eine Teilmenge der rekursiv aufzählbaren.

Diese Antwort melden
geantwortet

Lehrer/Professor, Punkte: 7.74K

 

Kommentar schreiben