Maquinaria computacional e

Inteligencia
Alan Turing, 1950

interrogador se le permite hacer preguntas tanto

a A como B del tipo:
C: X, Sera tan amable de decirme el largo su
cabello?

Traductor: Cristbal Fuentes Barassi, 2010,

Universidad de Chile.

1.

Ahora, suponga que X es de hecho A, por lo que

A debe responder. El objetivo de A en el juego
es tratar de que C haga una identificacin falsa.
Por lo que su respuesta podra ser:

El juego de la imitacin.

Mi pelo est cortado en capas, y los mechones

ms largos tienen unos 20 centmetros.

Propongo considerar la siguiente pregunta:

Pueden pensar las mquinas?. Se debiera comenzar definiendo el significado de los trminos
mquina y pensar. Estas definiciones deberan
ser elaboradas de manera tal que reflejen lo mejor posible el uso normal de estas palabras, pero una actitud as es peligrosa. Si el significado
de las palabras mquina y pensar proviene del
escrutinio de cmo son usadas comnmente, se
hace difcil escapar de la conclusin de que el significado y respuesta a la pregunta pueden las
mquinas pensar? debiera ser buscado en una
encuesta estadstica, tal como la encuesta Gallup. Pero eso es absurdo. En vez de intentar una
definicin as, propondr reemplazar esa pregunta por otra, la cual se encuentra estrechamente
relacionada y que se puede expresar en palabras
relativamente poco ambiguas.

Para que los tonos de voz no ayuden al interrogador, las respuestas deben ser escritas, o mejor
an, tecleadas. Las condiciones ideales deberan
incluir un teletipo que comunique ambas habitaciones. De manera opcional, las preguntas y
respuestas podran ser repetidas por un intermediario. El objetivo de B en el juego es ayudar al
interrogador. Probablemente, la mejor estrategia
para ella sea dar respuestas verdaderas. Ella puede incluir en sus respuestas cosas tales como Yo
soy la mujer, no lo escuches!, pero aquello no
garantizara nada ya que el hombre podra decir
cosas similares.

Ahora hacemos la pregunta: qu pasara si una

mquina asume el rol de A en este juego? Discriminara equivocadamente el interrogador con
la misma frecuencia con la que lo hace cuando
La nueva forma del problema puede ser descrita
el juego se juega con un hombre y una mujer?
en trminos de un juego, el cual llamaremos el
Estas preguntas reemplazan la pregunta original
juego de la imitacin. Se juega con 3 personas,
pueden las mquinas pensar?.
un hombre (A), una mujer (B), y un interrogador
(C) de cualquier sexo. El interrogador se encuentra en una habitacin distinta a la de los otros dos
participantes. El objetivo del juego para el inte- 2. Crtica del nuevo problema.
rrogador es determinar cul de los participantes
es el hombre y cul es la mujer. l los identifica As como es posible preguntar cul es la rescon las etiquetas X y Y, y al final del juego l puesta para esta nueva pregunta?, uno podra
dice si X es A y Y es B, o X es B e Y es A. Al preguntar vale la pena investigar esta nueva
1

pregunta?. Esta ltima la investigamos sin ms za, ni tampoco castigar a un hombre por perder
prembulos, para as evitar regresiones infinitas. una carrera contra un aeroplano. Las condiciones
de nuestro juego hacen que estas incapacidades
El nuevo problema posee la ventaja de trazar una
sean irrelevantes. Los testigos pueden presumir,
lnea muy clara entre las capacidades fsicas y
si lo consideran aconsejable, todo lo que quieran
las intelectuales del hombre. Ningn ingeniero o
acerca de sus encantos, fuerza o herosmo, pequmico afirma ser capaz de producir un matero el interrogador no puede pedir demostraciones
rial que sea indistinguible de la piel humana. Es
prcticas.
posible que en algn momento aquello se pueda hacer, pero an suponiendo la disponibilidad El juego podra quizs ser criticado en base al
de esta invencin deberamos sentir que no tiene hecho de que las probabilidades estn demasiado
mucho sentido en tratar de hacer ms humana en contra de la mquina. Si el hombre intentaa una mquina pensante a travs del revesti- se pretender ser una mquina, ste hara claramiento de piel artificial. La manera en la cual mente una muy mala demostracin. Lo delatara
el problema ha sido planteado refleja esta condi- rpidamente su lentitud e inexactitud en aritmcin, la que impide que el interrogador pueda ver tica. Podra ser que las mquinas realizaran algo
o tocar a los otros competidores, o escuchar sus que pudiera ser descrito como pensar, pero que
voces. Algunas otras ventajas del criterio que se es muy distinto de lo que un hombre hace? Esta
ha propuesto pueden ser ejemplificadas con una objecin es muy slida, pero al menos se puede
decir que si, a pesar de todo, una mquina puemuestra de preguntas y respuestas:
de ser construida para jugar satisfactoriamente
Q: Por favor escribe un soneto con el tema del
el juego de la imitacin, no necesitamos preocuPuente de Forth.
parnos por esta objecin.
A: No cuentes conmigo para eso. Nunca pude
Es posible sugerir que cuando se juegue el jueescribir poesa.
go de la imitacin, la mejor estrategia para la
Q: Suma 34957 y 70764.
A: (Pausa de 30 segundos y luego da la respues- mquina podra ser hacer algo distinto que imitar la conducta de un hombre. Podra ser, pero
ta) 105621.
creo que es poco probable que se produjera un
Q: Juegas ajedrez?
efecto como este. En cualquier caso, no hay ninA: S.
Q: Tengo mi K en mi K1, y ninguna otra pieza. guna intencin de investigar la teora del juego,
T solo tienes K en K6, y R en R1. Es tu turno. y daremos por asumido que la mejor estrategia
es tratar de dar respuestas que un hombre dara
Qu jugada haras?
de manera natural.
A: (Pausa de 15 segundos) R-R8 mate.
El mtodo de la pregunta y respuesta pareciera
ser adecuado para introducir casi cualquiera de
los campos de estudio humano que quisiramos
incluir. No queremos sancionar a la mquina por
su incapacidad de brillar en concursos de belle2

3.

Las mquinas involucradas

en el juego.

tica. Tratar de demostrar que no lo es en la realidad. Hacer esto necesita una explicacin breve de
la naturaleza y las propiedades de estos computadores.

La pregunta realizada en la seccin 1 no ser lo

suficientemente especfica hasta que delimitemos
qu queremos decir con la palabra mquina. Es
natural que queramos permitir el uso de cualquier tcnica de ingeniera en nuestras mquinas.
Tambin queremos admitir la posibilidad que un
ingeniero o un grupo de ingenieros pueda construir una mquina que funcione, pero cuya forma
de operar no puede ser descrita satisfactoriamente por sus constructores debido a que ellos usan
un mtodo que fuera experimental en gran medida. Finalmente, queremos excluir de las mquinas a los hombres nacidos de manera normal. Es
difcil elaborar las definiciones de manera tal que
estas tres condiciones sean cumplidas. Por ejemplo, uno podra insistir que el equipo de ingenieros deba ser de un sexo nicamente, pero esto no
sera realmente satisfactorio, ya que es probablemente posible crear a un individuo completo a
partir de una sola clula de la piel (por ejemplo)
de un hombre. Hacer aquello sera una hazaa
para la tcnica biolgica, que adems merecera
grandes alabanzas, pero no nos inclinara a pensar que sea un caso en el cual se est construyendo una mquina pensante. Lo anterior nos lleva
a abandonar el requerimiento de que cualquier
tcnica deba ser permitida. Estamos ms que dispuestos para hacerlo considerando el hecho de
que el inters actual en las mquinas pensantes ha sido despertado por un tipo particular de
mquina, usualmente llamada computador electrnico o computador digital. Siguiendo esta
sugerencia, slo permitimos que los computadores digitales tomen parte del nuestro juego.

Tambin podra decirse que la identificacin de

las mquinas con los computadores digitales, tal
como nuestro criterio de pensar, slo ser insatisfactorio si (contrario a lo que yo creo) los
computadores digitales en definitiva son incapaces de hacer una buena demostracin en el juego.
Ya hay un gran nmero de computadores digitales que se encuentran funcionando, y se podra
preguntar por qu no tratar de experimentar
inmediatamente? Sera fcil satisfacer las condiciones el juego. Se podra usar un nmero de interrogadores, y se podran compilar estadsticas
para demostrar con qu frecuencia se hicieron las
identificaciones correctas. La respuesta breve es
que no estamos preguntando si todos los computadores digitales lo haran bien en el juego, ni
tampoco si los computadores disponibles en la
actualidad lo haran bien, sino que si hay computadores imaginables que lo haran bien. Pero sta
es slo una respuesta breve. Nos aproximaremos
a esta pregunta desde otro ngulo despus.

4.

Computadores digitales.

