Está en la página 1de 7

Lgica Matemtica

(Apuntes de clase - basados en el libro de Vnnen)


Andrs Villaveces
de julio de :o:
Resumen
Traduccin libre del libro de Vnnen Matemaattinen logiikka
para uso en clase en la Universidad Nacional - Bogot, :o: - mez-
clado con notas personales.
+. Funciones recursivas
Defs bsicas, etc.
+.+. Funciones primitivas recursivas
Usamos la notacin f : N N o simplemente f o f(x) a menos
que haya riesgo de confusin. La composicin de funciones se dehne
como de costumbre: si f es n-aria y g
1
, , g
n
son funciones m-arias,
la compuesta es la funcin m-aria h dada por
h(x
1
, , x
m
) = f(g
1
(x
1
, , x
m
), , g
n
(x
1
, , x
m
)).
Denicin +.+.+ La clase de las funciones primitivas recursivas (p.r.)
es la familia ms pequea de funciones entre nmeros naturales que
incluye las funciones
Z(n) = 0 (funcin nula)
S(n) = n + 1 (funcin sucesor)
Pr
n
i
(x
1
, , x
n
) = x
i
(funcin proyeccin)

Universidad Nacional - Lgica Matemtica II- :


y que es cerrado por composiciones que siguen la siguiente regla de
recursin: si las funciones f (n-aria) y g ((n + 2)-aria) son primitivas
recursivas, entonces la funcin n + 1-aria h dada por

h(0, x
1
, , x
n
) = f(x
1
, , x
n
)
h(y + 1, x
1
, , x
n
) = g(y, h(y, x
1
, , x
n
), x
1
, , x
n
)
es primi-
tiva recursiva. Esto incluye el caso n = 0: en esta situacin h(0) = a
(constante), h(y + 1) = g(y, h(y)).
No es difcil ver que f y g determinan de manera nica a h.
Ejemplo +.+.i Las siguientes funciones son p.r.:
. La suma a(n, m) = n + m,
. La multiplicacin p(n, m) = n m,
. La exponencial e(n, m) = n
m
,
. Las constantes C
k
(n) = k,
. La resta truncada
x

y =

x y, si x y
0, si x < y.
Dada una relacin n-aria R sobre un conjunto X, la funcin carac-
terstica de R es la funcin f
R
: X
n
{0, 1} tal que f
R
(x
1
, , x
n
) = 1 si
(x
1
, , x
n
) R y f
R
(x
1
, , x
n
) = 0 si (x
1
, , x
n
) / R.
Decimos que una relacin R es una relacin primitiva recursiva si
su funcin caracterstica f
R
es una funcin p.r..
Note que las funciones 1

x, sg(x) = 1

(1

x) son p.r. la funcin


sg(x) arroja 1 si x > 0 y arroja 0 si x = 0.
Igualmente, las relaciones p.r. son cerradas bajo combinaciones
booleanas.
Teorema +.+. Si f es una funcin p.r. (n+1)-aria entonces las funciones
g(y, x) =
y

i=0
f(i, x
1
, , x
n
)
y
h(y, x) =
y

i=0
f(i, x
1
, , x
n
)
son p.r.
Universidad Nacional - Lgica Matemtica II-
Drxos1v~cioN Ejercicio.
Corolario +.+. Si R(z, x) es una relacin p.r. y
S(y, x) z yR(z, x)
(para todos los z y donde vale R(z, x)) entonces la relacin S es p.r..
Igualmente, la relacin
T(y, x) z yR(z, x)
es p.r..
Drxos1v~cioN Usar funciones caractersticas.
Por ltimo, decimos que f proviene de la relacin R mediante mi-
nimizacin acotada,
f(y, x) = z yR(z, x),
si
f(y, x) =

mnimo z y tal que R(z, x), si existe tal z


0, de lo contrario.
Teorema +.+. La clase de las funciones primitivas recursivas es cerrada
bajo minimizacin acotada.
Drxos1v~cioN Sean R y f como arriba. Entonces f(0, x) = 0 y
f(y + 1, x) =

