Ejercicio 01
Ejercicio 02
Ejercicio 03
Ejercicio 04
Ejercicio 05
Ejercicio 06
Ejercicio 07
Ejercicio 08
Ejercicio 09
Ejercicio 10
Ejercicio 11
Ejercicio 12
Enunciado: Probar que existe una funcion primitiva recursiva f(n,m) tal que .
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.
Ejercicio 13
Ejercicio 14
Ejercicio 15
Ejercicio 16
Ejercicio 17
Ejercicio 18
Ejercicio 19
Ejercicio 20
Ejercicio 21
Ejercicio 22
Ejercicio 23
Ejercicio 24
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!