| Autor |
Beitrag |
    
Lars Weiser
| | Veröffentlicht am Donnerstag, den 15. März, 2001 - 09:37: | 
|
Hallo Leute, ich habe folgendes Problem:
Sei M:={i aus N | i ist Gödelnummer einer total-berechenbaren Funktion}
Z.Zg.: M ist nicht aufzählbar.
Wäre toll, wenn mir jemand dabei helfen könnte !?
Übrigens: der Unterschied zwischen Abzählbarkeit und Aufzählbarkeit ist mir klar, kann man die obige Aufgabe auch mittels Widerspruch durch Diagonalisierung lösen ???
Gruß Lars |
|
