Diagonalisierung < Komplex. & Berechnb. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Es sei [mm] $PRK^1$ [/mm] die Menge der einstelligen primitiv-rekursiven Funktionen. Eine Funktion [mm] $\psi':\IN \rightarrow PRK^1$ [/mm] sei wie die Funktion [mm] $\psi:\IN \rightarrow P^{(1)}$ [/mm] definiert mit Rückgriff auf die LOOP-Programme.
Zeigen Sie mittels Diagonalisierung, dass es eine totale, nicht primitiv-
rekursive Funktion [mm] $g:\IN \rightarrow \IN$ [/mm] gibt. |
Hallo,
hier habe ich leider gerade gar keine Idee, wie ich vorgehen soll. Für einen Tipp wäre ich sehr dankbar.
Vielen Dank.
Gruß, Stefan.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Mo 23.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