La idea detrs de los computadores digitales podra ser explicada diciendo que estas mquinas
pueden llevar a cabo cualquier operacin que pudiera ser realizada por un computador humano.
El computador humano debiera seguir reglas fijas; l no tiene ninguna autoridad para desviarse
en nada de ellas. Podemos suponer que estas reglas se encuentran en un libro, el cual es alterado
A primera vista, esta restriccin se ve muy drs- cada vez que a l se le da un nuevo trabajo. Tam3

que estas instrucciones sean obedecidas adecuadamente y en el orden correcto. El Control est
construido de tal manera, que lo anterior ocurra
necesariamente.

bin posee un suministro ilimitado de papel sobre

el cual realiza sus clculos. De igual manera, l
podra realizar sus multiplicaciones y sumas en
una mquina escritorio, pero eso no es importante.

La informacin en el almacenamiento es usualmente dividida en paquetes de tamao moderadamente pequeo. En una mquina, por ejemplo,
un paquete podra consistir en 10 dgitos decimales. Se asignan nmeros a las partes del almacenamiento en la que los varios paquetes de informacin son almacenados, de manera sistemtica.
Una instruccin tpica podra ser:

Si usamos las explicaciones recin mencionadas

como una definicin, estaramos en peligro de exhibir circularidad argumentativa. Evitamos esto
dando un esbozo de los medios por los cuales el
efecto deseado es alcanzado. Se puede considerar que un computador digital consiste en tres
partes:

Sume el nmero almacenado en la posicin 6809

con el que est en la 4302 y ubique el resultado
de vuelta en esta ltima posicin de almacenamiento.

(i) Almacenamiento.
(ii) Unidad ejecutiva.
(iii) Control.
El almacenamiento es almacenamiento de informacin, y corresponde al papel que utiliza el
computador humano, y corresponde tanto el papel para hacer los clculos como al libro en el cual
se encuentran impresas las reglas. En la medida
en que el computador humano hace los clculos
en su cabeza, una parte del almacenamiento corresponder a su memoria.

No hay necesidad de decir que esto no ocurrira

con expresiones en ingls. Sera probablemente
codificado con una forma tipo 6809430217. Aqu,
17 significa cul de las variadas operaciones posibles se realizar en los dos nmeros en este caso la
operacin que se describi recin, es decir sume
el nmero.... Es posible notar que la instruccin
requiere 10 dgitos, y as se forma un paquete de
informacin de manera muy conveniente. El control tomar normalmente instrucciones para ser
obedecidas en el orden en el que estn almacenadas, pero ocasionalmente una instruccin como

La unidad ejecutiva es la parte en la cual se llevan a cabo las diversas operaciones individuales
involucradas en un clculo. Qu es lo que son estas operaciones individuales variar de una mquina a otra. Usualmente, operaciones relativamente largas como multiplique 3540675445 por Ahora obedezca la instruccin almacenada en la
7076345687 pueden ser realizadas, pero en al- posicin 5606, y contine desde ah.
gunas mquinas, slo las operaciones simples del
podra ocurrir, o tambin
tipo escriba 0 son posibles.
Si la posicin 4505 contiene 0 obedezca a conHemos mencionado que el libro de reglas que se
tinuacin la instruccin almacenada en 6707, en
le proporcion al computador es reemplazado en
caso contrario, contine normalmente.
la mquina por una parte del almacenamiento.
Es entonces cuando se le denomina tabla de ins- Las instrucciones de este tipo son muy importrucciones. Es el deber del Control de procurar tantes porque hacen posible que una secuencia
4

o algn proceso electrnico equivalente; una instruccin de este tipo podra ser: Lance el dado y
anote el resultado en el lugar de almacenamiento
1000. Algunas veces, una mquina como sta es
descrita como si tuviera libre albedro (aunque
yo no ocupara esta frase). Normalmente, no es
posible determinar a travs de la observacin de
una mquina si posee un elemento aleatorio, dado que un efecto similar se puede producir por
un dispositivo que haga elecciones dependiendo
de los decimales de .

de operaciones sea repetida una y otra vez hasta que una condicin se cumpla, pero mientras
la obedece, no hay instrucciones nuevas en cada
repeticin, sino las mismas una y otra vez. Para
considerar una analoga domstica, suponga que
Madre quiere que Tommy llame al zapatero todas las maanas mientras vaya saliendo al colegio
para saber si ya le repararon sus zapatos. Ella le
puede preguntar nuevamente todas las maanas.
O bien, ella puede poner un aviso de una vez por
todas en la entrada, la cual l ver cuando se vaya
al colegio y que dice que llame preguntando por
los zapatos, y tambin destruir el aviso cuando
vuelva si ya los tiene.

La mayora de los computadores digitales en la

actualidad slo tienen un almacenamiento finito.
No hay ningn problema terico con la idea de
que un computador tenga un almacenamiento ilimitado. Por supuesto, slo una parte finita puede
ser usada en cada momento. De manera similar,
slo una cantidad finita puede haber sido construida, pero podemos imaginar que se agreguen
y ms y ms en la medida en que sea requerido. Tales computadores tienen intereses tericos
especiales y sern llamados computadores de capacidad infinita.

El lector debe aceptar como un hecho que los

computadores digitales pueden ser construidos,
y de hecho han sido construidos, de acuerdo a
los principios que hemos descrito, y que de hecho pueden imitar las acciones de un computador
humano con bastante similitud.
El libro de reglas que hemos descrito y que es usado por nuestro computador humano es una ficcin conveniente, por supuesto. Los computadores humanos reales en realidad recuerdan lo que
deben hacer. Si uno quiere hacer que una mquina imite el comportamiento de un computador
humano en alguna tarea compleja, se le debe preguntar cmo lo hace, y luego traducir la respuesta
a una tabla de instrucciones. Construir tablas de
instrucciones es usualmente conocido como programacin. Programar una mquina para que
lleve a cabo la operacin A significa poner la
tabla de instrucciones apropiada en la mquina
de manera tal que la realice.

La idea de un computador digital es muy antigua. Charles Babbage, profesor Lucasiano de

matemticas en Cambridge desde 1828 a 1839,
plane una mquina as, la que llam Mquina
Analtica, pero que nunca pudo terminar. Aunque Babbage posea todas las ideas esenciales,
su mquina nunca fue un prospecto muy atractivo para su poca. La velocidad con la cual habra funcionado habra sido mucho ms rpida
que un computador humano, pero 100 veces ms
lenta que la mquina de Manchester. El almacenamiento era puramente mecnico, y utilizaba
Una variante interesante sobre la idea de un
tarjetas y rodamientos.
computador digital es un computador digital con
algn elemento aleatorio. stos poseen instruc- El hecho de que la Mquina Analtica de Babciones con respecto al lanzamiento de un dado bage fuera a ser completamente mecnica nos
5

rruptor est definitivamente prendido o apagado.

Debe haber posiciones intermedias, pero para la
mayora de nuestros propsitos, nos podemos olvidar de ellos. Como ejemplo de una mquina de
estados discretos podramos considerar una rueda que gira 120 grados una vez por segundo, pero
que se puede detener con una palanca externa;
adems, una lmpara se enciende en una de las
posiciones de la rueda. La mquina puede ser descrita de manera abstracta como sigue: El estado
interno de la mquina (la cual es descrita por la
posicin de la rueda) podra estar en q1 , q2 , o
q3 . Hay una seal de entrada i0 o i1 (posicin de
la palanca). El estado interno en cualquier momento est determinado por el ltimo estado y
la seal de entrada de acuerdo a esta tabla:

ayudar a deshacernos de una supersticin. Se le

otorga importancia al hecho de que los computadores digitales son elctricos, y que el sistema
nervioso tambin es elctrico. Dado que la mquina de Babbage no era elctrica, y dado que
los computadores digitales son en cierto sentido
equivalentes, podemos ver que el uso de electricidad no tiene una importancia terica. Por supuesto que se usa la electricidad cuando se necesita una transmisin rpida de seales, as que no
es sorprendente que los encontremos en ambas
conexiones. En el sistema nervioso, los fenmenos qumicos son, al menos, igual de importantes
que los elctricos. En algunos computadores, el
sistema de almacenamiento es bsicamente acstico. Por lo tanto, el rasgo de utilizar electricidad puede ser visto como similitud superficial.
Si queremos encontrar esas similitudes, debemos
entonces buscar analogas matemticas de funcin.

Entrada

5.

Universalidad de los computadores digitales.

i0
i1

ltimo Estado
q1 q2
q3
q2 q3
q1
q1 q2
q3

Las seales de salida, las nicas indicaciones visibles externamente de los estados internos (la
Los computadores digitales considerados en la luz), es descrita por la tabla de estados:
ltima seccin podran ser clasificados entre las
mquinas de estados discretos. Estas son la mEstado: q1 q2 q3
quinas que se mueven usando saltos (o clicks) reSalida: o0 o0 o1
pentinos de un estado definido a otro. Estos estados son lo suficientemente distintos como para
Este es un ejemplo tpico de una mquina de esdescartar la posibilidad de confundirlos. Estrictatados discretos. stas pueden ser descritas por
mente hablando, no existen tales mquinas. Toestas tablas, siempre y cuando posean un nmedo se mueve realmente de manera continua. Pero finito de estados posibles.
ro hay muchos tipos de mquinas que pueden
ser provechosamente consideradas como mqui- Pareciera que dado el estado inicial de la mquinas de estados discretos. Por ejemplo, al consi- na y las seales de entrada siempre sera posible
derar los interruptores de un sistema de ilumi- predecir los estados futuros. Esto es una reminacin, es una ficcin conveniente que cada inte- niscencia de la visin de Laplace que estableca
6

