Aqui esta la lista de teoremas y lemas con aclaraciones de que se toma.

Algunos consejos utiles

- para estudiar las demostraciones, es conveniente hacerlas para un
concreto y ademas tomar n y m concretos segun el caso. Esto esta permitido
para el examen teorico teniendo en cuenta que el caso particular que se tome
no afecte las ideas fundamentales de la prueba en cuestion.
- estudiar bien cada de nicion, si no tenemos bien entendida una de nicion, no podremos entender una prueba que se re era al objeto o concepto
que ella de ne
- cuando hagan un macro en un programa es muy importante determinar
en forma exacta cual es la funcion que tiene asociado ese macro la cual debe
ser -computable para poder aplicar la proposicion de existencia de macros.
dar dicha funcion consiste en dar su dominio y regla de asignacion en forma
independiente de la notacion usada en el tema del lenguaje S , como si
todavia estuviera en la parte de funciones recursivas de la materia. esto los
salvara del error muy comun de usar un macro del tipo [IF V1 2 S GOTO A1]
donde S es el dominio de una funcion -computable
- un segundo antes de largarse a programar un programa con ciertas
caracteristicas, veri quen que realmente esas caracteristicas son las correctas
a los nes de resolver el ejercicio
- siempre que hagan un programa el cual quieran que cumpla ciertas
consignas, una ves terminado, dejen pasar 5 minutos y controlen que el programa haga lo que uds tenian en mente

0.0.1

Ordenes naturales sobre

En este tema hay que entender las de niciones y saber los enunciados de los
lemas y teoremas pero no se tomaran las pruebas
Lemma 1 La relacion < sobre

es transitiva.

Prueba: no va
Lemma 2 La funcion s< :
manera:

, de nida recursivamente de la siguiente

