Escolar Documentos
Profissional Documentos
Cultura Documentos
•
.... lecciones populares .
.
•
•
...
de matemáticas ....
..•. •••
.•... I
..••
.... MAQUINA .••
..... DE
...
.... POST
...
.... v . A. Uspenski
••
... •• . • •
. ••
.... •••
... u 1 1 1 lvlvlv!vlvl 1 1 1 \ •••••
...
... •
... 11 1 1 1 lvlvlvlvlvl 1 1 1 ) ...•
..•••
...
..
....• 11 1 1 1 lvlvlvlvlvl 1 1 1 ) ..•••
• .•
.
. •
...
...
...
• ••
••
••
..•••
... Moscú
•.
..•••••. ..... •..••.............•........•. ....•..•...... . ••
nonYJl.51PHblE JIEKUJHf no MATEMATMKE
B. A . YcnEHCKMA
MAWHHA noCTA
V. A. USPENSKI
MÁQUINA DE POST
EDITORIAL MIR
MOSCO
IMPRESO EN LA URSS
Ha u cn.aHcKOM Jf.3WKe
Prefacio 6
Capítulo l. Cómo trabaja la máquina <le Post U
§1. «Vista exterior» de la máquina de Post n
~2. Programa para Ja máquina de Post 12
§3. Funcionamiento de la m~quina de Post 14
§4. Ejemplos del cumplimiento de los programas 17
§5. Notas metodológicas 20
}1 lt
FIG . l. La cinta de la máquina de Post se divide en células y se
extiende infinitamente a la izquierda y a la derecha
_,, -4 -J -2 -f o f z J 4 5 (j
\ 1 1 1 1 1 1 1 1 1 1 1 1 1~
FIG. 2.
llvl 1 t, lv l lvlvl 1 1 1 1i
FIG. 3. Cada célula de la cinta está v acía o contiene una m an:a
)1 1 1 1 1 ! 1 1 1\
JI 1 11 1 1
a)
• 1 1 B
• b)
FIG. 4. Cu ando el carro es tá inmóvil, c!ste se ~ ncu enlra frente a una
de las el-lulas de la cinta de la ma nera que so mut~s trn e11 la fig . a) ,
pero 110 de la manera que se muest ra en la fig. b) . La s ituación que
viene cxp u ~l<J en la fig. b) puede s urgi r sólo durante el procese) ck
movimiento del carro
para cada uno de los saltos <le cada una de las instrucciones de
la lista se encontrará en ésta tal instrucción, cuyo número es
igual al salto examinado).
Por ejemplo, la siguiente lista será el programa para la
máquina de P ost:
1. stop 3. ~ 3
/4
2. ?'- 4. stop
1
En tanto que las siguientes dos listas no servirán de programas
para la máquina de Post, aunque están compuestas de las ins-
trucciones para la misma:
/ 4
2. ?' 1 3. ~3
1. stop 4 . stop
(no está cumplida la primera condición);
l. stop 3. g 3
/4
2. ? , 4. s top
5
(no está cumplida la segunda cond ición) .
Para mayor evidencia escribiremos ~P. columna los progr?.-
mas para la máquina de Post, El núm~ro de instrucciones del
progr~ina se llama longitud qel programa.
Ejercicio. Copiar todos los programas para la máquina de
Post de la longitud 1. ¿Cuántos programas existen de la longi -
tud 2; de la longitud 3, de la longitud n?
r!
•
FIG . 5 •
rIG. 6 •
FJG. 7
ción Nº5. Esta vez la célula observac:la está marcada, por est e
motivo, acto segu ido, será ejecutada la insfrucción con el
número que es:igual al salto inferior, es decir, al número 3.
Después de cumplir en el sexto paso la instrucción Nº3 la
máquina llegará a l estado que se muestra en la figura 9 y co-
menzará, en eJ séptimo paso, elcumplímientodela instrucción
Nº2. Sin embargo, esta instrucción resulta irrealizable,
A} 1 ¡v¡ 11
•
1
11 l IV! 11
•
.B 1
e I1 IVI 1 1i
•
PJG . 11
3. stop
4. *2.
2. ~ 3
4. =>2
2. V4
produce una parada sin resultados para A, de resultados para B
y funcionamiento infinito de Ja máquina para C.
Ejercicio t. ¿Puede existir o no un programa que produzca
una parada de resultados con cualquier estado inicial? ¿Una
parada sin resultados? ¿El funcionamiento ilimitado de la
máquina? ¿Cuál será el número mínimo de instrucciones en
estos programas?
Ejercicio 2. Acerca de cierto programa es conocido que
existe un estado inicial para el cual aquél proporciona una
parada de resultados, existe un estado inicial para el cual el
primero produce una parada sin resultados y existe un estado
inicial para el cual el mismo da el funcionamiento infinito
de la máquina. Demostrar que el número de instrucciones en
este programa no es menos de 4. Escribir todos estos progra-
mas de la longitud 4.
§ 5. NOTAS METODOLÓGICAS
11 lvlvlvl 1 1~
FIG. 13
-z -f O I Z J 4 5 ó 7 11 9
-1¡-J
11 1 1 1 1 1 1 1 1 1 1 M\/M 1 J{
-4-3-2-1 o t 2 J ~
l I 1 1 lvlvJvl 1 1 1 1 1 1 1 1· 1 1{
•
5 ó 7 lf g
-4 -3 •
-z -t o f z J 4 5 8 7 8 g
l I l 1 1 1 Jvlvlvl 1 1 1 1 1 1 1 1{
•
FIG. 15. Los estados de la clase An se distinguen uno del otro sólo
por el .:desplazamiento» con respecto a l sistema de coordenadas
-t o I
ll 1 lv!Vlvl 11 1 1 ] 1 H
(1 1 !
- f
1 1 1 1
•(}
11! 1
f
1 IVIVIVI 1 1 ll
ll ¡
• 1
-f
11
of
1 1:1 MVl\ll H
il ¡.ti Q1
f
1
•
lvlvlVI 1 1 1 u
¿1
-f o1
1 1 1 fVfV1VI
•
1 1 1 1 1?
FIG. 16 •
mas que satisfacen el planteamiento del,'probfema 1. En efec-
to, se puede demostrar (Y nosotros aconsejamos al lector que
lo haga) que ningún programa de la longitud 1 ó 2 puede ser-
vir como solución del problema l; sin embargo, existe a ún
exactamente un programa de la longitud 3 que también es la
solución de nuestro problema; he aquí este programa:
30
Programa 12
l. <= 3
2. stop
s. V 2.
Ejercicio. Demuestren que existen infinita cantidad de
programas que sirven de soluciones para el problema 1.
Observación. Con 1z fijado, los estados de An se distinguen uno
del otro sólo por el desplazamiento con respecto al origen de coordena·
das (fig. 15) . Cualquiera que sea el programa que hubiéramos aplicado
a estos estados iniciales, los resultados que se obtendrían, evidente·
mente, se dist inguirlan uno del otro por un mismo desplazamiento.
Por esta razón, es suficiente seleccionar de ca da clase An un solo
estado ª n y componer el programa que va a trasladar cada an a cierto
estado de En+i· Cualquier semejante programa automáticamente será
la solución del problema J. Notemos, que el estado an se puede selec-
cionar de An de modo en absoluto al azar.
De manera completamente análoga al problema l puede ser
resuelto el problema 1' que difiere del primero sólo en que al
comienzo el carro observa Ja célula más a la derecha del juego.
Precisamente, designemos por A~ 1a clase de todos aquellos
estados de En. en los cuales el carro observa la célula más dere-
cha de entre las marcadas. En este caso la enunciación corta del
problema l' será como sigue:
P.roblema 11 (enunc1ación corta). Escribir tal programa pa·
rafa máquina de Post que para cualquier n, siendo aplicado al
estado arbitrario de la clase A~, da la parada de resultados en
cierto estado de la cJase En+i·
Los siguientes dos programas serán los más cortos y únicos
que satisfacen el plantP.am<ento tiel problema 1'·
Programa 1;
l. => 2
2. V 3
3. stop.
Programa I~
l. =>- 3
2. stop
3. \! '2,
31
!I 1 lvlvlvlvlvl 1 1 1 1 1 11
!1
•
lvlvlvlvlvl 1 i
H
•
lvlvlvlvlvl 1~
• FIG. 17
F JG. 18. Vista general del estado de Ja clase Bn· Aquí n' ;;;;.. O, n" > O,
n' + n" = n
.
k célu las
,.-A.-.-.,..
..,..n......,.1-1,_,_,1~ ll 1 lvlvl9Vlvlvl 1{
~
n"r cetutas
FIG. 19. Vista genrra l del est ado de la cl ase Cn- Aquí k ~O
k cétulus
,,-/'----..
J1 IVIVl\1 f!lvlvl 1 11 --rl--.1,. ,_I.. .,.!
IT"T'"I
'----v-7----'
n+I cétutas •
FlG. 20 . V ista general del estado de la clase c:a. Aqui k ;;;;:,: O
2. -{::3
) /6
7 . . "-8
-;i/4
3 . . "-2 8. -<= 9
4. V5 9. V 10
5. stop 10. stop .
Está claro, que este programa pu'ede ser reducido, sin
cambiar con ello el trabajo que éste realiza, uniendo dos ins-
trucciones de parada en tUla sola, o bien, como diremos, sobre-
poniendo una de estas instrucciones en la otra. Es más fácil
sobreponer la instrucción Nº 5 en la Nº 10. Para ello, es suficien-
te sustituir el salto 10 en todas las instrucciones, donde
éste se encuentra (en nuestro caso sólo en la instrucción Nº 9)
por e.l salto 5 y, luego, tachar la instrucción Nº 101 ).
Obtendremos el programa IV>, en el cual ahora se puede
sobreponer la instrucción Nº 4 en la Nº 9. P ara ello, es suficiente
sustituir el salto 9 en la instrucción N 8 por el salto 4, y, luego,
tachar la instrucción Nº 9. Después de las dos superposiciones
efectuadas obtendremos una nueva solución del problema 4
en forma del programa IV8 •
1
·1 Si quisiésemos sobreponer la instrucció n ~" 10
en la N" 5 hubi éramos tenido que sustituir el s alto 5 por el lO en todas
las i ns truccioncs , donde és te se encuentra (en el caso dado en la inslruc-
ci ón Nu 4), luego, tachar la instrucció n Nº 5, después de lo q u.e dis-
m inui r en 1 lodos Jos números de l as instrucciones, que siguen la ta-
ch11da, y lodos los saltos, que coinciden con t!$tOS números..
37
Programa IV8
/6
1. ? "-2 5. stop
2. ~3
/4
3. ?"-2
4. V5
Observación. En el caso general la superposición (en dicho
programa) de la instrucción Nº ~en la instrucción N" a consiste
en el cumplimiento consecutivo de tres operaciones. En pri-
mer lugar. por doquier el salto a se cambia por el~ ; en segundo
lugar, la instrucción Nº a se tacha; en tercer lugar, en todas las
instrucciones de la lista creada los números a + 1, a + 2,
ex. + 3, ... (que pueden ser tanto números, como saltos) se
cambian por ex., a + 1, a + 2, ... , respectivamente. Si las
instrucciones Nº a y Nº ~ coincidieron en todo, salvo sus nú me-
ros, entonces el programa creado, después de sobreponer la
instrucción ~ e.n la instrucción a, y el programa inicial van
a «funcionar del mismo modo en absoluto». Las palabras pues-
tas en la frase anterior entre comillas se precisan del modo
siguiente. Tomemos dos ejemplares de ta máquina de Post,
pongamos cada uno de éstos en cierto-el mismo para ambas
máqu inas-estado inicial y obliguemos a trabajar Ja primera
máquina según cierto programa A, mientras que la segunda,
siguiendo otro programa B . Suponiendo que las máquinas
funci onan sincrónicamente, compararemos los estados de la
primera y de la segun da máquina que surgen simultáneamente.
En el momento inicial estos estados coinciden según el plantea-
miento. Puede ocurrir que éstos también coinciden en todos
los momentos ulteriores, con la particularidad de que la
parada de cada máquina sucede-s i esto tiene lugar en gene-
ral-simultáneamente con la parada de la otra máquina y posee
la misma cualidad (es decir., ·ora esta parada es en ambas
máquinas de resultados, ora en ambas máquinas, sin resulta-
dos). Si el caso descrito se efectúa para ct1alquier estado inicial.
que es general para ambas máquinas, entonces es cuando
diremos que los programas A y B tr~bajan de modo en absoluto
38
5. stop
6. :::;.. 7
Ejercicio. ¿Trabajarán de modo absolutamente igual o no
los programas IV8 y IV7?
Al efectuar en el programa IV1 la asimilación de la instruc-
ción Nº 7 por la Nº 1 obtendremos el siguiente programa IVª:
Programa IV 8
",)/6
1. . '-2 5. stop
6. =*-1.
Puesto que los programas IV'' y IV6 funcionan de modo
absolutamente igual, entonces el programa IV6 , así como
IV', será la solución del problem a 4. Intenten demostrar que
el problema 4 no tiene soluciones más cortas.
De modo completamente análogo se soluciona el problema
sobre la adición de la unidad para los estados iniciales. en los
cuaJes la célula observada or a está marcada, ora se encuentra
a la derecha del juego marcado. La solución del correspondien-
te prob lema-lo llamaremos problema 4' - puede ser obtenida,
Los programas con los que tropezamos en los dos capítu los
anteriores, .dedicados a la máquina de Post , eran sencillos.
Por esta razón, pudimos s in dificu ltad tanto analizar el
progra ma prefijado, es decir, compren der como éste trabaja,
como ta mbién s intetiza r el programa necesar io, es decir ,
componerlo con las propiedades requeridas.
Pero, supongamos que está dado un programa un poco más
complicado, pGr ejemp lo, el siguiente:
Program a V
;i/2 4. ".) /5
l. . '-.....3 . '-3
s. V 6
3 . *4 6 . -<== 7
42
-;¡/23
10. V 11 14. ;i/5 18. 6 16 21.
"'-.¡3 ""-22
/23
13. * 14 17. ?,
18
FIG. 21
f
Cu111ienzo
2 Compro
/Jactórr a ta 6
i Zt¡1tlP.rd1I Vucii1dot1 lo
der echa
7
Voctndo ato
aq1J{81'1:/a
S ftlavimtt11 ·
wa l a
.u¡uten/11
r: JG. 22
-J-2-1 O I 2 J ~-
il 1 1 1 1 1 11
•
FIG. 23
m m+n -2 -t. O t Z
JI lvlvl\)/lvlvlvlv{ 1 11)1 1 J 1· 1 1 11 a)
1< célutasfk>O) .
-2 - f O 1 2 J m m+n
l1 1 1 1 l. 1 1 1W 1 lvlvlvlvlHIVlvl· II b)
. , k chutas(k~O)
m m+n p q #
0 R~ ( - l, l) 0 S;{' ( - 1. 1)
121 f~;:' ( -- :3 , 3 )
~ -06 20
50
Esta succsíón continúa hasta que llegue a uno de los dos l>iguicntes
11co11teci mienl os.
Primer aconteci miento. E n cierto instant e de tiempo, anles de
comenzar el trabajo del 2-do bloque {puede ser, en particular, en e l
mismo inicio), el estado de la m áquina resu lta ser tal RW (x, y) que
x - l = m + n.
Segundo acontecimiento. En algún lns.tante de tiempo, antes de
que comi ence el fu ncionamiento del 4-to bloque, el estado de la má·
quina resulta ser tal SW (x, y) que y +
1 :::.-.. m.
Notemos, que 11110 de estos acontecimientos ocurrirá sin folta {pre·
gunta al lector: ¿porq ué?).
Examinemos cada uno de estos acon tecimientos por separado.
Primer -acontecimiento. Sea que cuando comenzó v funcionar
el 2· do bloque el estado de la máquina es RW (x, y), donde x - 1 =
m m4-n:C y
}1 lvlvN flvlvl lvlvN PJvlS1 1 1!
•
F IG. 26. Aquí se muest ra el estndo
m m+n :r.
RW, (para m
.ti
+ n+ l. y)
m lil+/J X y
l I IVIVI\\ {?lvlvlvl 1i l.....I _._._I. .1. ......l _,.l
•
F IG. 28. He aquí el estado que s urge una vez cumplido el 6º bloque,
aplic¡¡do <11 estado expuesto e11 la f!g. 27. A continuación, en este
estado se realizará una parada de resultados
~-~:e~~ y m m•n
ITlJ lvl\?ft ylvlvl lvlvl~ f'IVJVI 1 1{
•
FIG. 29. Aqu[ se ofrece el estado SW (x, m - 1)
x !/ m m+n
)1' 1 1 1 1 1~ !1 1 lvlvlvly Ylvlvl 1 1{
•
FIG. 30. En este esta do ocurrirá una para<la de resultados después
de ejecutar los bloques 4º, 1º y 8º (conforme al estado que se muestra
en la fi g. 29)
Nos queda notar que tanto el estado de la fig. 28, como tambíén
el de la fig. 30 pertenecen a la clase En+i· Por lo tanto, en cualquiera
de los dos posibles casos el trabajo de la máquina terminará por una
parada de resultados con el surgimiento del estado de la clase En+i.
lo que se pretendia demostrar.
cada vez al tropezar con una piedrecita hay que trasladarla a un paso
adelante, dar la vuelta y caminar hasta !a utra piedrecita, co n la cual
hacer lo mismo.
Ejercicio. Efectúen mediante el programa para la máquina de
Post el mé todo recién expuesto de búsqueda de la piedra marnvillosa
con ayuda de dos piedreci tas. Comparen la longitud del programa o hte-
nído con Ja longitud del programa V.
Volvamos por última vez a l examen del programa V. El papel de
cada bloque en él viene definido por su deno mi nación: los bloqnes de
mov i miento desplazan el carro a lo largo del juego de las marcas
inscritas hasta llegar al fin de éste, los bloques de comprobación
verifican si el carro ya ha ! legado o no cerca del registro buscado del
número, les bloques de vaciado borra n todas aquellas marcas, cou las
que el carro marcaba :;u rula. Si fijamos al principio el estado de la
clase Hn. y realizamcs el programa comenzando desde el 2·do bloque,
se obtendrá el resultado requerido. {Por lo tanto, si exigimos que el
programa dé resultado sólo con arreglo al estado de Hn• podríamos li -
mi tarnos a las últimas 19 instrucciones, claro o..-;f.á, dis minuyendo ccm
anf.icipación todas las direcciones y los saltos en 4.) El obje tivo del
bloque de comienzo consiste en hacer pasar la máquina del estado arbi-
tra rio de la cl ase En a cualesqui era de los estados de la cl ase flw Note-
mos que el bloque de comienzo t rabaja en todos los casos: incluso si
el carro en el estado inicial ya se encuent ra en el registro buscado del
n úmero. el bloque de comienzo desplazará el carro de este juego para
que, luego, empie.ccn las búsquedas de este mismo juego. Es evidente,
que esto parece poco razonable. ¿No sería más fácil, primero identifi-
car :;i al comienzo el carro se encuentra o no en el juego (es decir, tiene
lugar o no el caso 3 del párrafo an terior), s i se encuent ra, entonces
añadir una marca (como lo exige el problema 2 del párrafo 3 del capi·
l ulo anterior); sí no, desplazar::;¡:. a una cél11la a la izquierd:t y obser-
va r si ésta póse.e marca (o sea, tiene 1ug<1r o no el caso 2 del menciona-
do párrafo); en caso ?e que esto süa asi, añadir_ al ¡·uego ha llado una
marca (como lo r<.'qu1ere el problema I' del parnt o 2 <lel capítulo
anterior); s i esto no es asi y únicamente en este caso (es decir en el
caso 1 del párrafo anterior). con dos «no11 deber an incluirse las instruc-
ciones NºNº 5 ... 23 del programa V?
Compongamos el progra ma que realice ¡;,s(e plan. Es cómodo elabo-
rar el programa j u11to cun el corres pondiente esquema s inóptico. Para
ello, designemos por 11 c ual quiera dC' los programas de la longi tud
4 q ue sirven como solución del ¡iroblcma 2 del capítul o anterior, por
I' cualquiera de lo$ programns <le la longitud 3 que sin•e n t:ll calidnd
de solución del problema I' del mismo capíl.ulo y por f. la lista d<> ins-
trucciones del Nº 5 al Nº 23 del program11 V. E l programa buscado se
mues tra mediante su <.':;quema sinóptico en 1;1 fig. 31. l~ecordemos qu<.'
de acuerdo con la designación del párrnfo 4 dd capitulo anterior para
cualquiera de las listas <l<: instruccione.s 8 por :SI+ ml se designa In
lísta que se obtiene de S mediante el a11m<.> nto en m de todos los nú-
meros de i nst ruccio nes y de todos los saltos.
El programa en la fig. 31. cligiendú de modo oportuno el progrnm 11
Il (a saber, en case) de que el programa l1 conte nga la inst rucción de
movimiento a la de rec ha, es deci r, represente de por sí uno de los
54
J 'rfn
FIG. 3 1
• flG . 32.
l. ~ 2 4. s5 7. V8
2 . =>- 3 5. *6 8. stop.
3.
,/8
. ".4
6. .,
?/7
5
Prob lema «bl>. Componer e l programa de. adición de una
cantidad arbitraria de números registrados en Ja cinta a dis-
tancia 1 uno del otro.
• m"+I cétutas
,..--A--..
. ., Vv.
i"""',.,. . lv,. . .I"""'v]. . .,.l,. . . ,v....
I~ Bvlvl 1}
FIG. 33
Programa B
/10
l. s2 5. =>- 6 9. ?'-8
m1 + 1 cétutos m3 1- 1 cétutos
I 1 lv1v1:< y 1v1v1 1 1{ JI lvlvl\í{ Plvlvl 1\
'- - , . - '
• ¿.,. f ccLutas
FIG. 34
,/1
l. ~ 2 6. 10. <= 11
. . . . . . lo
12
2. =>3 7. -<:=8 11. ;,/
........... 1 1
/9
3. ,/4 8. ?"'-....7 12. => 13
. '2
4. vs 9. => l 13. ~ 14
J>rograma C1
/ 10
l. ~ 2 5. *6 9. ?" 12
")/7
2. *3 6. 10. -<=:l\
. ""s
J2 /2
3. ")/ 7. V8 11.?"
. ""4 10
4. ~ 5 8. *9 12. stop.
El autor no conoce programas que contengan menos de 12
instrucciones y que satisfagan el pl anteamiento del prob lema
«e». Sin embargo, se pueden obtener muchas soluc iones del
problema en cuestión, cuya longitud sea 12. Ante todo, resul-
ta fá cil elaborar ¡por lo menos 111 programas, a cuen ta de todo
gén ero <le permutaciones pos ibles que incluyan todas las ins-
trucciones, sal vo la primera, del programa C1 (sin duda algu-
na, ca da una de estas permutaci ones deberá ir acompañada
por el cambio de Jos números y saltos). Además, puede inten-
tarse buscar otros en principio métodos de adición. Por ejem-
p lo, se puede proponer el método que consiste en la múltiple
rea lización del s iguiente procedimiento: la registro de l nú·
mero izquierdo se adj unta a la derech a una marca, para cuya
compensación se borra una marca en e l extremo izquierdo de
la escr.itui:a del n úmero derecho; este procedimiento con-
tin úa hasta que el juego derech.o se agote; la marca «sob rante»
se vacía al mismo ·éo mienzo por la instrucción Nº l . El si ~
guiente programa C2 de la longitud 12 realiza este método.
Programa C 2
l. s2 5. *6 9. ",J/ 12
·""1 0
5
2. =>3 6 ·)/
. .......... 7 lo. -<== l l
;i/10
3. ?/4 7. § 8 11,
. "-2 . '-2
4. V5 8. =>-9 12. stop.
61
programa:
Programa D• (k)
s
E[+ al 8! -Hk - 2)a}
s r+ 2aj (k-J) a+ l. stop.
3 + 9i . =} 4 +9i 8+9i. ~ 9 + 9i
?/ 3+ 9i ?/8+9i
4+9l. 9+9i.
"'-5+9¿ '-10 + 9i
5 + 9i. s 6 + 9i 10+9i. =Y 11 + 9i
6-!-9i. =} 7+9i 11 +9i. V 3 +9i
?/ 3 + 9(i+ 1)
7 + 9i.
''-s + 9i
Aho ra, designemos por n (k) el siguiente programa:
Programa O (k)
l. =}2 llo
~[
2. ?/ 3
. '-... ¡
&k- 2
9k-6. s top.
-2 -1 O I Z 3 /¡ 6 X
?f 1 !vi !vi 1 1 1 ( u-¡----¡
.... -¡-.-1-__,1,.....,.1
-z - 1
• FIG. 36. Aquí x;;;;;:: 3
O f 2 J /1 5 :e X +-Z
!t 1 lvl lv! 1 1 1~ j,..,.1-1..--.-1-.-,,...1v..,..l-.l-,..,..,,n
• FlG. 37.
§ 2. PROPOSICIÓN DE POST
1
) Kolmogúrov A. N., Algoritmo, Enciclopedia
Soviética Grande, 2ª edición, vol, 2, p. 65, Editorial «Enciclopedia
Sovi~tica• , Moscú, 1950, (en ruso). ( Uspenslu V. A., Algoritmo • .cEn·
ciclopedia mat emática:., vol. 1, p.p. 202 ... 206, Editorial «Encielo·
pedla Soviética>, Jv\oscú, 1977, (en ruso): llllll dcíin ición más del con-
cepto de algoritmo se ofrece en el «Diccionnr io Enciclopl!dico Snlvat
Universal», Barcelona, Salv<1t Editores, 1969, vol. 2, p. 14: «Procedi-
miento general por medio del cual se puede encontrar la solución o
respuesta a cada problema o pregunta de una clase. de un modo pu·
ramenle mecánico y eu un número finito de pasos»).
2 ) Márk<JV A . A ., Teoría de los a lgorHmos, Obrns del 1 nstituto
de matemáticas V. A. Steklov de la AC de la URSS, 38, p. 176, Edito-
ria l «Academia de Ciencias de la URSS», ,\\oscú, 1951, (en ruso).
3) Márkot• A. A. Teoría de los ·ul gorífmos, Obras del
Instituto de matemáticas V. A. Steklov de la AC de la URSS 42,p.3.
Editoria l «Academia de Ciencias de la URSS> Mo~d1, 1954, (en ruso).
no sólo definición, sino incluso descripciones satisfactorias1).)
En la fase actual de desarrollo de las matemáticas es im·
posib le «demost rar con rigor» la hipótesis d.e Post, basándose
en semejante género de descr ipciones del algoritmo.
La argumentación de la «hipótesis de trabajoi. de Post se
efectúa por otra vía, más h ab itual para el naturalista, que
para el matemático, es decir, por la vla del experimento re·
forzado con razonamient os especu lativos. El experimento mues-
tra que efectivamente cada vez, cuando nos ir)dican el al·
goritmo, éste puede ser convertido en forma de un programa
para Ja máquina de Post, que puede llevar al mismo resulta-
do. Los razonamientos especulaUvos, no los adu~iremos aquí,
confirman que las ideas que t ienen ahora los matemáticos acer·
ca de la noción del procedim iento de cálcu lo, es decir, del al-
goritmo, no prestan la posibilidad de elaborar un algoritmo,
que no pudiera ser sustituido por el programa de la máquina
de Post. El mismo Post veía el éxito de sus ideas en la transfor-
mación de su «hipótesis de trabajo» en una «ley de la natura-
leza» . Se puede considerar que esta t ransformación ya ocu-
rrió.
Para concluir est e párrafo aduciremos una enunciación
más de la hipótesis de Post. Examinemos cua lesqu iera dos ai-
goritmos~ en los cuales coincide. el conjunto de sus posibles da·
tos ínicia]es. Denominemos a estos dos algoritmos equivalen-
tes, si para todo dato inicial, del conjunto común para el.los,
los dos resultan ser aplicabl~s. o b ien ambos in aplicables y
eq caso de que sean aplicables, dan un mismo resultado. El
1 ) Hoy día , a mediados del siglo XX, como en la
época de Euclides, la demostración matemática sigue siendo no mas de
un razonamiento convincente que puede cerciorarnos hasta tal punto,
que n~otros este.mas dispuestos a convencer con su ayuda a otros. La
formalización del concepto de demostración con los medios de la
lógica matemática, con toda su im portancia , no permite li quidar
completamente el empleo de esta noción en s u entendimi ento intuitivo
r ecién expuesto. El gran dcscl!brimiento hecho en los años 30, por el
eminente matemático y lógico de nuestro tiempo Kurt Godel, con-
siste en que la t~nl ativa de precisar f9rmalmenle el concepto de de·
mostración resulta de ,modo inevitable incompleto: se descubren ver·
dades que se demuestran por intuición, pero no permiten efectuar de-
mostraciones entre los limites de. la precisión realizada. (Vease Us·
penski V. A., Teorema de Godel sobre la íncomplctilud en una expo-
sición elemental, «Exitos de las ci encins matemáticas:., 1974, 29,
Nº 1, p. p. 3 .. .47 , en ruso.)
79
concepto de equivalencia permite enunciar la hipótesis e.le
Post del modo sigu iente: cada algoritmo, todos los resultados
del cual son números, y como dominio de. los posibles,datos ini-
ciales sirven N, N"' o bien N 00 , es equivalente al algoritmo
con el mismo conjunto de posibles datos iniciales, prefijado
por cierto programa para la máquina de Post (que se prefija
así, como fue explicado en las páginas 75 y 76).
ejemplo, muy sciior mío-de ningún modo quiere decir que ese señor
es mío.
i 2) Este hecho puede ser demostrado aplicando el mismo método,
mediante el cual¡ a continuación, será establecidn la exis tencia de la
función no calcu able.
80
calidad d(' función de género semejante puede ser 1aduci da ta función
«sustracci ón». Esta funció11 de 1V2 en N confronta con el cortejo (x, u>
el número x - y, si x ;;;;::: y. y no confronta nada, si x < y. P or
regla, las funciones ¡tle N k. :cn N se llaman numé ricas. Ahora :tenemos
q ue explicar qué funciones consideraremos computables. ;Durante esta
explicación debe remos util izar el ,concepto de algoritmo. Por esta ;ra-
zón, la noción de la función calculable resul lará no más (pero, tam-
bién no menos) «matemáticamente» determinada que et concepto de
;ilgoritmo.
Pues bieu, sea que hay uu algori tino A , para el cual en calidad del
campo de los da tos iniciales posibles sirve ora el conju nto Nk, para
cierto k;;;;::: 1, ora el conjunto N 00 • Sea que el resultado de aplicación
del algoritmo A a todo dato inicial posible (si es que tal resultado
existe) siempre es u n número natural. En este caso, podemos determi-
nar la función f de N 11 en N (si como campo de los datos iniciales
posibles servia Nk) o bien de N 00 en N (si como campo de los datos
iniciales posibles servía N 00 ) asi: a los cortejos (X1 , . • . , xh), para los
cuales el resultado de aplicación del algoritmo A (a ellos) existe, la
función pone en correspondencia este resultado, mi entras que a los
cortej os restantes Ja función nada pone en correspondencia. En otras
palabras,
resultado de aplicación de A a (x1 , .•• , xh>•
si A se aplica a (x1 , ••• , Xk)
f(X11 · • ., Xk) = no se determina, si A no se aplica a
{
(.\'.11 • • • 1 Xk)•
SUPLEMENTO
theory, Amerí can. J ournal of Mathemati cs, 1936, ! vol. 58, Nº2.p. p.
345... 363.
3 ) Espacio de simbolos y tiempo.
• ) En el pr.esente libro esto se reílere a las células. -(Nota .del
:traductor.)
92
A NUESTROS LECTORES:
•• •••
•• ...
•••
• Obras de nuestro sello editorial . •
••• ••
••
.•
V. Uspenski •
Teorema de Glidel sobre
. ••
•
•••
.••• la incompletltud
A. Smogorzhevskl•
••
•
• ••
•• Acerca de la geometría
• de Lobachevski •••
••• ••
.. A. "'arkushévich.
•• Curvas maravillosas •••
..•
. ••
.. S. Shflov. •
•••
. •
•• Análisis matemático en el campo
de funciones racionales ••
••• ••
•••
.•
••
•••
•• ••
•• •••
•
••• •••
• ••
••• •
• •••
.•
•
•
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~-
.•
•
•• ••
• •
:• Editorial MIR Moscú :•
.••••••••••••••••• •••••••••••••••••••••••••••• • •••••• •••••
~