bieran sido escritas en papel. En trminos prcticos, suponga que slo los dgitos entre 0 y 9
son usados como smbolos. Las variaciones en la
caligrafa son ignoradas. Suponga que al computador se le entregan 100 hojas de papel, con 50
lneas cada una, y a su vez, cada lnea con 30
dgitos. Por lo tanto, el nmero de estados es
101005030 es decir, 10150,000 . Este es el nmero aproximado de estados de tres mquinas de
Manchester juntas. El logaritmo de base 2 con el
nmero de estados es conocido como la capacidad de almacenamiento de la mquina. De esta
manera, la mquina de Manchester tiene una capacidad de almacenamiento de aproximadamente
165.000, y la mquina-rueda de nuestro ejemplo
alrededor de 1.6. Si las dos mquinas son unidas,
sus capacidades deben ser sumadas para obtener
la capacidad de la mquina resultante. Esto lleva
a la posibilidad de aseveraciones tales como la
mquina de Manchester contiene 64 pistas cada
una con una capacidad de 2,560, ocho tubos electrnicos con una capacidad de 1,280. El almacenamiento heterogneo alcanza a 300, alcanzando
un total de 174,380.

que a partir de el estado completo del universo en un momento en el tiempo, descrito por las
posiciones y velocidades de todas sus partculas,
debera ser posible predecir todos los estados futuros. La prediccin que estamos considerando
es, sin embargo, ms cercana a la prctica que a
la visin de Laplace. El sistema del universo como un todo es tal, que pequeos errores en las
condiciones iniciales pueden tener un efecto inmenso en un tiempo posterior. El desplazamiento de un solo electrn en una milmillonsima de
centmetro en determinado momento podra generar la diferencia entre que un hombre muera
en una avalancha un ao despus, o que escape
de ella. Es una propiedad esencial de los sistemas mecnicos que hemos llamado mquinas de
estados discretos que este fenmeno no ocurra.
Incluso cuando consideramos las mquinas fsicas
reales en vez de las idealizadas, el conocimiento
razonablemente preciso de un estado en determinado momento produce un conocimiento razonablemente preciso luego de una cierta cantidad de
pasos.
Como hemos mencionado, los computadores digitales caben dentro de la clase de mquinas de estados discretos. Pero el nmero de estados de los
cuales una mquina es capaz es, con frecuencia,
tremendamente grande. Por ejemplo, el nmero
de estados para la mquina trabajando en Manchester es aproximadamente de 2165,000 es decir,
cerca de 1050,000 . Compare eso con nuestro ejemplo de la rueda antes mencionado, el cual tena
tres estados. No es difcil visualizar por qu el
nmero de estados debiera ser tan inmensamente grande. El computador incluye un almacenamiento correspondiente a la cantidad de papel
usado por un computador humano. Debe ser posible escribir en el lugar de almacenamiento cualquiera de las combinaciones de smbolos que hu-

Dada la tabla correspondiente a una mquina de

estados discretos, es posible predecir qu es lo que
har. No hay razn para creer que este clculo no
pudiera ser llevado a cabo por un computador digital. Dado que podra ser llevado a cabo lo suficientemente rpido, el computador digital podra
imitar el comportamiento de cualquier mquina
de estados discretos. El juego de la imitacin podra entonces ser jugado con la mquina en cuestin (como si fuera B), y el computador digital
que imita (como A) y el interrogador sera incapaz de distinguirlos. Por supuesto, el computador
digital debe tener una capacidad de almacenamiento adecuada as como tambin funcionar lo
suficientemente rpido. Adems, debe ser progra7

6.

mado de nuevo para cada mquina que se desea

que imite.
Se puede aludir a esta propiedad especial de los
computadores digitales, que puedan imitar una
mquina de estados discretos, diciendo que son
mquinas universales. La existencia de mquinas
con esta propiedad tiene la consecuencia importante de que, consideraciones de velocidad dejadas de lado, es innecesario disear varias mquinas nuevas para que hagan variados procesos computacionales. Todo ellos pueden ser realizados con un solo computador digital que se
encuentre programado adecuadamente para cada caso. Se puede vislumbrar como consecuencia
de esto que todos los computadores digitales son
equivalentes en cierto sentido. Ahora podramos
considerar nuevamente el punto mencionado al
final de la seccin 3. Se sugiri tentativamente
que la pregunta pueden las mquinas pensar?
debiera ser reemplazada por hay computadores digitales imaginables que tendran un buen
desempeo en el juego de la imitacin?. Pero en
virtud de la propiedad de universalidad podemos
ver que cualquiera de estas preguntas es equivalente a lo siguiente: Permitmonos fijar nuestra
atencin en un computador C en particular. Sera cierto que si se modifica este computador de
manera tal que exhiba un almacenamiento adecuado, un aumento en su velocidad de accin, y
dado que se le entregue el programa apropiado,
podra C jugar satisfactoriamente la parte de A
en el juego de la imitacin, mientras que B sea
llevada a cabo por un hombre?.

Perspectivas contrarias sobre

la pregunta principal.

Ahora podemos considerar que el terreno ha sido

delimitado, y nos encontramos listos para proceder con el debate sobre la pregunta pueden
pensar las mquinas? y la variante de esta pregunta presentada al final de la ltima seccin. No
podemos abandonar del todo la versin original
de problema, dado que las opiniones variarn con
respecto a la idoneidad de la substitucin y debemos al menos escuchar lo que se pueda decir
en conexin con esto.
Se simplificarn ciertos asuntos para el lector si
primero explico mis propias ideas con respecto
al tema. Consideremos la versin ms precisa de
la pregunta. Creo que en un periodo de tiempo
de 50 aos ser posible programar computadores,
con una capacidad de almacenamiento de alrededor de 109 , para que puedan jugar el juego de la
imitacin de tal manera que el interrogador promedio no pueda obtener ms de un 70 por ciento
de posibilidades de hacer la identificacin acertada luego de cinco minutos de preguntas. Con
respecto a la pregunta original, pueden las mquinas pensar?, creo que no tiene mucho sentido
como para merecer discusin. No obstante, creo
que cuando lleguemos a finales de siglo, el uso de
las palabras y la opinin educada general habrn
cambiado tanto, que uno podr ser capaz de hablar de mquinas pensantes sin esperar ser contradicho. Creo adems que ningn propsito til
se puede lograr al ocultar estas ideas. La visin
popular que los cientficos proceden inexorablemente desde los hechos bien establecidos hacia
otros hechos bien establecidos sin nunca ser influenciados por alguna conjetura no probada es
bastante equivocada. Dado que se hace claro cu8

con la misma forma podra hacerse en el caso

de las mquinas. Podra parecer distinta, porque
es ms difcil de tragar. Pero esto slo significa
que pensamos que sera menos probable que l
pudiera considerar apropiadas estas circunstanAhora procedo a considerar opiniones opuestas a
cias para conferir un alma. Las circunstancias en
las mas.
cuestin son discutidas en el resto de este artculo. En el intento de construir estas mquinas, no
deberamos estar usurpando irreverentemente su
6.1. La objecin teolgica.
poder para crear almas, en mayor medida que
cuando procreamos nios: ms bien, en cada caPensar es una funcin del alma inmortal del homso somos instrumentos de su voluntad al proveer
bre. Dios le ha otorgado un alma inmortal a cada
mansiones para las almas que l crea.
hombre y mujer, pero no a otros animales o mquinas. Por lo tanto, ningn animal o mquina Sin embargo, esto es mera especulacin. No me
impresionan mucho las discusiones teolgicas, sea
puede pensar.
cual sea el tema. Tales discusiones han sido freSoy incapaz de aceptar ninguna parte de esto,
cuentemente insatisfactorias en el pasado. En los
pero intentar responder en trminos teolgicos.
tiempos de Galileo, se discuta que los textos Y
Encontrara ms convincente el argumento si los
el sol se qued quieto... y consider no bajar por
animales fueran clasificados junto con los homun da (Josu Cap. 10, v.13) y l puso los cibres, ya que segn mi criterio, hay una diferencia
mientos de la tierra, para que no se moviera en
an ms grande entre el tpico ser animado y el
ningn momento (Salmos Cap. 105, v.5) eran
inanimado que entre el hombre y los otros animauna refutacin adecuada para la teora de Coprles. El carcter arbitrario de la visin ortodoxa
nico. Con nuestro actual conocimiento, tal arguse hace ms claro si consideramos cmo podra
mento parece ftil. Cuando ese conocimiento no
parecer para el miembro de otra comunidad reestaba disponible, causaba una impresin muy
ligiosa. Cmo consideran los cristianos la visin
diferente.
musulmana de que las mujeres no tienen alma?
Pero dejemos este punto de lado y volvamos a
la discusin central. Me parece que el argumento 6.2. La objecin de las cabezas en la
antes mencionado implica una restriccin seria a
arena.
la omnipotencia del Todopoderoso. Es admisible
que haya cosas que l no pueda hacer, tal como
La consecuencia de que las mquinas piensen
igualar uno con dos, pero no deberamos creer
sera demasiado espantosa. Esperemos y creamos
que l tiene la libertad de conferir un alma a
que no lo pueden hacer.
un elefante si a l le parece? Podramos esperar que l usara este poder slo en conjuncin Este argumento es rara vez expresado tan abiercon una mutacin que provea al elefante con un tamente como recin se plantea. Pero afecta a la
cerebro apropiadamente mejorado para suminis- mayora de los que pensamos en ello. Nos gusta
trar las necesidades de esta alma. Una discusin creer que el hombre es sutilmente superior al resles son los hechos probados y cules son conjeturas, no puede haber ningn dao. Las conjeturas
poseen una gran importancia debido a que stas
sugieren lneas tiles de investigacin.

