Lógica Matemática - Ejercicios 9 - Punto 5.

Grupo 5 : Fabián Beltrán, Deivit Acuña, Cristian Bohorquez, David

Saavedra, Ivan Cuellar

Este ejercicio presenta una caracterización alternativa (Kleene) de la clase de funciones re-
cursivas totales (Rtot ). El resultado fundamental consiste en mostrar que (para las funciones
totales), suma, producto, discriminador, proyecciones S y minimización regular implican re-
k
currencia primitiva. Sea K la mı́nima subclase de k≥1 N(N ) que contiene a las funciones
de base {+, ·, δ, πin , n ≥ 1, 1 ≤ i ≤ n} (donde δ es el discriminador: δ(x, y) = 1 si x = y y
δ(x, y) = 0 si x 6= y), y que es cerrada bajo composición y minimización regular. El objetivo
fundamental consiste en demostrar K = Rtot .

(5) Utilizando:
(3) Existe una función en K que codifica sucesiones finitas de números naturales (es decir,
se tiene que ∃β ∈ K ∀a ∈ NN ∃a ∈ N ∀i 1 ≤ i ≤ n β(a, i) = ai ).
(4) La subclase de las relaciones de K es cerrada bajo conectivos proposicionales y cuantifi-
cación acotada (basta realizarlo para la negación, disyunción y existenciales acotados).
Pruebe que K es cerrado bajo recurrencia (también llamada ”recursión”) primitiva.

Solución: Iniciemos por enunciar y examinar cada definición, la razón por la cual esta es
una caracterización alternativa se debe a que es una forma del Teorema original de Kleene
de 1952 (P. Odifreddi, Classical Recurssion Theory, Elsevier, 1992, pag. 157), pero para la
clase de funciones recursivas totales (Rtot , subconjunto de las funciones recursivas parciales
que son definidas para cada entrada), y con más condiciones, aquı́ son más ”fuertes”.

K es la mı́nima subclase conteniendo a las funciones de base {+, ·, δ, πin , n ≥ 1, 1 ≤ i ≤ n}

tal que son de la forma f : Nk → N satisfaciendo que ∀n ∈ Nk ∃!n ∈ N : f (n) = n es decir,
es función total, cada elemento de su dominio tiene una imagen.

Además, tenemos que K es cerrada bajo composición; si f1 : Nk → N, ..., fn : Nk → N y

g : Nn → N pertenecen a K entonces g ◦ (f1 , ..., fn ) : Nk → N también pertenece a K. Y
cerrada bajo minimización regular; dada cualquier función total f : Nk+1 → N perteneciente
a K entonces la función total g : Nk → N definida por g(x1 , ..., xk ) = λ1 (si y sólo si
f (λ1 , x1 , ..., xk ) = 0 y f (λ2 , x1 , ..., xk ) > 0 siempre que 0 ≤ λ2 ≤ λ1 − 1), también pertenece
a K.

Y el hecho que K ⊆ Rtot (1) y S, Z ∈ K (2). Las funciones de base dadas para K son primiti-
vamente recursivas (también lo son S y Z) y lo es β (pues β ∈ K ⊆ Rtot ). K es cerrada bajo
composición de funciones, y la composición de funciones primitivamente recursivas es una
función primitivamente recursiva. La composición de las funciones previamente mostradas
es otra función primitiva recursiva que también esta en K, pero esto es distinto a ser cerrado
bajo recursión primitiva.

1
De (3) tenemos el hecho que que existe una función β ∈ K que codifica sucesiones finitas de
números naturales (∃β ∈ N ; ∀a = (a1 , a2 , ..., an ) ∈ Nn ∃a ∈ N ∀i 1 ≤ i ≤ n β(a, i) = ai ).
Y el hecho de que por (4) la subclase de las relaciones de K es cerrada bajo conectivos
proposicionales y cuantificación acotada. Si consideramos a la subclase de las relaciones
primitivas recursivas (es decir, relaciones de la forma R(n, z) ∈ (Nk × N) con n ∈ Nk , z ∈
N), pues son relaciones en una clase de funciones primitivas recursivas K. Tenemos que
son cerradas bajo una negación y disyunción definida sobre relaciones. Para la parte de
existenciales y cuantificación acotada, entonces si R(n, z) es una relación p.r. luego las
relaciones (∃z < y) R(n, z) y (∀z < y) R(n, z) también lo son.

Ahora, si tomamos la definción de clase cerrada bajo recursión primitiva. Dada g una función
k-ádica g(x1 , ..., xk ) : Nk → N y h una función k + 2-ádica h(y, z, x1 , ..., xk ) : Nk+2 → N
con g, h ∈ K. La función f dada por el operador de recursión primitivo (ρ) y definida
por ρ(g, h) = f cuando f es una función k + 1-ádica satisfaciendo que f (0, x1 , ..., xk ) =
g(x1 , ..., xk ) y f (y + 1, x1 , ..., xk ) = h(y, f (y, x1 , ..., xk ), x1 , ..., xk ) también pertenece a K
(por construcción). Notemos que la existencia de esta función f está dada siempre que
f (y, x1 , ..., xk ) esté definida si y sólo si g(x1 , ..., xk ) y h(z, f (z, x1 , ..., xk ), x1 , ..., xk ) están
definidas para z < y (tomando en cuenta lo del punto (4) para cuantificación y existencia
acotada).

Ası́ K es cerrada bajo recursión primitiva, como se querı́a probar. También es un resultado
que K = Rtot en algunas bibliografı́as (S. Centrone, Logic and Philosophy of Mathematics
in the Early Husserl, Springer, 2014, pag. 57).