f(y, x) si z yR(z, x)
y + 1 si R(y + 1, x) y z y(R(z, x))
0 en los otros casos.
Como f se puede dehnir mediante reglas de recursin mutuamente
excluyentes, resulta que f es p.r..
Ejemplo +.+.6 Las siguientes funciones son p.r.:
x/y = (z x(z y > x))

1

x = (y x(x < y
2
))

1

2
log(x + 1) = (y x(x < 2
y
))

1.
Tambin podemos ver fcilmente que hay funciones que no son
p.r.: claramente, hay solo una cantidad numerable de stas, pero el
conjunto de todas las funciones N N no es enumerable. Adems, si
f
0
(x), f
1
(x), es la sucesin de todas las funciones p.r. en una varia-
ble entonces
g(n) = f
n
(n) + 1
no puede ser p.r. (por qu?).
Universidad Nacional - Lgica Matemtica II-
+.+.+. Codicar tuplas y funciones
. Usamos la biyeccin : N N N dada por (x, y) =
1
2
((x +
y)
2
+ 3x + y. No es difcil verihcar que esta biyeccin es una
funcin p.r. Adems usamos las proyecciones
(z) = (x z)(y z)((x, y) = z)
(z) = (x z)(x z)((x, y) = z),
con lo cual
((x, y)) = x y ((x, y)) = y.
:. Podemos codihcar (esto es muy til ms adelante) de otra mane-
ra. Primero demostramos
La funcin rm(x, y) (residuo al dividir x por y) y la relacin
x|y son p.r.
Las relaciones PR(x, y) (x y y son primos relativos) y Pr(x)
(x es primo) son p.r.
Teorema Chino del Residuo: dados n
1
, . . . , n
k
nmeros na-
turales primos relativos, y dados a
1
, . . . , a
k
naturales tales
que a
i
< n
i
cuando i = 1, . . . , k, existe mtal que rm(m, n
i
) =
a
i
para todo i = 1, . . . , k.
(Corolario del anterior:) Dados a
1
, . . . , a
k
nmeros natura-
les arbitrarios, existen m y n tales que
rm(m, 1 + jn) = a
j
,
para j = 1, . . . , k.
Este teorema muestra otra manera de codihcar cualquier k-
tupla en los naturales. Ser til ms adelante (ver Teore-
ma .:.), al caracterizar las funciones recursivas.
. Una tercera manera, muy til, es la siguiente. Sea p
k
(k < )
la sucesin creciente de los nmeros primos. As, p
0
= 2, p
1
=
3, p
2
= 5, . . . Dado cualquier nmero m > 0, existe una nica
descomposicin
m = 2
a
0
. . . p
a
k
k
,
donde a
k
= 0.
. La funcin i p
i
es p.r.
La funcin exp(m, i) = el exponente del nmero primo p
i
en la
Universidad Nacional - Lgica Matemtica II-
expansin de m - esta tambin es p.r.
La funcin len(m) = 1 + m ax k tal que exp(m, k) = 0 (casos
especiales: len(0) = len(1) = 0, exp(0, i) = 0).
. Con lo anterior, se tiene entonces que
m =
k

i=0
p
exp(m,i)
i
, k = len(m) 1.
. Podemos usar lo anterior para codihcar sucesiones de naturales
a
0
, . . . a
k
mediante el natural m, mediante exp(m, i) = a
i
+ 1,
para i = 0, . . . , k. Por ejemplo, a la sucesin 3, 0, 2, 0 corresponde
el natural 2
4
3
1
5
3
7
1
= 42000.
,. Codicar funciones: si f(x, y) es una funcin de N
k+1
en N, en-
tonces dehnimos

f(x, y) =
x

i=0
p
f(i,y)+1
i
,
con esto

f(x, y) est codihcando la sucesin f(0, y), . . . , f(x, y).
El siguiente teorema muestra que en la dehnicin de una funcin
p.r. podemos usar esquemas de recursin acumulativos: esquemas
de recursin que usan todos los valores anteriores a un valor dado.
Teorema +.+., Si g(y) y h(x, z, y) son funciones p.r. y se defne f(x, y)
mediante
f(0, y) = g(y)
f(x + 1, y) = h(x,

f(x, y), y)
entonces la funcin f es p.r.
Drxos1v~cioN Armamos una funcin auxiliar para la demostra-
cin. La funcin p.r. auxiliar resulta tener la propiedad F(x, y) =

f(x, y).
Tomamos F(0, y) = p
f(0,y)+1
0
y
F(x + 1, y) = F(x, y)p
f(x+1,y)+1
x+1
= F(x, y)p
h(x,F(x,y),y)+1
x+1
.
Entonces F es p.r. Pero entonces f(x, y) = exp(F(xy), x) 1... clara-
mente p.r.
Ejemplo +.+.8 Funcin de Fibonacci.
Universidad Nacional - Lgica Matemtica II-
+.i. Funciones recursivas
Las funciones recursivas se forman a partir de las funciones p.r.
mediante minimizacin no acotada.
Sean R(y, x
1
, . . . , x
n
) una relacin y f(x
1
, . . . , x
n
) una funcin. De-
cimos que f se logra a partir de R mediante minimizacin si para todo
x
1
, . . . , x
n
. Existe y tal que R(y, x
1
, . . . , x
n
) y
:. f(x
1
, . . . , x
n
) = el mnimo y tal que R(y, x
1
, . . . , x
n
).
Escribimos en ese caso
f(x
1
, . . . , x
n
) = yR(y, x
1
, . . . , x
n
).
El teorema que sigue es muy importante. Dice que la minimiza-
cin

es suhciente para el esquema de recursin. Y por lo tanto se pue-


de cambiar la dehnicin misma de recursin. La demostracin mues-
tra el uso de nuestras codihcaciones.
Teorema +.i.+ Sea F un conjunto de funciones y relaciones que contiene
las funciones S, Pr
n
i
, +, ,

y es cerrado bajo composicin y minimiza-
cin. Entonces F es cerrado para el esquema de recursin.
Drxos1v~cioN Sean f(x) y g(y, z, x) funciones en F y sea h(y, x)
obtenida mediante recursin a partir de f y g. La idea de recursin es
que el nmero h(y, x) se puede calcular como una sucesin
h(0, x), h(1, x), . . . , h(y 1, x), h(y, x).
Por el corolario al teorema Chino del residuo (ver :), existen u y v
que codihcan esta sucesin. Si ponemos m = (u, v) y (m, i) =
rm((m), 1 + (i + 1)(m)), entonces vale que (m, i) = h(i, x), de
lo cual se sigue que
h(y, x) =

(m, 0) = f(x) y
i < y((m, i + 1) = g(i, (m, i), x))

, y

no acotada
Universidad Nacional - Lgica Matemtica II- ,
No es difcil verihcar que rm(x, y) y (x, y) estn en F. Por lo tanto la
relacin R(m, y, x):
(m, 0) = f(x) y i < y

(m, i + 1) = g(i, (m, i), x)

est en F. Pero R(m, y, x) puede expresarse de la forma


(m, 0) = f(x) y
y = z

(m, z + 1) = g(z, (m, z), x) o z = y

.
Por lo tanto podemos concluir que , f, g y = estn en el conjunto F.

Denicin +.i.i El conjunto de las funciones recursivas es el mnimo


conjunto de funciones que contiene las funciones
S, Pr
n
i
, +, ,

y es cerrado bajo composicin y minimizacin. Una relacin es recursiva


si su funcin caracterstica lo es.
Un ejemplo de una funcin recursiva que no es p.r. es la famosa
funcin de Ackermann. Sean

A
0
(y) = y + 1
A
x+1
(0) = A
x
(1)
A
x+1
(y + 1) = A
x
(A
x+1
(y)).
Observe que A
2
(y) = 2y +3, A
3
(y) = 2
y+3
3 y que A
4
es una es-
pecie de funcin exponencial iterada. La funcin de Ackermann est
dada por
A

(x) = A
x
(x).
Se puede ver (ejercicio) que para toda funcin p.r. f existe un nmero
n tal que f(x) < A
n
(x) para todo x. As, la sucesin de las funciones
A
n
domina a todas las funciones p.r. Por lo tanto, la funcin de Acker-
mann A

no puede ser p.r. Sin embargo, es una funcin recursiva.