to de la creacin. Es mejor si se puede demostrar

que es necesariamente superior, ya que entonces
no hay peligro de que pierda su posicin de mando. La popularidad del argumento teolgico est claramente conectada con esta sensacin. Es
probable que sea bastante fuerte entre los intelectuales, dado que ellos valoran el poder de pensar
ms que otros, y estn ms inclinados a basar su
creencia en la superioridad del Hombre en base
a este poder.
No creo que este argumento sea lo suficientemente sustancial como para requerir refutacin. El
consuelo sera ms apropiado; quizs eso debiera
buscarse en la trasmigracin de las almas.

6.3.

La objecin Matemtica.

Hay un varios resultados en la lgica matemtica que puede ser usado para mostrar que existen
limitaciones para los poderes de una mquina de
estados discretos. El ms conocido de estos resultados es el teorema de Gdel (1931), y demuestra
que en cualquier sistema lgico lo suficientemente poderoso se pueden formular aseveraciones que
no se pueden ni probar ni desaprobar dentro del
sistema, a menos que el sistema en s sea inconsistente. Algunos resultados similares en algunos
aspectos se encuentran en el trabajo de Church
(1936), Kleene (1935), Rosser (1936), y Turing
(1937). El ltimo resultado es el ms conveniente de considerar, dado que refiere directamente a
las mquinas mientras que otros slo pueden ser
usados comparativamente en discusiones indirectas; por ejemplo, si el teorema de Gdel es usado,
necesitamos tener adems algn medio para describir sistemas lgicos en trminos de mquinas,
y mquinas en trminos de sistemas lgicos. El
resultado en cuestin se refiere a un tipo de m-

quina que es esencialmente un computador digital con una capacidad infinita. Establece que hay
ciertas cosas que una mquina con estas caractersticas no puede hacer. Si se le arma para que
de respuestas a preguntas como las del juego de
la imitacin, habr algunas preguntas a las cuales responder errneamente, o simplemente no
responder, no importa cunto tiempo se le de
para responder. Por supuesto, podra haber muchas de esas preguntas, y preguntas que no podran ser respondidas por una mquina, podran
ser respondidas satisfactoriamente por otra. Estamos suponiendo en este caso que las preguntas
son del tipo si y no, y no del tipo qu piensas
sobre Picasso?. Las preguntas que las mquinas
deberan fallar son del tipo considere la mquina especificada de la siguiente manera... podr
esta mquina responder alguna vez si a alguna
pregunta?. Los puntos deben ser reemplazados
por la descripcin habitual de una mquina, que
podra ser algo as como la usada en la seccin
5. Cuando la mquina descrita posee cierta relacin relativamente simple con la mquina que
esta siendo interrogada, se puede demostrar que
la respuesta es equivocada o no disponible. Este es el resultado matemtico: se argumenta que
hay una discapacidad en las mquinas que el intelecto humano no posee.
La respuesta breve a este argumento es que, aunque se establece que hay limitaciones para el poder de cualquier mquina, solo se ha dicho, sin
ningn tipo de prueba, que tales limitaciones no
se aplican al intelecto humano. Pero no creo que
esta visin pueda ser descartada a la ligera. Siempre que se le haga la respuesta crtica apropiada
a una de estas mquinas, y den una respuesta
definitiva, sabemos que esta respuesta debe estar equivocada, y eso nos da cierta sensacin de
superioridad. Es esta sensacin ilusoria? No ca-

10

be duda que es genuina, pero no creo que se le

deba dar demasiada importancia. Con bastante
frecuencia respondemos equivocadamente como
para justificar algn tipo de satisfaccin por tener evidencia de la falibilidad de las mquinas.
Adems, nuestra superioridad slo se puede sentir en tales ocasiones en relacin con la mquina
sobre la que nos anotamos esa victoria prrica. No
habra la menor oportunidad de triunfar simultneamente sobre todas las mquinas. En pocas
palabras, puede que haya hombres ms inteligentes que cualquier mquina dada, pero de nuevo,
puede que haya otras mquinas an ms inteligentes, y as consecutivamente.
Creo que aqullos que se aferran a la discusin
matemtica deberan estar dispuestos a aceptar
el juego de la imitacin como una base para la
discusin. Aqullos que creen en las dos primeras objeciones probablemente no estn interesados en ningn criterio.

6.4.

El argumento desde la conciencia.

Este argumento se encuentra muy bien expresado en la disertacin de la Medalla de Lister del
profesor Jefferson en 1949, de donde cito: Hasta que una mquina pueda escribir un soneto o
componer un concierto debido a las emociones
y pensamientos que tuvo, y que no sea debido
al uso de smbolos al azar, podremos estar de
acuerdo que mquina es igual a cerebro es decir,
no slo que lo escriba, sino saber que lo escribi.
Ningn mecanismo podra sentir (y no slo una
mera seal artificial, cosa fcil de hacer) placer
por sus xitos, sentir pesar cuando se le funde
una vlvula, sentirse bien con un halago, sentirse
miserable por sus errores, estar encantado por el
sexo, estar enojado o deprimido cuando no con-

sigue lo que quiere.

Este argumento parece ser una negacin a la validez de nuestra prueba. De acuerdo a la forma
ms extrema de esta visin, la nica manera con
la cual uno podra estar seguro de que una mquina piensa es ser la mquina y sentir su propio
pensamiento. Por tanto, se podra describir estas
sensaciones al mundo, pero por supuesto nadie
estara justificado de poder percatarse. De manera similar, de acuerdo a esta visin, la nica
manera de saber que un hombre piensa es ser ese
hombre en particular. ste es el punto de vista
de solipsista. Esa sera la visin ms lgica de
sostener, pero hace difcil la comunicacin de las
ideas. A est inclinado a creer A piensa pero B
no, mientras que B cree B piensa pero A no.
En vez de argumentar continuamente contra este
punto, lo usual es tener la convencin educada de
que todos pensamos.
Estoy seguro de que el profesor Jefferson no quiere adoptar el punto de vista extremista del solipsismo. Probablemente l se encontrara dispuesto
a aceptar el juego de la imitacin como una prueba. El juego (con el jugador B omitido) es usado frecuentemente en la prctica con el nombre
de viva voce para descubrir si alguien realmente entiende algo o ha aprendido como perico.
Escuchemos una parte de un viva voce:
Interrogador: En la primera lnea de su soneto,
el cual dice deberais compararles con un da de
verano, no sera igual o mejor decir un da de
primavera?
Testigo: no tendra la mtrica correcta.
Interrogador: y si usamos un da de invierno.
Ese s la tendra.
Testigo: s, pero nadie quiere ser comparado con
un da de invierno.

11

Interrogador: se podra decir que el Sr. Pickwick 6.5.

le recuerda la navidad?

Argumentos desde las discapacidades mltiples.

Testigo: de cierta manera.