s< (") = a1
s< ( ai ) = ai+1 ; i < n
s< ( an ) = s< ( )a1
tiene la siguiente propiedad
s< ( ) = minf 2

< g.

Prueba: no va
Corollary 3 s< es inyectiva
Prueba: no va
Lemma 4 Las funciones
#< :
"
aik :::ai0

<

:! !
x
! s<
x (")

son biyecciones una inversa de la otra.

! !
! 0
! ik nk + ::: + i0 n0

Prueba: no va
Corollary 5 Dado n
siguiente manera:
x = ik nk + ik 1 nk
con 1

ik ; ik 1 ; :::; i0

1; cada x
1

1 se escribe en forma unica de la

+ ::: + i0 n0 ;
nyk

0:

Prueba: no va

0.0.2

Codi cacion de sucesiones in nitas de numeros

En este tema hay que entender las de niciones y saber los enunciados de los
lemas y teoremas pero no se tomaran las pruebas
Lemma 6 Para cada x 2 !; hay una unica sucesion (s1 ; s2 ; :::) 2 ! [N] tal
que
x=

pr(i)si

i=1

1:

Prueba: no va
Lemma 7 Las funciones
! [N] ! !
(s1 ; s2 ; :::) ! hs1 ; s2 ; :::i

son biyecciones una inversa de la otra.

! ! ! [N]
x ! ((x)1 ; (x)2 ; :::)

Prueba: no va
Lemma 8 Para cada x 2 !:
1. Lt(x) = 0 sii x = 0
Lt(x)

2. x =

i=1

pr(i)(x)i

3. (x)1 + ::: + (x)Lt(x)

1
x:

Prueba: no va

0.0.3

Codi cacion de sucesiones in nitas de palabras

En este tema hay que entender las de niciones y saber los enunciados de los
lemas y teoremas pero no se tomaran las pruebas
Lemma 9 Las funciones
[N]

! U pl
( 1 ; 2 ; :::) ! h 1 ;

U pl
2 ; :::i

son biyecciones una inversa de la otra

3

[N]
!
! (( )1 ; ( )2 ; :::)

Prueba: no va
Lemma 10 Para
1.

; son equivalentes

2 U pl

2. [ ]i = [ ]1 ; para cada i tal que

Prueba: no va

Lemma 11 Sean S1 ; S2 ! n
Entonces S1 [ S2 y S1 \ S2 son

PLt(j

j=1

j)

(j j)j < i

j j

conjuntos -efectivamente enumerables.

-efectivamente enumerables.

Prueba: va
m
Lemma 12 Si S ! n
es
-efectivamente enumerable.

-efectivamente computable entonces S es

Prueba: va
m
Theorem 13 Sea S ! n
: Son equivalentes
(a) S es -efectivamente computable
m
(b) S y (! n
) S son -efectivamente enumerables

Prueba: va
m
Theorem 14 Dado S ! n
; son equivalentes
(1) S es -efectivamente enumerable
m
(2) S = ; o S = IF ; para alguna F : ! ! ! n
tal que cada Fi es
-efectivamente computable.
l
m
(3) S = IF ; para alguna F : DF ! k
! !n
tal que cada Fi
es -efectivamente computable.
(4) S = Df , para alguna funcion f la cual es -efectivamente computable.

Prueba: no va

Theorem 15 Si f 2 PR , entonces f es

-efectivamente computable.

Prueba: va
Lemma 16 (a) xy [x + y] 2 PR :
(b) xy [x:y] 2 PR :
(c) x [x!] 2 PR :
Prueba: va
Lemma 17 (a)
[
(b)
[j j] 2 PR

] 2 PR

Prueba: va
Lemma 18 (a) Ckn;m ; C n;m 2 PR ; para n; m; k

0;

Prueba: va
Lemma 19 (a) xy [xy ] 2 PR .
(b) t [ t ] 2 PR .
Prueba: va
Lemma 20 Si < es un orden total estricto sobre
pertenecen a PR
Prueba: va

, entonces s< ; #< y

<

Lemma 21 (a) xy x _ y 2 PR :
(b) xy [max(x; y)] 2 PR :
(c) xy [x = y] 2 PR :
(d) xy [x y] 2 PR :
(e)
[ = ] 2 PR
Prueba: va
m
m
Lemma 22 Si P : S
!n
! ! y Q : S
!n
! ! son
predicados -p.r., entonces (P _ Q); (P ^ Q) y :P lo son tambien.

Prueba: va
!n

Lemma 23 Si S1 ; S2
S1 S2 lo son.

son

-p.r., entonces S1 [ S2 ; S1 \ S2 y

Prueba: va
Corollary 24 Si S

!n

es nito, entonces S es

-p.r..

Prueba: va

m
Lemma 25 Supongamos f : Df
!n
! O es
f!; g: Si S Df es -p.r., entonces f jS es -p.r..

-p.r., donde O 2

Prueba: va
Lemma 26 Si f : Df
funcion -p.r. f : ! n

m
!n
! O es -p.r., entonces existe una
! O; tal que f = f jDf .

Prueba: va
Proposition 27 Un conjunto S es -p.r. sii S es el dominio de una funcion
-p.r.:
6

Prueba: va
m
Lemma 28 Supongamos fi : Dfi
!n
! O; i = 1; :::; k; son funciones -p.r. tales que Dfi \ Dfj = ; para i 6= j: Entonces f1 [ ::: [ fk .es
-p.r..

Prueba: va
Corollary 29 Supongamos f es una funcion -mixta cuyo dominio es nito.
Entonces f es -p.r..
Prueba: va
Lemma 30

i [[ ]i ] es

-p.r..

Prueba: va
Lemma 31 Supongamos S1 ; :::; Sn
!; L1 ; :::; Lm
son conjuntos no
vacios. Entonces S1 ::: Sn L1 ::: Lm es -p.r. sii S1 ; :::; Sn ; L1 ; :::; Lm
son -p.r.
Prueba: va
Lemma 32 (a) Si f y g son -p.r., entonces lo es R(f; g).
(b) Si f y g son #-p.r., entonces lo es R(f; g).
(c) Si f y cada Ga son -p.r., entonces lo es R(f; G).
Prueba: no corresponde porque segun las de niciones dadas este a~
no el
resultado es trivial

Lemma 33 (a) Si f : ! S1P::: Sn L1 ::: Lm ! Q

! es -p.r., entonces
t=y
t=y
lo son las funciones xy~x~
f
(t;
~
x
;
~
)
y
xy~
x
~
x; ~ ) .
t=x
t=x f (t; ~
(b) Si f : ! S1 ::: Sn L1 ::: Lm !
es -p.r., entonces lo es
t=y
la funcion xy~x~ t=x
f (t; ~x; ~ )
7

Prueba: va
Lemma 34 (a) Sea P : S S1 ::: Sn L1 ::: Lm ! ! un predicado p.r. y supongamos S S es -p.r.. Entonces x~x~ (8t 2 S)t x P (t; ~x; ~ )
y x~x~ (9t 2 S)t x P (t; ~x; ~ ) son predicados -p.r.
(b) Sea P : S1 ::: Sn L1 ::: Lm L ! ! un predicado -p.r.
y supongamos L L es -p.r.. Entonces x~x~ (8 2 L)j j x P (~x; ~ ; ) y
x~x~ (9 2 L)j j x P (~x; ~ ; ) son predicados -p.r..
Prueba: va
Lemma 35 (a) El predicado xy [x divide y] es -p.r..
(b) El predicado x [x es primo] es -p.r..
(c) El predicado
[ es tramo inicial de ] es -p.r..
Prueba: va

Theorem 36 Si f 2 R ; entonces f es

-efectivamente computable.

Prueba: va
m
Lemma 37 (a) Sea P : DP
! !n
! ! un predicado
Entonces M (P ) es -recursiva. Si hay una funcion -p.r. f : ! n
tal que

M (P )(~x; ~ ) = mint P (t; ~x; ~ )

entonces M (P ) es

f (~x; ~ ); para cada (~x; ~ ) 2 DM (P ) ;

-p.r..

Prueba: va

-p.r..
!!

Lemma 38 Las siguientes funciones son

-p.r.:

Q:! N ! !
(x; y) ! cociente de la division de x por y
R:! N ! !
(x; y) ! resto de la division de x por y
pr : N ! !
n ! n-esimo numero primo
Prueba: va
Lemma 39 Sea < un orden total estricto sobre
y sea P : DP
!n
m
! ! un predicado -p.r.. Entonces M < (P ) es -recursiva. Si
m
existe una funcion -p.r. f : ! n
! ! tal que
jM < (P )(~x; ~ )j = jmin< P (~x; ~ ; )j

entonces M < (P ) es

f (~x; ~ ); para cada (~x; ~ ) 2 DM < (P ) ;

-p.r..

Prueba: no va (solo se tomara el enunciado)

Lemma 40 Las funciones xi [(x)i ] y x [Lt(x)] son

-p.r.

Prueba: va (fue dado como ejercicio en la practica)

Lemma 41 (a) U pl es un conjunto -p.r..
(b) Las funciones i [( )i ] y
[Lt( )] son

-p.r.

Prueba: no va (solo se tomara el enunciado)

Lemma 42 (a) Para cada n 1; la funcion x1 :::xn [hx1 ; :::; xn i] es
(b) Para cada n 1; la funcion
-p.r.
1 ::: n [h 1 ; :::; n i] es
Prueba: no va (solo se tomara el enunciado)

-p.r.

Lemma 43 Supongamos
. (a) Si < es un orden total estricto sobre
<
; entonces las funciones
:!!
y #< :
! ! son -p.r..
(b) Si es un orden total estricto sobre ; entonces las funciones # j :
!! y
j# ( ) : # ( ) !
son -p.r..
Prueba: no va (tampoco el enunciado)
Lemma 44 Supongamos sea < un orden total estricto sobre . Dada h una
funcion -mixta, son equivalentes
(1) h es -recursiva (resp. -p.r.)
<
(2) h# es #-recursiva (resp. #-p.r.)
Prueba: no va (tampoco el enunciado)

Theorem 45 Sean y alfabetos cualesquiera.

(a) Supongamos una funcion f es -mixta y -mixta, entonces f es
recursiva (resp. -p.r.) sii f es -recursiva (resp. -p.r.).
(b) Supongamos un conjunto S es -mixto y -mixto, entonces S es
p.r. sii S es -p.r..

Prueba:no va (solo se tomara el enunciado)

Lemma 46 Si I1 :::In = J1 :::Jm ; con I1 ; :::; In ; J1 ; :::; Jm 2 Ins ; entonces
n = m y Ij = Jj para cada j 1:
Prueba: no va (solo se tomara el enunciado)
m
Proposition 47 (a) Sea f : S ! n
! ! una funcion -computable.
Entonces hay un macro
f (V1; :::; Vn; W1; :::; Wm)
Vn + 1
m
(b) Sea f : S
!n
!
una funcion -computable. Entonces
hay un macro
Wm + 1
f (V1; :::; Vn; W1; :::; Wm)

10

Prueba: no va (solo se tomara el enunciado)

m
Proposition 48 Sea P : S
!n
! ! un predicado
Entonces hay un macro
[IF P (V1; :::; Vn; W1; :::; Wm) GOTO A1]

-computable.

Prueba: no va (solo se tomara el enunciado)

Theorem 49 Si h es

-recursiva, entonces h es

-computable.

Prueba: va
Lemma 50 (a) Ins es un conjunto ( [ p )-p.r..
(b) Bas y Lab son funciones ( [ p )-p.r.
Prueba: va (en la prueba se usa que k k es ( [ p )-p.r para lo cual
hay que aplicar el teorema de la independencia del alfabeto)
Lemma 51 (a) P ro es un conjunto ( [ p )-p.r.
(b) P [n(P)] y iP IiP son funciones ( [ p )-p.r..
Prueba: va
Lemma 52 Las funciones isuc ; E#suc y E

suc

son ( [

p )-p.r..

Prueba: no va
Proposition 53 Las funciones i; E# y E son ( [

p )-p.r..

Prueba: no va, solo hay que entender la idea de la demostracion

Theorem 54 Las funciones

n;m
#

n;m

Prueba: va

11

son ( [

p )-recursivas.

Corollary 55 Si f : Df
-recursiva.

!n

! O es

-computable, entonces f es

Prueba: va
Corollary 56 Si f : Df
!n
n+1
un predicado -p.r. P : !
tales que f = g M (P ):

m
m

! O es -recursiva, entonces existe

! ! y una funcion -p.r. g : ! ! O

Prueba: no va (el enunciado tampoco)

m
Lemma 57 Supongamos fi : Dfi
!n
! O; i = 1; :::; k; son funciones -recursivas tales que Dfi \ Dfj = ; para i 6= j: Entonces la funcion
f1 [ ::: [ fk .es -recursiva.

Prueba: va (se puede optar por la demostracion usando el paradigma

imperativo, la cual fue dada como ejercicio en la practica)
Lemma 58 Halt es no ( [

p )-recursivo.

Prueba: no va (el enunciado tampoco)

Lemma 59 Supongamos

p:

Entonces AutoHalt es no

-recursivo.

Prueba: va
m
Theorem 60 Dado S ! n
, son equivalentes
(1) S es -recursivamente enumerable
l
(2) S = IF ; para alguna F : DF ! k
! !n
es -recursiva.
(3) S = Df , para alguna funcion f -recursiva
(4) S = ; o S = IF ; para alguna F : ! ! ! n
-p.r.

12

tal que cada Fi

tal que cada Fi es

Prueba: solo se toma (2))(3) (el enunciado si va)

Corollary 61 Supongamos f : Df
!n
Df es -r.e., entonces f jS es -recursiva.

! O es

-recursiva y S

Prueba: va
m
Corollary 62 Supongamos f : Df ! n
! O es -recursiva y S
1
es -r.e., entonces f (S) = f(~x; ~ ) : f (~x; ~ ) 2 Sg es -r.e..

If

Prueba: no va
Corollary 63 Supongamos S1 ; S2
tonces S1 \ S2 es -r.e..

!n

son conjuntos

-r.e.. En-

!n

son conjuntos

-r.e.. En-

Prueba: va
Corollary 64 Supongamos S1 ; S2
tonces S1 [ S2 es -r.e.
Prueba: va
m
Theorem 65 Sea S ! n
: Son equivalentes
(a) S es -recursivo
m
(b) S y (! n
) S son -recursivamente enumerables

Prueba: va

Lemma 66 Supongamos que

es

p:

Entonces

P 2 P ro : AutoHalt(P)

-r.e. y no es

-recursivo. Mas aun el conjunto

P 2 P ro : :AutoHalt(P)

no es

-r.e.

13

Prueba: va
Lemma 67 Sea L
: entonces L = L(M ) para alguna maquina de Turing M sii L = H(M ) para alguna maquina de Turing M = (Q; ; ; ; q0 ; B; F ).
Prueba: no va (el enunciado tampoco)
n

Lemma 68 El predicado ndd0 d ` d0 es ( [ Q)-p.r..

Prueba:
isolo se tomara de esta prueba la parte en la cual se prueba que
h
ndd0 d ` d0 es ( [ Q)-p.r, y la idea de como sigue la demostracion
Theorem 69 Sea M = (Q; ; ; ; q0 ; B; F ) una maquina de Turing. Entonces L(M ) es -recursivamente enumerable.
Prueba: no va (el enunciado tampoco)
!n

Theorem 70 Supongamos f : S
Entonces f es -recursiva.

! O es

-Turing computable.

Prueba: va
Lemma 71 Sea P 2 P ro y sea k tal que las variables que ocurren en P
estan todas en la lista N1; :::; Nk; P1; :::; Pk: Entonces hay una maquina de
Turing deterministica con unit M = (Q; [ fB; pg; ; ; q0 ; B; p; fqf g) la cual
satisface
(1) (qf ; ) = ;; para cada

[ fB; pg:

(2) Cualesquiera sean x1 ; :::; xk 2 ! y

detiene partiendo del estado
((x1 ; :::; xk ; 0; :::); (

1 ; :::;

1 ; :::;

k ; "; :::))

sii M se detiene partiendo de la descripcion instantanea

14

; el programa P se

bq0 B px1 B:::B pxk B

1 B:::B

k Bc

(3) Si P se detiene partiendo del estado

((x1 ; :::; xk ; 0; :::); (

1 ; :::;

k ; "; :::))

y llega al estado
((y1 ; :::; yk ; 0; :::); ( 1 ; :::;

k ; "; :::))

entonces
bq0 B px1 B:::B pxk B

1 B:::B

k Bc

` bqf B py1 B:::B pyk B 1 B:::B

k Bc

Prueba: no va, solo hay que poder enunciarlo y entender la idea de la

demostracion al punto de poder, usando las maquinas que estan dadas en el
apunte, construir para un programa dado su maquina simuladora.
Theorem 72 Si f : Df
-Turing computable.

!n

! O es

-recursiva, entonces f es

Prueba: va
Theorem 73 Si L
es -r.e., entonces L = L(M ) = H(M ) para alguna
maquina de Turing deterministica M:
Prueba: no va (el enunciado tampoco)

15