Ej. 12
Pruebo que existe f(n,m) recursiva primitiva.
Defino , g es claramente computable. Entonces existe z tal que .
Por el Teorema del Parametro, existe tal que .
Entonces es primitiva recursiva y cumple con lo pedido.
Porqueria
Dada f recursiva parcial, se dice extensible si existe una funcion g total tal que g en Dom(f) = f.
recursiva parcial
Si existe g(x) que la extiende dado calculo
g(x) pasos
\phi (x,x) g(x)
todo esto creo, no sirve para nada
Ej practica 9
g(x) la extiende, entonces existe Y tal que = g
Absurdo!