Interrogador: pero la navidad es un da de in- Estos argumentos toman la forma Te aseguro
vierno, y no creo que al Sr. Pickwick le importe que puedes hacer mquinas que hagan todas las
cosas que dices, pero nunca podrs hacer una que
la comparacin.
sea capaz de X. Varias caractersticas de X se
Testigo: no creo que ests hablando en serio.
sugieren en relacin a esto. Yo mismo ofrezco una
Cuando uno dice da de invierno se refiere a un
seleccin:
da tpico de invierno ms que a uno especial coSer amable, ingenioso, hermoso, amigable, tener
mo la navidad.
iniciativa, tener sentido del humor, diferenciar lo
Y se podra continuar. Qu dira el profesor Jefcorrecto de lo incorrecto, cometer errores, enamoferson si la mquina escritora de sonetos fuera cararse, disfrutar las fresas con crema, hacer que alpaz de responder de esta manera en el viva voce?
guien se enamore de l, aprender de la experienNo s si l considerara a la mquina como si estucia, usar las palabras apropiadamente, ser sujeto
viera mandando meras seales artificiales para
de sus propios pensamientos, tener tanta diverresponder, pero si las respuestas fueran satisfacsidad de conductas como un hombre, hacer algo
torias y sostenidas como en el pasaje anterior,
realmente novedoso.
no creo que las describira como un cosa fcil
de hacer. Creo que esta frase tiene por intencin Usualmente no se ofrece ningn soporte a estos
cubrir a dichos dispositivos en los cuales a una enunciados. Creo que la mayora se basan en el
mquina se le incluye la grabacin de alguien que principio de induccin cientfica. Un hombre ve
lee un soneto, con un interruptor apropiado para miles de mquinas en su vida. Y de acuerdo a lo
que ve, saca una cantidad de conclusiones geneprenderlo de cuando en cuando.
rales. Son feas, se disean con un propsito muy
En pocas palabras, creo que aquellos que apolimitado, y cuando se les requiere para una coyan el argumento de la conciencia podran ser
sa ligeramente diferente, no sirven, la variedad
persuadidos de abandonarlo en vez de forzar una
de conductas es muy poca, y as sucesivamente.
posicin solipsista. Probablemente, estarn disNaturalmente, un hombre concluye que estas son
puestos a aceptar nuestra prueba.
en general propiedades necesarias de las mquiNo quisiera dar la impresin de que creo no hay nas. Muchas de estas limitaciones se encuentran
un misterio con respecto a la conciencia. Hay, por asociadas a la poca capacidad de almacenamienejemplo, algo as como una paradoja en conexin to de la mayora de ellas (asumo que la idea de
con cualquier intento de localizarla. Pero no creo capacidad de almacenamiento incluye de alguna
que estos misterios deban ser resueltos antes de manera a otras mquinas distintas a las mquique podamos responder la pregunta que concier- nas de estados discretos. La definicin exacta no
importa dado que no se sostiene ninguna precine a este artculo.
sin matemtica en esta discusin). Algunos aos
atrs, cuando no se saba mucho sobre los compu12

tadores digitales, haba mucha incredulidad con

respecto a ellos, si es que alguien mencionaba sus
propiedades sin describir su construccin. Presumiblemente, eso se deba a una aplicacin similar
del principio de induccin cientfica. Estas aplicaciones del principio son, por supuesto, inconscientes en su mayora. Cuando un nio con quemaduras le teme al fuego y demuestra su miedo
evitndolo, yo podra decir que l est aplicando
induccin cientfica. (Por supuesto podra describir su conducta de muchas otras maneras). Los
trabajos y costumbres de la humanidad no parecen ser material apropiado sobre el cual aplicar la
induccin cientfica. Una gran parte del espaciotiempo debe ser investigada si se busca obtener
resultados confiables. De otra manera, podramos
(como la mayora de los nios ingleses lo hacen)
decidir que todo el mundo habla ingls, y que por
lo tanto es tonto aprender francs.
Sin embargo, se pueden hacer comentarios especiales acerca de las muchas discapacidades que
han sido mencionadas. La incapacidad de disfrutar las fresas con crema podra sorprender al
lector dada su frivolidad. Posiblemente, se podra hacer una mquina que disfrute este delicioso plato, pero cualquier intento de crearla sera
estpido. Lo que es importante con respecto a
esta discapacidad es que contribuye a otras discapacidades, por ejemplo, a la dificultad del mismo tipo de amabilidad entre hombre y mquinas
como entre hombre blanco con hombre blanco, o
entre hombre negro y hombre negro.
La declaracin de que las mquinas no pueden
cometer errores parece curiosa. Uno es tentado
a responder son peores por eso?. Pero adoptemos una actitud un poco ms comprensiva, y
veamos que quiere decir realmente. Creo que esta
crtica puede ser explicada en trminos del juego
de la imitacin. Se sostiene que interrogador po-

dra distinguir simplemente la mquina del hombre al plantearle una cantidad de problemas aritmticos. La mquina sera desenmascarada dado
su altsima eficacia. La respuesta a esto es simple.
La mquina (programada para jugar el juego)
no intentara dar la respuesta correcta a los problemas aritmticos. Deliberadamente, cometera
errores de manera calculada para confundir al
interrogador. Una falla mecnica podra probablemente delatar a la mquina con una decisin
poco apropiada con respecto al tipo de error que
cometa en el clculo. Incluso esta interpretacin
de la crtica no es lo suficientemente comprensiva. Pero no podemos dedicarle el espacio para
ahondar en ello. Me parece que esta crtica se sostiene en una confusin entre dos tipos de errores.
Podramos etiquetarlos como errores de funcionamiento y errores de conclusin. Los errores
de funcionamiento se deben a alguna falla mecnica o elctrica que produce que la mquina se
comporte de una manera distinta con respecto
a la cual fue diseada. En la discusin filosfica a uno le gusta ignorar la posibilidad de tales
errores; uno se encuentra por lo tanto discutiendo sobre mquinas abstractas. Estas mquinas
abstractas son ficciones matemticas ms que objetos fsicos. Por definicin, incapaces de presentar errores de funcionamiento. En este sentido,
podemos realmente decir que las mquinas nunca cometen errores. Errores de conclusin slo
se pueden producir cuando se adjunta algn significado a las seales de salida de la mquina. La
mquina podra, por ejemplo, escribir ecuaciones matemticas, u oraciones en ingls. Cuando
escribe una proposicin falsa, decimos que la mquina ha cometido un error de conclusin. Claramente, no hay razn para decir que la mquina
no pueda cometer este tipo de error. Podra solamente escribir repetidas veces 0 = 1. Al considerar un ejemplo menos rebuscado, se podra

13

tener algn mtodo para dar conclusiones a tra- sea, dado que debe ser mecnico) es realmente
vs de la induccin cientfica. Debemos esperar deshonesto. Compare con el parntesis de la afirque un mtodo as nos lleve a resultados err- macin de Jefferson mencionada ms arriba.
neos ocasionalmente.
La aseveracin de que una mquina no puede ser
objeto de su propio pensamiento slo puede ser
respondida si se puede mostrar que la mquina
posee algn pensamiento con algn objeto. No
obstante, el objeto de las operaciones de una mquina pareciera significar algo, al menos para las
personas que tratan con ella. Si, por ejemplo, la
mquina estuviera tratando de encontrar una solucin para la ecuacin x2 40x 11 = 0, uno se
sentira tentado a describir estas ecuacin como
parte del objeto del pensamiento de la mquina en ese momento. En este sentido, la mquina
puede sin lugar a dudas ser el objeto de su propio pensamiento. Podra ser usada para ayudar
a crear sus propios programas, o para predecir el
efecto de las alteraciones en su propia estructura. A travs de la observacin de resultados de
su propia conducta, podra modificar sus programas de manera tal de alcanzar algn propsito de
manera ms efectiva. stas son ms bien posibilidades para el futuro cercano que sueos utpicos.
La crtica que refiere a que una mquina no puede
tener una gran variedad de conductas es slo una
manera de decir que no puede tener una gran
capacidad de almacenamiento. Hasta hace poco,
la capacidad de almacenamiento de incluso mil
dgitos era muy rara.
Las crticas que estamos considerando ac son
con frecuencia formas disfrazadas del argumento
desde la conciencia. Generalmente, si uno sostiene que una mquina puede hacer una de estas
cosas, y describe el tipo de mtodo que la mquina podra usar, uno no producira una gran
impresin. Se cree que el mtodo (cualquiera que

6.6.

La objecin de Lady Lovelace.

La informacin ms detallada de la Mquina

Analtica de Babbage proviene de una de las memorias de Lady Lovelace (1842). En sta, ella
sostiene que la Mquina Analtica no tiene pretensiones de originar nada. Puede hacer cualquier cosa que sepamos ordenarle que haga (su
cursiva). Esta declaracin es citada por Hartree,
que aade: esto no implica que no sea posible
construir un equipamiento electrnico que podr
pensar por s mismo, o sobre el cual, en trminos biolgicos, uno pudiera construir un reflejo
condicionado, que podra servir como la base del
aprendizaje. Si es que esto es posible en principio o no es una pregunta estimulante y apasionante, y es sugerida debido a algunos de los
desarrollos recientes. Pero no parece que las mquinas construidas o proyectadas en ese momento
pudieran tener esta propiedad.
Estoy completamente de acuerdo con Hartree.
Uno podr notar que l no asevera que las mquinas en cuestin no tuvieran la propiedad, sino
que la evidencia disponible para Lady Lovelace
no la alentaba a creer que la tuvieran. Es muy posible que las mquinas en cuestin tuvieran esta
propiedad en cierto sentido. Suponga que alguna mquina de estados discretos tiene la propiedad. La Mquina Analtica era un computador
universal digital, as que, si la capacidad de almacenamiento y velocidad fueran adecuadas, se
podra a travs de una programacin apropiada
hacer que se imitara a la mquina en cuestin.
Probablemente este argumento no se le ocurri

14

ni a la Condesa ni a Babbage. En cualquier caso, Esto nos lleva de vuelta a la discusin sobre la
no tenan ninguna obligacin de afirmar todo lo conciencia, y lejos de la idea de la sorpresa. Esta
es una lnea argumental que debemos considerar
que se puede afirmar.
cerrada, pero quizs valga la pena destacar que la
Toda esta pregunta ser considerada nuevamente
apreciacin de algo como sorpresivo requerir un
bajo la perspectiva de las mquinas que aprenacto mental creativo, sin importar si el evento
den.
sorpresivo es originado por un hombre, un libro,
Una variante de la objecin de Lady Lovelace una mquina o cualquier otra cosa.
afirma que una mquina nunca hace nada realLa idea de que las mquinas no producen sorpremente nuevo. Esto podra ser aludido desde la
sas se debe, creo yo, a una falacia a la cual se
perspectiva de no hay nada nuevo bajo el sol.
encuentran especialmente sujetos los filsofos y
Quin puede tener certeza que el trabajo orilos matemticos. Es el supuesto de que tan pronginal que alguien haya hecho no fue solamento como se presente un hecho a una mente, todas
te el crecimiento de una semilla plantada en l
las consecuencias de ese hecho florecen en ella
a travs de la enseanza, o el efecto de seguir
simultneamente con el hecho. Es un supuesto
principios generales bien sabidos. Una variante
muy til en muchas circunstancias, pero uno olmejor a la objecin dice que una mquina nunvida demasiado fcilmente que es falso. Una conca puede sorprendernos. Esta declaracin es un
secuencia natural de hacer esto es que uno asudesafo ms directo y puede ser enfrentada ms
me que no hay mrito en la simple bsqueda de
directamente. Las mquinas me sorprenden con
consecuencias a partir de datos y principios gegran frecuencia. Esto se debe en gran medida a
nerales.
que no hago el clculo suficiente para decidir qu
puedo esperar de ellas, o ms bien porque, aunque hago una estimacin, lo hago apurado, con 6.7. Argumento desde la continuidad
descuido, tomando riesgos. Quizs me digo a mi
en el sistema nervioso.
mismo, Y creera que el voltaje ac debiera ser el
mismo que all: bueno, supongamos que as es.
Con toda certeza, el sistema nervioso no es una
Naturalmente, con frecuencia me equivoco, y el
mquina de estados discretos. Un pequeo error
resultado es una sorpresa, pues para cuando el
en la informacin sobre el tamao del impulso
experimento se lleva a cabo, estos supuestos ya
nervioso que afecte a una neurona, podra hacer
se han olvidado. Reconocer lo anterior me deja
una gran diferencia en el tamao del impulso saexpuesto a crticas sobre mis modos descuidados
liente. Se podra sostener que, siendo esto as, no
de proceder, pero no arrojan ninguna duda sobre
se puede esperar sea posible imitar la conducta
mi credibilidad cuando testifico las sorpresas que
del sistema nervioso con un sistema de estados
experimento.
discretos.
No espero que esta respuesta silencie a mi crtiEs verdad que una mquina de estados discretos
co. l probablemente dir que esas sorpresas se
debe ser diferente de una mquina continua. Pedeben a algn acto mental creativo de mi parro si nos adherimos a las condiciones del juego de
te, y que no otorga ningn crdito a la mquina.
la imitacin, el interrogador no ser capaz sacar
15

provecho de esta diferencia. La situacin se puede hacer ms clara si consideramos a otras mquinas continuas ms simples. Un analizador diferencial servir bien. (Un analizador diferencial
en un tipo de mquina, que no es del tipo de estados discretos, y que se usa para algunos tipos de
clculos). Algunos de stos generan sus respuestas de manera escrita, por lo que son adecuadas
para formar parte del juego. No sera posible para un computador digital predecir exactamente
qu respuestas dara el analizador diferencial para determinado problema, pero sera muy capaz
de dar el tipo correcto de respuesta. Por ejemplo,
si se le pidiera que de el valor de (alrededor de
3.1416), sera razonable elegir al azar entre valores 3.12, 3.13, 3.14, 3.15, 3.16 con probabilidades
de 0.05, 0.15, 0.55, 0.19, 0.06 (por ejemplo). Bajo estas circunstancias, sera muy difcil para el
interrogador distinguir entre el analizador diferencial y el computador digital.

6.8.

El argumento desde la informalidad de la conducta.

Dado lo anterior, se dice que no podemos ser mquinas. Tratar de reproducir el argumento, pero
me temo que no podr hacerle justicia. Pareciera que es algo as: Si cada hombre tuviera un
grupo determinado de reglas de conducta por las
cuales l regulara su vida, no sera ms que una
mquina. Pero no existen tales reglas, as que los
hombres no pueden ser mquinas. La falacia argumental es flagrante. No creo que el argumento
se haya propuesto as alguna vez, no obstante
creo que ese es el argumento que se da. Sin embargo, podra hacer una cierta confusin entre
las reglas de conducta y las leyes de comportamiento. Se entiende por reglas de conducta
los preceptos tales como detenerse si uno ve una
luz roja, sobre las cuales alguien puede actuar,
y de las cuales se est consciente. Por leyes de
comportamiento me refiero a las leyes de la naturaleza aplicables al cuerpo de un hombre, tales
como si lo pinchas, va a chillar. Si substituimos
reglas de conducta que regulan su vida por leyes de comportamiento que regulan su vida en
el argumento citado con anterioridad, la falacia
deja de serlo. Pues no solamente creemos que ser
regulados por leyes de comportamiento implica
ser cierto tipo de mquina (aunque no necesariamente una mquina de estados discretos), sino
que recprocamente, ser tal mquina implica ser
regulado por tales leyes. Sin embargo, no podemos convencernos tan fcilmente de la ausencia
de leyes completas del comportamiento, como de
la ausencia de reglas completas de la conducta.
La nica manera que sabemos para descubrir tales leyes es la observacin cientfica, y ciertamente conocemos de circunstancia alguna en la que
podamos decir: hemos buscado lo suficiente. No
existen tales leyes.

No es posible producir una lista de reglas que

pretendan describir lo que un hombre debiera
hacer en cada circunstancia concebible. Uno podra, por ejemplo, tener una regla en la que se
debe parar cuando alguien ve un semforo en rojo, y de seguir si alguien ve la luz verde; pero,
qu pasa si por alguna falla, ambas luces aparecen juntas? Uno quizs decidira detenerse ya
que es ms seguro. Pero una nueva dificultad bien
podra producirse ms tarde por esta decisin. El
intento de proveer reglas de conducta para cubrir
cada eventualidad, incluso aquellas que se produPodemos demostrar ms convincentemente que
cen por los semforos, parece imposible. Estoy de
cualquier declaracin de este tipo sera injustifiacuerdo con todo esto.
16

cada: Suponga que estuviramos seguros de encontrar tales leyes cuando existieran. Entonces,
dada una mquina de estados discretos, sera con
certeza posible descubrir tales leyes a travs suficientes observaciones de ella, y as predecir su
conducta futura, y todo esto dentro de un tiempo
razonable, digamos, mil aos. Pero este no parece ser el caso. He instalado en el computador de
Manchester un programa pequeo usando solo
1000 unidades de almacenamiento, tal que cuando a la mquina se le provee con un nmero de 16
dgitos, responde con otro nmero de 16 dgitos
en dos segundos. Desafiara a cualquiera a aprender lo suficiente de las respuestas del programa
para ser capaz de predecir cualquier respuesta a
valores no probados con anterioridad.

6.9.

El argumento desde la percepcin

extra-sensorial.

Asumo que el lector se encuentra familiarizado

con la idea de percepcin extra-sensorial, y del
significado de sus cuatro trminos, que son telepata, clarividencia, precognicin y psicoquinesia. Estos fenmenos perturbadores parecieran ir
en contra de todas nuestras ideas cientficas usuales. Cmo nos gustara desacreditarlos! Desafortunadamente, la evidencia estadstica, al menos
para la telepata, es abrumadora. Es muy difcil
reordenar nuestras ideas de manera tal de que
encajen con estos datos nuevos. Una vez que uno
las ha aceptado, no parece un gran avance creer
en fantasmas y cocos. La idea de que nuestros
cuerpos se mueven simplemente debido a las reglas fsicas conocidas, junto a otras que an no
han sido descubiertas pero que sin embargo son
similares, sera una de las primeras en ser abandonadas.

Para mi criterio, este argumento es slido. Uno

puede fcilmente responder que muchas teoras
cientficas parecen ser tiles en la prctica, a pesar del conflicto con la P.E.S.; de hecho, uno puede olvidarse de ello sin mayor problema. Esto es
consuelo muy pobre, y me temo que el pensar
sea el tipo de fenmeno donde la P.E.S. podra
ser especialmente relevante.
Un argumento ms especfico basado en la P.E.S.
podra ser: Djanos jugar el juego de la imitacin, usando como testigo un hombre que es un
buen receptor teleptico, y un computador digital. El interrogador puede preguntar cosas tales
como qu figura tiene la carta que tengo en
mi mano derecha?. El hombre, a travs de telepata o clarividencia, responde correctamente
130 veces de un total de 400 cartas. La mquina slo puede adivinar azarosamente, y obtiene
104 respuestas correctas, por lo que el interrogador realiza la identificacin correcta. Hay una
posibilidad interesante que se abre aqu. Suponga que el computador digital contiene un generador de nmeros aleatorios. Entonces, ser natural usar esto para decidir qu respuesta dar.
Pero entonces el generador de nmeros aleatorios estar sujeto a los poderes psicoquinticos
del interrogador. Quizs esta psicoquinesia podra hacer que la mquina adivine correctamente
con ms frecuencia de la esperada por un clculo
de probabilidad, por lo que el interrogador sera
incapaz an de realizar la identificacin correcta. Por otro lado, l podra ser capaz de adivinar
correctamente sin hacer preguntas, sino a travs
de la clarividencia. Con la P.E.S. cualquier cosa
podra pasar.
Si se admite la telepata, ser necesario afinar
nuestra prueba. La situacin podra ser considerada como anloga a lo que ocurrira si el interrogador estuviera hablando consigo mismo en

17

voz alta y uno de los competidores estuviera escuchando con su odo en la pared. Poner a los
competidores en una habitacin a prueba de telepata bastara para cumplir todos los requerimientos.

7.

Mquinas que aprenden.

El lector habr anticipado que no tengo argumentos de naturaleza positiva muy convincentes para
apoyar mis puntos de vista. Si los tuviera, no me
habra tomado el trabajo de destacar las falacias
de perspectivas contrarias. Ahora presentar la
evidencia que tengo.
Volvamos por un momento a la objecin de Lady
Lovelace, la cual afirma que la mquina slo puede hacer lo que le digamos que haga. Uno podra
decir que un hombre puede inyectar una idea
en la mquina, y que esta responder hasta cierto punto y luego caer en un estado de quietud,
tal como la cuerda de un piano cuando la golpea el martillo. Otra comparacin sera una carga
atmica cuyo tamao es menor al tamao crtico: una idea inyectada correspondera al neutrn
que entra desde fuera. Tal neutrn causar cierta
alteracin que eventualmente se acabar. Sin embargo, si el tamao de la carga atmica es lo suficientemente incrementada, la alteracin causada
por la entrada de ese neutrn muy probablemente continuar sucesivamente, aumentando hasta
que la carga se destruya. Existe algn fenmeno
anlogo para las mentes y existe uno anlogo para las mquinas? Al parecer s hay uno para la
mente humana. La mayora de ellas parecen ser
subcrticas, es decir, en la analoga corresponderan a cargas de tamao subcrtico. La idea que
se le presenta a una mente as generar en promedio menos que una idea en respuesta. Una pe-

quea proporcin de ellas son supercrticas. Una

idea presentada a una de tales mentes podra generar toda una nueva teora que contenga ideas
secundarias, terciarias, y otras ms remotas. Las
mentes de los animales parecieran ser absolutamente subcrticas. En relacin a esta analoga se
puede preguntar, se puede hacer una mquina
para que sea supercrtica?
La analoga de las capas de cebolla tambin es
til. Al considerar las funciones de la mente o el
cerebro, encontramos ciertas operaciones que se
pueden explicar en trminos puramente mecnicos. Decimos que esto no corresponde a la mente
real: es un cierto tipo de capa que debemos sacar
si queremos encontrar la mente real. Pero luego
en lo que queda, encontramos otra capa que se
puede remover, y as sucesivamente. Si se procede
de esta manera, podemos alcanzar en algn momento la mente real, o eventualmente llegamos a
una capa que no contiene nada? En este ltimo
caso, toda la mente sera mecnica. (Sin embargo, no sera una mquina de estados discretos.
Ya discutimos esto.)
Los dos ltimos prrafos no aseguran ser necesariamente argumentos convincentes. Deberan en
vez ser descritos como recitados que tienden a
producir creencia.
El nico fundamento realmente satisfactorio que
se puede dar para la visin expresada al principio
de la seccin 6 ser que, debemos esperar el final
de siglo y recin entonces, hacer el experimento descrito. Pero, qu podemos decir mientras
tanto? Qu pasos deberan darse para que el
experimento sea exitoso?
Como he explicado, el problema es esencialmente
un problema de programacin. Tambin tendrn
que haber avances en la ingeniera, pero parece
improbable que estos no vayan a ser adecuados

18

para los requerimientos. Las estimaciones para la

capacidad de almacenamiento del cerebro varan
entre 1010 a 1015 dgitos binarios. Yo me inclino
por los valores ms bajos y creo que slo una pequea fraccin se usa en los tipos de pensamiento
superior. La mayor parte se usa probablemente para la retencin de impresiones visuales. Me
sorprendera si ms de 109 se requiera para jugar satisfactoriamente el juego de la imitacin,
al menos, si se juega contra un ciego. (Nota: la
capacidad de la Enciclopedia Britannica, undcima edicin, es 2 109 .) Una capacidad de almacenamiento de 107 sera una posibilidad factible
incluso con las tcnicas actuales. Es probable que
no sea necesario incrementar la velocidad de las
operaciones de las mquinas en lo absoluto. Las
partes de las mquinas modernas, que podran
ser consideradas como anlogas a clulas nerviosas, trabajan cerca de mil veces ms rpido que
estas ltimas. Esto debiera otorgar un margen
de seguridad el cual pudiera cubrir prdidas de
velocidad que se produzcan de muchas maneras.
Por lo tanto, nuestro problema es descubrir cmo
programar estas mquinas para jugar el juego.
En mi actual tasa de trabajo, produzco cerca de
mil dgitos de programa al da, por lo que cerca de
sesenta trabajadores, que trabajen regularmente
a travs de cincuenta aos podran lograr el objetivo, si es que nada se debe desechar. Algn
mtodo ms expedito parece deseable.

a la que haya sido sujeta.

En vez de tratar de producir un programa similar a la mente adulta, por qu no tratar en vez
de producir una que simule la mente de un nio?
Si sta fuera luego sujeta al curso apropiado de
educacin, uno obtendra el cerebro adulto. Presumiblemente, el cerebro de un nio es algo as
como un cuaderno que uno compra en una tienda. Un mecanismo ms bien simple, con muchas
hojas en blanco. (Mecanismo y escritura son casi
sinnimos para nuestro punto de vista.) Nuestra esperanza es que haya tan poco mecanismo
en el cerebro del nio, que algo as pueda ser
programado fcilmente. Podemos asumir en una
primera aproximacin que la cantidad de trabajo
en la educacin sera muy similar a la de un nio
humano.
Hemos por tanto dividido nuestro problema en
dos partes: el programa - nio y el proceso educativo. stos permanecen estrechamente relacionados. No podemos esperar encontrar un buen
nio-mquina al primer intento. Uno debe experimentar enseando a una mquina as y ver qu
tan bien aprende. Luego, se puede intentar con
otra y ver si es mejor o peor. Hay una conexin
obvia entre este proceso y la evolucin, a travs
de estas identificaciones:

Estructura del nio-mquina = material hereditario

Durante el proceso de intento de imitacin de la Cambios de nio-mquina = Mutaciones
mente de un humano adulto tendemos a pensar Seleccin natural = Juicio del experimentador
bastante sobre el proceso que produjo el estado
Uno podra esperar, no obstante, que este proceen el que se encuentra. Podramos mencionar tres
so ser ms expedito que la evolucin. La sobrecomponentes:
vivencia del ms apto es un mtodo lento para
(a) El estado inicial de la mente, digamos al mo- medir ventajas. El experimentador, a travs del
ejercicio de la inteligencia, debiera ser capaz de
mento de nacer;
acelerarlo. Igualmente importante es el hecho de
(b) La educacin a la cual fue sujeta;
(c) Otra experiencia, no descrita como educacin, que l no se encuentra restringido a las muta19

ciones aleatorias. Si puede rastrear la causa para nicarse con el pupilo, la cantidad de informacin
una debilidad, puede probablemente pensar en el que le puede llegar no excede el nmero total de
recompensas y castigos aplicados. Para el motipo de mutacin para mejorarla.
mento en el cual el nio ha aprendido a repetir
No ser posible aplicar exactamente los mismos
Casabianca, probablemente estar muy adolomtodos de enseanza a una mquina que los que
rido, si el texto slo se pudiera descubrir a travs
se le aplicaran a un nio normal. No se le puede
una tcnica tipo Veinte Preguntas, donde cada
proveer piernas, por ejemplo, por lo que no se le
No toma la forma de un golpe. Es necesario por
pedir que vaya a buscar el cubo para el carbn.
lo tanto tener algunos otros canales de comuniPosiblemente no tendra ojos. Pero sea como sea
cacin no emocionales. Si estos estuvieran disque estas deficiencias sean superadas por un diponibles, sera posible ensearle a una mquina
seo inteligentemente planeado, uno no podra
a travs de castigos y recompensas a obedecer
enviar a la criatura a la escuela sin que los nios
rdenes en algn lenguaje, por ejemplo un lenno se burlaran excesivamente de ella. Se le debe
guaje simblico. Estas rdenes seran transmitidar cierta instruccin. No debemos preocuparnos
das a travs de los canales no emocionales. El
tanto de las piernas, ojos, y otra cosas. El ejemuso de este lenguaje disminuir en gran medida
plo de la seorita Helen Keller demuestra que la
el nmero de castigos y recompensas requeridos.
educacin puede producirse siempre y cuando la
comunicacin en ambos sentidos entre maestro y Las opiniones pueden variar respecto a la complejidad que es adecuada en el nio-mquina. Uno
pupilo se produzca de una u otra manera.
podra tratar de hacerlo lo ms simple posible
Normalmente, se asocian los castigos y recomconsistentemente con los principios generales. O
pensas con proceso educativo. Se podra consbien, uno podra tener un sistema completo de
truir o programar ciertos nio-mquinas simples
inferencias lgicas construido dentro de l. En
basados en este principio. La mquina debe ser
este ltimo caso, el almacenamiento sera mayorconstruida de tal manera que los eventos previos
mente ocupado con definiciones y proposiciones.
a una seal de castigo sean poco probables de
Las proposiciones tendran varios tipos de estavolver a ocurrir, mientras que la seal de recomtus, tales como hechos bien establecidos, conjepensa aumente la probabilidad de repeticin de
turas, teoremas matemticos probados, declaralos eventos que llevaron a ella. Estas definiciones
ciones hechas por una autoridad, y expresiones
no presuponen ningn sentimiento por parte de
que tengan la forma lgica de una proposicin
la mquina. He hecho algunos experimentos con
pero no un valor de creencia. Ciertas proposiuno de estos nio-mquinas, y tuve xito en ensaciones pueden ser descritas como imperativas.
arle algunas cosas, pero el mtodo de enseanza
La mquina debiera ser construida de tal mafue demasiado poco ortodoxo como para que el
nera que tan pronto como una proposicin imexperimento sea considerado realmente exitoso.
perativa sea clasificada como bien establecida,
El uso de castigos y recompensas puede, en el la accin apropiada se produce inmediatamente.
mejor de los casos, ser slo una de las partes del Para ilustrar esto, supongamos que el profesor le
proceso de enseanza. En trminos muy genera- dice a una mquina haz tu tarea ahora. Esto
les, si el profesor no tiene otros medios de comu- podra hacer que El profesor dice haz tu tarea
20

ahora sea incluida entre los hechos bien establecidos. Otro hecho como este podra ser todo
lo que dice el profesor es verdad. Al combinar
estos dos se podra llegar al fin a que el imperativo haz tu tarea ahora sea incluida entre los
hechos bien establecidos, y esto, dada la construccin de la mquina, implicar que la tarea de
hecho comienza a ser realizada; pero el efecto es
muy satisfactorio. El proceso de inferencia usado
por la mquina no necesita satisfacer a los lgicos
ms exactos. Podra no existir una jerarqua de
tipos, por ejemplo. Pero esto no necesariamente
significa que las falacias de tipo tienen que ocurrir ms que lo que nosotros estamos destinados
a caer en los acantilados sin baranda. Imperativos apropiados (expresadas dentro del sistema,
no que formen parte de las reglas del sistema) tales como no use una clase a menos que sea una
subclase de otra que ha sido mencionada por el
profesor pueden tener un efecto similar a no
acercarse demasiado al borde.
Los imperativos que pueden ser obedecidos por
una mquina que no tenga extremidades estn
destinados a tener un carcter ms bien intelectual, como en el ejemplo (hacer la tarea) dado
arriba. Los imperativos que sern ms importantes son aqullos que regulen el orden en el cual las
reglas del sistema lgico utilizado sean aplicadas.
Pues en cada etapa en la que se use un sistema
lgico, existe un gran nmero de pasos alternativos, cualquiera de los cuales se puede aplicar en
lo que concierne a la obediencia de las reglas del
sistema lgico. Estas elecciones hacen la diferencia entre un razonador brillante y uno intil, no
la diferencia entre uno consistente y uno falaz.
Las proposiciones que lleven a los imperativos de
este tipo podran ser cuando Scrates sea mencionado, use el silogismo en Brbara o si un
mtodo demuestra ser ms rpido que otro, no

utilice el lento. Algunos de stos se podran ser

hechos por una autoridad, pero otros podran
ser producidos por la propia mquina, a travs,
por ejemplo, de una induccin cientfica.
La idea de una mquina que aprende podra parecer paradjica para ciertos lectores. Cmo pueden las reglas de funcionamiento de una mquina
cambiar? Estas debieran describir completamente cmo la mquina reaccionar sin importar cul
sea su historia, o los cambios por los que pudo
haber pasado. Las reglas son entonces bastante
invariantes en el tiempo. Esto es muy cierto. La
explicacin de la paradoja es que las reglas que
son cambiadas en el proceso de aprendizaje son
de un tipo menos pretencioso, afirmando solamente tener una validez efmera. El lector puede
hacer un paralelo con la constitucin de los Estados Unidos.
Una caracterstica importante de una mquina
que aprende es que su profesor ser con bastante frecuencia muy ignorante sobre qu es lo que
ocurre dentro de ella, aunque an as podra ser
capaz de predecir la conducta de su pupilo, hasta
cierto punto. Este debera ser el caso en mayor
medida en la educacin tarda de una mquina
que surja de un nio-mquina con un diseo (o
programa) bien probado. Esto se encuentra en
directo contraste con el procedimiento normal al
utilizar una mquina para que haga clculos: en
ese caso, el objetivo es tener una imagen mental
clara del estado de la mquina en cada momento
de la clculo. Este objetivo se puede lograr solamente con dificultad. La visin de que la mquina solamente puede hacer lo que sepamos ordenarle que haga, se vuelve extraa de cara a
esto. La mayora de los programas que podamos
otorgarle a una mquina resultarn en que sta
haga algo que no tiene ningn sentido para nosotros, o lo consideraramos como comportamiento

21

completamente aleatorio. El comportamiento inteligente consiste presumiblemente es una desviacin de la conducta completamente disciplinada
involucrada en los clculos, pero una desviacin
moderada, que no genera conductas aleatorias, o
secuencias repetitivas sin sentido. Otro resultado
importante de preparar a nuestra mquina para
su parte en el juego de la imitacin a travs de un
proceso de enseanza y aprendizaje es que la falibilidad humana probablemente sea omitida de
manera natural, es decir, sin un adiestramiento
especial. (El lector debiera reconciliar esto con el
punto de vista en pginas anteriores) Los procesos que son aprendidos no producen una certeza
del cien por ciento en el resultado; si as fuera,
no podran ser desaprendidos.

mtodo aleatorio parece ser mejor que el sistemtico. Debera sealarse que este es el que se usa
en el proceso anlogo de la evolucin, ya que el
mtodo sistemtico no es posible. Cmo se podra mantener registro de las distintas combinaciones genticas que se han probado, de manera
de evitar realizarlas de nuevo?
Podramos esperar que las mquinas eventualmente compitan con los hombres en todos los
campos puramente intelectuales. Pero, cules
son los mejores para comenzar? Incluso eso es
una decisin difcil. Mucha gente cree que una
actividad muy abstracta, como jugar ajedrez, sera lo mejor. Tambin se puede sostener que lo
mejor es proveer a la mquina con los mejores
rganos sensoriales que el dinero pueda comprar
y ensearle a comprender y hablar ingls. Este
proceso podra seguir la enseanza normal de un
nio. Las cosas podran ser sealadas y nombradas, y as sucesivamente. Nuevamente, no s cul
sea la respuesta correcta, pero creo que ambas
aproximaciones debieran intentarse.

Sera aconsejable incluir un elemento aleatorio en

una mquina que aprende. Un elemento aleatorio es bastante til cuando buscamos la solucin
a un problema. Suponga, por ejemplo, que quisiramos encontrar un nmero entre 50 y 200 el
cual es igual al cuadrado de la suma de sus dgitos; podramos empezar con 51 y luego tratar con
Slo podemos ver una corta distancia delante de
52 y continuar hasta que encontremos un nmero
nosotros, pero podemos ver ah, muchsimo de lo
que funcione. Como alternativa, podramos eleque se necesita hacer.
gir nmeros al azar hasta que encontremos uno
que sirva. Este mtodo tiene la ventaja de que es
innecesario mantener registro de los valores que
han sido probados, pero la desventaja de que se
podra intentar con el mismo nmero dos veces;
pero eso no es muy importante si hay varias soluciones. El mtodo ms sistemtico tiene la desventaja de que puede haber un enorme bloque
sin soluciones en la regin que se investiga primero. Ahora el proceso de aprendizaje podra ser
considerado como la bsqueda de una forma de
comportamiento que satisfaga al profesor (o algn otro criterio). Dado que probablemente haya un gran nmero de soluciones satisfactorias, el
22