Turing Tarea

7/24/2019 Turing Tarea

1/25

1. El juego de imitacin

Propongo considerar la pregunta, "Pueden pensar las mquinas?" Esto debecomenzar con las defniciones del signifcado de los trminos "mquina" !"pensar". as defniciones pueden ser enmarcadas a fn de re#ejar en lo posibleel uso normal de las palabras, pero esta actitud es peligrosa, $i el signifcadode las palabras "la mquina" ! "pensar" se encuentran e%aminando la &orma enque se utilizan com'nmente es di&(cil escapar a la conclusin de que el sentido! la respuesta a la pregunta) "Pueden pensar las mquinas?" *a! que buscarlaen una encuesta estad(stica como una encuesta de +allup. Pero esto esabsurdo. En lugar de intentar una defnicin tan o! a reemplazar a la preguntapor el otro, que est estrec*amente relacionada con ella ! se e%presa conpalabras relatiamente inequ(ocas.

a nuea &orma del problema puede ser descrito en trminos de un juego quese llama el "juego de la imitacin" $e juega con tres personas, un *ombre -/,

una mujer -0/, ! un interrogador -/. 2ue puede ser de cualquier se%o. Elinterrogador se queda en una *abitacin aparte &rente a los otros dos. Elobjetio del juego para el interrogador es determinar cul de los otros dos es el*ombre ! cul es la mujer. 3l los conoce por etiquetas 4 e 5 , ! al fnal del juegodice !a sea "4 es e 5 es 0" o "4 es 0 e 5 es ." El interrogador se le permite*acer preguntas a ! 0 as()

) $er 4 por &aor d(game la longitud de su pelo?

*ora supongamos que 4 es en realidad , entonces debe responder. Esobjeto de una en el juego para tratar de causar para *acer la identifcacin

equiocada. $u respuesta podr(a ser, por lo tanto)"6i cabello es de tejas, ! las *ebras ms largas son cerca de nuee pulgadasde largo."

on el fn de que los tonos de oz pueden no a!udar al interrogador lasrespuestas deben ser escritas, o mejor a'n, a mquina. a disposicin ideal estener un teletipo comunicacin entre las dos *abitaciones. omo alternatia, lapregunta ! las respuestas pueden ser repetidos por un intermediario. Elobjetio del juego para el tercer jugador -0/ es a!udar al interrogador. a mejorestrategia para ella es, probablemente, para dar respuestas eraces. Ella

puede a7adir cosas como "5o so! la mujer, no le escuc*es8" sus respuestas,pero le serir de nada que el *ombre puede *acer comentarios similares.

*ora nos preguntamos) "2u a a pasar cuando una mquina toma la partede en este juego?" El interrogador decidir errneamente como a menudocuando el juego se juega de esta manera como lo *ace cuando se juega el

juego entre un *ombre ! una mujer? Estas preguntas reemplazan nuestraoriginal, "Pueden pensar las mquinas?"


2/25

9. r(tica del :ueo Problema

s( como preguntando) "ul es la respuesta a esta nuea &orma de lapregunta," uno puede preguntarse, "Es esta nuea pregunta digna de uno ainestigar?" Esta 'ltima cuestin se inestiga sin ms prembulos, cortando deesta manera corta una regresin infnita.

El nueo problema tiene la entaja de sacar una l(nea bastante clara entre lo&(sico ! las capacidades intelectuales de un *ombre. :ing'n ingeniero oqu(mico afrma ser capaz de producir un material que es indistinguible de lapiel *umana. Es posible que en alg'n momento esto podr(a *acerse, pero aunsuponiendo esta inencin disponible deber(amos sentir que *ab(a pocosentido tratar de *acer una "mquina de pensar" ms *umano istindose paraarriba en tales carne artifcial. a &orma en la que nos *emos fjado el problemare#eja este *ec*o en la condicin que impide que el interrogador de er o tocarlos otros competidores, o escuc*ar ;sus oces. lgunas otras entajas del

criterio propuesto se puede mostrar por espcimen preguntas ! respuestas. Porlo tanto)

2) Por &aor, escribir un soneto sobre el tema del @AB;BC.BD.

=) -Pausa de unos >C segundos ! luego dar como respuesta/ 1CAD91.

2) sted juega al ajedrez?

=) $(.

2) Fengo G en mi G1, ! no *a! otras piezas. $lo tienes G a GD ! = en =1. Es sudecisin. qu juega?

=) -Hespus de una pausa de 1A segundos/ compa7ero de =;=I.

El mtodo de pregunta ! respuesta parece ser adecuado para la introduccinde casi cualquiera de los campos de la actiidad *umana que queremos incluir.:o queremos penalizar la mquina por su incapacidad para brillar en lascompeticiones de belleza, ni penalizar a un *ombre por *aber perdido en una

carrera contra un ain. as condiciones de nuestro juego *acen estasdiscapacidades irreleante. os "testigos" pueden presumir, si lo consideranconeniente, tanto como les plazca acerca de su encanto, la &uerza o el*ero(smo, pero el interrogador no pueden e%igir demostraciones prcticas.

El juego puede quiz ser criticado por considerar que las probabilidades sonponderados demasiado contra la mquina. $i el *ombre &uera a tratar de*acerse pasar por la mquina que iba claramente *acer un resultado mu!


3/25

mediocre. 3l ser(a regalado a la ez por la lentitud ! la imprecisin en laaritmtica. :o pueden mquinas realizar algo que debe ser descrito como elpensamiento, pero que es mu! di&erente de lo que *ace un *ombre? Estaobjecin es

mu! &uerte, pero al menos podemos decir que si, sin embargo, una mquinapuede ser construido para jugar el juego de imitacin de manera satis&actoria,no necesitamos estar preocupados por esta objecin.

Podr(a inst a que cuando se juega el "juego de la imitacin" la mejorestrategia para la mquina, posiblemente, puede ser algo ms que la imitacindel comportamiento de un *ombre. Esto puede ser, pero creo que es pocoprobable que *a!a alg'n gran e&ecto de este tipo. En cualquier caso, no *a!intencin de inestigar aqu( la teor(a del juego, ! se supone que la mejorestrategia es tratar de dar respuestas que, naturalmente, estar(a dada por un*ombre.

>. El 6quinas Preocupado en el Juego

a pregunta que nos ponemos en 1 no ser mu! defnida *asta que *a!amosespecifcado qu queremos decir con la palabra "mquina". Es natural quedeseemos para permitir todo tipo de tcnica de ingenier(a que se utilizar ennuestras mquinas. Fambin queremos permitir la posibilidad de que uningeniero o un equipo de ingenieros pueden construir una mquina que&unciona, pero cu!o modo de operacin no se puede describirsatis&actoriamente por sus constructores, !a que *an aplicado un mtodo quees en gran parte e%perimental. Por 'ltimo, queremos e%cluir de las mquinas

de los *ombres nacidos en la &orma *abitual. Es di&(cil para enmarcar lasdefniciones con el fn de satis&acer estas tres condiciones. no podr(a, porejemplo, insisten en que el equipo de ingenieros debe ser todos de un mismose%o, pero esto no ser(a realmente satis&actorio, !a que es probable que seaposible a la parte trasera un indiiduo completo a partir de una sola clula dela piel -por ejemplo/ de un *ombre. Para ello ser(a una proeza de la tcnicabiolgica merecedor de la ms alta alabanza, pero no estar(a inclinado aconsiderarlo como un caso de "la construccin de una mquina de pensar."Esto nos llea a abandonar la e%igencia de que cada tipo de tcnica se debepermitir. $omos los ms dispuestos a *acerlo en ista del *ec*o de que elactual inters en "mquinas pensantes" se *a despertado por una determinadamquina, generalmente llamado un "equipo electrnico" o "computadoradigital." $iguiendo esta sugerencia slo nos permitimos computadoras digitalespara participar en nuestro juego.

Esta restriccin parece a primera ista ser mu! drstico. 5o tratar dedemostrar que no es as( en la realidad. Para ello necesita un bree relato de lanaturaleza ! propiedades de estos equipos.


4/25

Fambin puede decirse que esta identifcacin de las mquinas con lascomputadoras digitales, al igual que nuestro criterio para "pensar", slo serinsatis&actorio si -en contra de mi creencia/, resulta que las computadorasdigitales no son capaces de dar una buena actuacin en el juego .

5a *a! una serie de computadoras digitales en condiciones de &uncionamiento,! se les puede pedir, "Por qu no probar el e%perimento de inmediato? $er(a&cil para satis&acer las condiciones del juego. n n'mero de interrogadores sepodr(a utilizar, ! la estad(stica compilada para mostrar con qu &recuencia se ledio la identifcacin correcta ". a respuesta corta es que no nos preguntamossi todos los equipos digitales *ar(an bien en el juego, ni si los equiposactualmente disponibles *ar(an bien, pero si *a! ordenadores imaginables que*acer bien. Pero esto es slo la respuesta corta. Keremos a esta pregunta deuna manera di&erente despus.

. as computadoras digitales

a idea detrs de las computadoras digitales se puede e%plicar diciendo queestas mquinas tienen la intencin de llear a cabo cualquier operacin quepodr(a *acer por un equipo *umano. El equipo *umano se supone que debeestar siguiendo reglas fjasL l no tiene autoridad para desiarse de ellas endetalle. Podemos suponer que estas reglas se suministran en un libro, que sealtera cada ez que se pone en un nueo trabajo. 3l tambin tiene unsuministro ilimitado de papel en el que l *ace sus clculos. Fambin puede*acer sus multiplicaciones ! adiciones en una "mquina de escritorio," peroesto no es importante.

$i utilizamos la e%plicacin anterior como una defnicin estaremos en peligrode circularidad del argumento. Eitamos esto dando un esbozo. de los mediospor los cuales se logra el e&ecto deseado. na computadora digital por logeneral puede considerarse que consta de tres partes)

-i/ de la tienda.

-ii/ nidad Ejecutia.

-iii/ ontrol.

a tienda es una tienda de in&ormacin, ! se corresponde con el documento de

la computadora *umana, si este es el papel en el que *ace sus clculos o aqulen que se imprime su libro de reglas. En la medida en que el equipo *umanoque *ace los clculos en su cordn de una parte de la tienda corresponder asu memoria.

a unidad ejecutora es la parte que llea a cabo las distintas operacionesindiiduales que participan en un clculo. o que estas operacionesindiiduales son ariarn de una mquina a otra. Por lo general, las


5/25

operaciones bastante largos se puede *acer como "6ultiplicar por >ACDBAABCBD>ADIB", pero en algunas mquinas 'nicas mu! simples, como "Escriba C"son posibles.

5a *emos mencionado que el "libro de reglas" que se suministra a lacomputadora se sustitu!e en la mquina por parte de la tienda. $e llamaentonces la "tabla de instrucciones." Es deber del control para er que estasinstrucciones son obedecidas correctamente ! en el orden correcto. El controlest construido de manera que esto ocurre necesariamente.

a in&ormacin en la tienda por lo general se diide en paquetes de tama7omoderadamente peque7o. En una mquina, por ejemplo, un paquete puedeconstar de diez d(gitos decimales. os n'meros se asignan a las partes de latienda en la que los distintos paquetes de in&ormacin se almacenan, de algunamanera sistemtica. na instruccin t(pica puede decir;

"7adir el n'mero almacenado en la posicin DIC@ a la de >C9 ! poner elresultado en la posicin de almacenamiento 'ltimo."

:o *ace &alta decir que no ocurrir(a en la mquina e%presada en Mngls. $er(ams probable que se codifca en una &orma tal como DIC@>C91B. qu( 1B dicecul de arios posibles

operaciones es para ser realizado en los dos n'meros. En este caso el/operacin e es la descrita anteriormente, a saber., "7adir el n'mero...." $enotar que la instruccin toma *asta 1C d(gitos ! as( se &orma un paquete dein&ormacin, mu! conenientemente. El control normalmente tendr lasinstrucciones para ser obedecido en el orden de las posiciones en las que sealmacenan, pero de ez en cuando una instruccin como

"*ora obedecer la instruccin almacenada en la posicin ADCD, ! continuar apartir de a*("

pueden encontrarse, o de nueo

"$i la posicin ACA contiene C obedecer al lado de la instruccin almacenadaen DBCB, de lo contrario contin'e recto."

Mnstrucciones de estos 'ltimos tipos son mu! importantes porque *acen posible

que una secuencia de operaciones para ser sustituido una ! otra ez *asta quese cumpla alguna condicin, pero al *acerlo a obedecer, no nueasinstrucciones en cada repeticin, pero los mismos ms ! otra ez. Para *aceruna analog(a domstica. $upongamos que la madre quiere Fomm! llamar al delzapatero cada ma7ana en su camino a la escuela para er si se *acen loszapatos, ella le pregunta de nueo cada ma7ana. lternatiamente se puedepegar un anuncio una ez por todas en la sala que a a er cuando sale de la


6/25

escuela ! que le dice que llame a los zapatos, ! tambin para destruir lanotifcacin cuando uela si tiene los zapatos con l .

El lector debe aceptar como un *ec*o que las computadoras digitales sepueden construir, ! de *ec*o se *an construido, de acuerdo con los principiosque *emos descrito, ! que de *ec*o, puede imitar las acciones de un equipo*umano mu! de cerca.

El libro de reglas que *emos descrito nuestro equipo *umano como el uso de,por supuesto, una fccin coneniente. Equipos *umanos reales realmenterecuerdan lo que tienen que *acer. $i se quiere *acer una mquina de imitar elcomportamiento del equipo *umano en una operacin compleja que uno tieneque preguntarle cmo se *ace, ! luego traducir la respuesta en la &orma de unatabla de instrucciones. a construccin de tablas de instrucciones se describegeneralmente como "programacin". Para "programar una mquina para lleara cabo la operacin " signifca poner la mesa instruccin apropiada en la

mquina de manera que lo *ar .na ariante interesante en la idea de un ordenador digital es un "ordenadordigital con un elemento aleatorio." Estos tienen instrucciones que implican ellanzamiento de un dado o alg'n proceso electrnico equialenteL una de esas&uerzas de instrucciones ser, por ejemplo, "Fira el dado ! puso el resultanten'mero en tienda de 1CCC." eces, una mquina de este tipo se describecomo tener libre albedr(o -aunque !o no usar(a esta &rase !o mismo/,:ormalmente no es posible determinar a partir de la obseracin de unamquina si tiene un elemento aleatorio, para un e&ecto similar puede serproducido por dispositios tales como tomar las decisiones dependen de los

d(gitos del decimal.

a ma!or(a de las computadoras digitales actuales slo tienen una tiendafnito. :o *a! ninguna difcultad terica en la idea de un ordenador con unatienda ilimitado. Por supuesto slo una parte fnita puede *aber sido utilizadoen un momento dado. He la misma manera slo una cantidad fnita puede*aber sido construido, pero

se puede imaginar ms ! ms que se a7ade como sea necesario. Estascomputadoras tienen inters terico especial ! sern llamados ordenadorescapacidad de infnitio.

a idea de una computadora digital es una ieja. *arles 0abbage, pro&esorlucasiano en ambridge 1I9I;>@, plane una mquina de este tipo, llamada6quina nal(tica, pero nunca se complet. unque 0abbage ten(a todas lasideas esenciales, su mquina no estaba en ese momento tal perspectia mu!atractia. a elocidad que *abr(a estado disponible ser(a sin duda ms rpidoque una computadora *umana, sino algo as( como que CC eces ms lenta quela mquina de 6anc*ester, en s( uno de los ms lentos de las mquinas


7/25

modernas, El almacenamiento era ser puramente mecnica, utilizando ruedas! tarjetas.

El *ec*o de que la 6quina nal(tica de 0abbage era ser enteramentemecnico nos a!udar a des*acernos de una supersticin. Mmportancia es amenudo unido al *ec*o de que los ordenadores digitales modernos sonelctricos, ! que el sistema nerioso tambin es elctrico. Hesde la mquina de0abbage no era elctrica, ! desde todos los ordenadores digitales son en unsentido equialente, emos que este uso de la electricidad no puede ser deimportancia terica. Por supuesto la electricidad por lo general iene en que serefere a la se7alizacin rpida, por lo que no es de e%tra7ar que nosencontramos en estos dos cone%iones. En el sistema nerioso &enmenosqu(micos son al menos tan importante como la elctrica. En determinadosequipos del sistema de almacenamiento es principalmente ac'stico. acaracter(stica de la utilizacin de la electricidad se e as( ser slo una similitudmu! superfcial. $i queremos encontrar tales similitudes debemos tuo lugar

analog(as matemticas de la &uncin.

A. a uniersalidad de las computadoras digitales

as computadoras digitales considerados en la 'ltima seccin se puedenclasifcar entre las "mquinas de estado discreto." Estas son las mquinas quese mueen a saltos bruscos o clics de un estado bastante defnida a otra. Estosestados son sufcientemente di&erentes para la posibilidad de con&usin entreellos para ser ignorada. Estrictamente *ablando all(, *a! tales mquinas. Fodorealmente se muee continuamente. Pero *a! muc*os tipos de mquina querentable pueden considerarse como mquinas de estado discreto. Por ejemplo

en la consideracin de los interruptores para un sistema de iluminacin que esuna fccin coneniente que cada interruptor debe estar defnitiamente odefnitiamente &uera. Hebe *aber posiciones intermedias, pero para lama!or(a de los propsitos que puede olidarse de ellos. omo ejemplo de unamquina de estado discreto que podr(amos considerar una rueda que *ace clicronda tras de 19C una ez por segundo, pero puede ser detenido por unNcada ez que puede ser operado desde &ueraL dems es una lmpara a la luzen una de las posiciones de la rueda. Esta mquina podr(a ser descrito de lasiguiente manera abstracta. El estado interno de la mquina -que se describepor la posicin de la rueda/ puede ser q1, q9 o q>. Oa! una iC se7al de entrada.

o i1 -posicin deN nunca/. El estado interno en cualquier momento se determinapor la 'ltima se7al de estado ! de entrada de acuerdo a la tabla

-Fabla eliminada/

as se7ales de salida, la 'nica indicacin isible desde el e%terior del estadointerno -la luz/ se describen en la tabla

Estado F1 F9 F>


8/25

salida oC oC o1

Este ejemplo es t(pico de las mquinas de estado discreto. Ellos pueden serdescritos por dic*as tablas siempre que tengan slo un n'mero fnito deestados posibles.

Parecer que dado el estado inicial de la las se7ales de entrada siempre esposible predecir los estados &uturos de la mquina !, Esto es una reminiscenciade ista de aplace que desde el estado completo del unierso en un instantede tiempo, tal como se describe por las posiciones ! elocidades de todas laspart(culas, debe ser posible predecir los estados &uturos. a prediccin queestamos considerando es, sin embargo, bastante ms cerca de iabilidad queel considerado por aplace. El sistema del "unierso en su conjunto" es tal quemu! peque7os errores en las condiciones iniciales pueden tener un e&ectoabrumador en un momento posterior. El desplazamiento de un solo electrn deuna mil millonsima de cent(metro en un momento dado podr(a *acer la

di&erencia entre un *ombre que es asesinado por una aalanc*a un a7o mstarde, o escapar. Es una propiedad esencial de los sistemas mecnicos que*emos llamado "mquinas de estado discreto" que este &enmeno no ocurre.Mncluso si tenemos en cuenta las mquinas &(sicas reales en lugar de lasmquinas idealizadas, el conocimiento razonablemente e%acta del estado enun momento dado se obtiene el conocimiento razonablemente precisacualquier n'mero de pasos ms adelante.

omo !a *emos mencionado, las computadoras digitales entran dentro de laclase de mquinas de estado discreto. Pero el n'mero de estados de los cualestal mquina es capaz suele ser enormemente grande. Por ejemplo, el n'mero

de la mquina que a*ora trabaja en el 6anc*ester es de apro%imadamente 91DA CCC, es decir, alrededor del 1C AC.CCC. omprese esto con nuestroejemplo de la rueda de clic se *a descrito anteriormente, que ten(a tresestados. :o es di&(cil er por qu el n'mero de estados debe ser tan inmenso.El equipo inclu!e una tienda que corresponde al papel utilizado por un equipo*umano. Hebe ser posible escribir en el almacn de una cualquiera de lascombinaciones de s(mbolos que podr(an *aber sido escritos en el papel. Porsimplicidad supongamos que slo d(gitos de C a @ se utilizan como s(mbolos.as ariaciones en la escritura a mano se ignoran. $upongamos que elordenador se permite 1CC *ojas de papel conteniendo cada uno AC l(neas cada

una con espacio para >C d(gitos. continuacin, el n'mero de estados es de 1C1CC%AC%>C es decir, 1C 1AC CCC. Esto es sobre el n'mero de estados de tresmquinas 6anc*ester juntos. El logaritmo en base dos del n'mero de estadospor lo general se llama la "capacidad de almacenamiento" de la mquina. Heeste modo la mquina 6anc*ester tiene una capacidad de almacenamiento dealrededor de 1DA.CCC ! la mquina olante de nuestro ejemploapro%imadamente 1,D. $i dos mquinas se ponen juntos deben a7adirse suscapacidades para obtener la capacidad de la mquina resultante. Esto llea a


9/25

la posibilidad de declaraciones tales como "a mquina de 6anc*estercontiene D pistas magnticas, cada una con una capacidad de 9ADC, oc*otubos electrnicos con una capacidad de 19IC. Karios cantidades dealmacenamiento de alrededor de >CC para un total de 1B.>IC."

Hada la tabla correspondiente a una mquina de estado discreto es posiblepredecir lo que a a *acer. :o *a! razn por la cual este clculo no debellearse a cabo por medio de un ordenador digital. $iempre que pudierallearse a cabo con la sufciente rapidez el ordenador digital podr(a imitar elcomportamiento de cualquier mquina de estado discreto. El juego deimitacin podr(a entonces jugar con la mquina en cuestin -como 0/ ! lodigital imitando

ordenador -como / ! el interrogador ser(an incapaces de distinguirlos. Porsupuesto, el ordenador digital debe tener una capacidad de almacenamientoadecuada, as( como trabajar lo sufcientemente rpido. Por otra parte, debe ser

programado de nueo para cada nuea mquina que se desea para imitar.Esta propiedad especial de las computadoras digitales, que pueden imitarcualquier mquina de estado discreto, es descrito por decir que son mquinasuniersales. a e%istencia de mquinas con esta propiedad tiene la importanteconsecuencia de que, las consideraciones de elocidad, aparte, no es necesariopara dise7ar arias nueas mquinas para *acer arios procesos in&ormticos.

Fodos ellos se pueden *acer con un ordenador digital, adecuadamenteprogramado para cada caso. Es en&ermos se obsera que como consecuenciade esto todos los equipos digitales son en un sentido equialente.

*ora podemos considerar de nueo la cuestin planteada al fnal del >. $esugiri tentatiamente que la pregunta) "Puede pensar las mquinas?" debesustituirse por "Oa! computadoras digitales imaginables que *ar(an bien en el

juego de imitacin?" $i queremos podemos *acer que esta superfcialmentems general ! preguntar "Oa! mquinas de estado discreto que *ar(an bien?"Pero en ista de la propiedad uniersalidad emos que cualquiera de estaspreguntas es equialente a esto, "


10/25

opiniones diferen en cuanto a la coneniencia de la sustitucin ! debemos porlo menos escuc*ar lo que tiene que decir a este respecto.

$e simplifcar las cosas para el lector si me e%plico primero mis propiascreencias al respecto. onsideremos en primer lugar la &orma ms precisa de lapregunta. 5o creo que en unos cincuenta a7os "ser posible, programarcomputadoras, con una capacidad de almacenamiento de alrededor de 1C@,para que se juegan el juego de imitacin tan bien que un interrogadorpromedio no tendr ciento de posibilidades ms del BC por de *acer laidentifcacin correcta despus de cinco minutos de interrogatorio. a preguntaoriginal) "Puede pensar las mquinas?" 5o creo que es demasiadoinsignifcante para merecer discusin. $in embargo !o creo que al fnal delsiglo, el uso de las palabras ! de la opinin educada en general se *an alteradotanto que se podr *ablar de mquinas pensantes sin esperar ser contradic*o.reo, adems, que a ning'n propsito 'til se sire mediante la ocultacin deestas creencias. a opinin popular de que los cient(fcos aanzan

ine%orablemente de *ec*o bien establecido de *ec*o bien establecido, sinerse condicionados por la mejora de la conjetura, es bastante equiocado.$iempre que se pone de manifesto que se demostr *ec*os ! cules sonconjeturas, puede proocar ning'n da7o. onjeturas son de gran importancia!a que sugieren l(neas 'tiles de inestigacin.

Paso a*ora a considerar las opiniones opuestas a las m(as.

-1/ a Qbjecin Feolgico

El pensamiento es una &uncin del alma inmortal del *ombre. Hios le *a dado

un alma inmortal de cada *ombre ! mujer, pero no a cualquier otro animal opara mquinas. He a*( que ning'n animal o una mquina puede pensar.

$o! incapaz de aceptar cualquier parte de esto, pero o! a tratar de responderen trminos teolgicos. Hebo encontrar el argumento ms conincente si losanimales &ueron clasifcados con los *ombres, porque *a! una ma!ordi&erencia, en mi opinin, entre lo animado ! lo inanimado t(pica de la que *a!entre el *ombre ! los dems animales. El carcter arbitrario de la isinortodo%a se *ace ms clara si tenemos en cuenta lo que podr(a parecer a unmiembro de otra comunidad religiosa. mo cristianos consideran el punto deista musulmn de que las mujeres no tienen alma? Pero dejemos este punto a

un lado ! olamos al argumento principal. 6e parece que el argumento citadoanteriormente implica una grae restriccin de la omnipotencia del

Fodopoderoso. $e admite que *a! ciertas cosas que no puede *acer, como*acer uno igual a dos, pero no deber(amos creer que 3l tiene la libertad paracon&erir un alma en un ele&ante si lo estima coneniente? Podr(amos esperarque 3l slo ejercer este poder en conjunto con una mutacin que proporcionael ele&ante con un cerebro mejora apropiada para atender a las necesidades de


11/25

este tipo R. n argumento de &orma e%actamente similar puede *acerse para elcaso de las mquinas. Puede parecer di&erente porque es ms di&(cil de"tragar". Pero esto en realidad slo signifca que pensamos que ser(a menosprobable que considerar(a las circunstancias adecuadas para que confere unalma. as circunstancias en cuestin se analizan en el resto de este art(culo. En

el intento de construir tales mquinas no deber(amos estar usurpandoirreerentemente $u poder de las almas que crean, ms de lo que estamos enla procreacin de los *ijos) en lugar estamos, en cualquier caso, losinstrumentos de su oluntad proporcionando .mansions para las almas que 3lcrea .

$in embargo, esto es mera especulacin. :o esto! mu! impresionado conargumentos teolgicos lo que pueden ser utilizados para apo!ar. Falesargumentos a menudo se *an encontrado insatis&actorio en el pasado. En lapoca de +alileo se argument que los te%tos) "5 el sol se detuo... 5 no seapresur a ponerse casi un d(a entero" -Josu %. 1>/ ! "El puso los cimientos de

la tierra, que no debe moerse en cualquier momento "-$almo c. A/ &ueronuna re&utacin sufciente de la teor(a de oprnico. on los conocimientosactuales tal argumento parece in'til. uando ese conocimiento no estabadisponible que caus una impresin mu! di&erente.

-9/ as "cabezas en la arena" Qbjecin

as consecuencias de las mquinas de pensamiento ser(a demasiado terrible.Esperemos ! creemos que no pueden *acerlo ".

Este argumento es rara ez e%presa tan abiertamente como en el &ormulario de

arriba. Pero a&ecta a la ma!or(a de nosotros que pensar en ello en absoluto.:os gusta creer que el *ombre es de alg'n modo sutil superior al resto de lacreacin. Es mejor si puede ser demostrado ser necesariamente superior, por

entonces no *a! peligro de que la prdida de su posicin dominante. apopularidad de la argumentacin teolgica est claramente relacionado coneste sentimiento. Es probable que sea bastante &uerte en las personasintelectuales, !a que aloran el poder de pensar ms alto que los dems, !estn ms inclinados a basar su creencia en la superioridad del *ombre en estepoder.

:o creo que este argumento es lo sufcientemente importante para requerirre&utacin. onsolacin ser(a ms apropiado) tal ez esto se debe buscar en latransmigracin de las almas.

->/ a Qbjecin 6atemtica

Oa! una serie de resultados de la lgica matemtica que se pueden utilizarpara mostrar que *a! limitaciones a los poderes de las mquinas de estado


12/25

discreto. El ms conocido de estos resultados se conoce como el teorema de+Sdel -1@>1/ ! muestra que en ning'n sufcientemente poderosasdeclaraciones sistema lgico se puede &ormular que no puede ser probada nire&utada en el sistema, a menos que, posiblemente, el propio sistema esinconsistente. Oa! otros, en algunos aspectos similar, debido a los resultados

Mglesia -1@>D/, Gleene -1@>A/, =osser ! Furing -1@>B/. Este 'ltimo resultado esel ms coneniente considerar, !a que se refere directamente a las mquinas,mientras que los otros slo se pueden utilizar en un argumentocomparatiamente indirecto) por ejemplo, si el teorema de +odel se a autilizar necesitamos adems de tener alg'n medio de la descripcin de lgicasistemas en trminos de mquinas ! mquinas en trminos de sistemaslgicos. El resultado en cuestin se refere a un tipo de mquina que esesencialmente un ordenador digital con una capacidad infnita. frma que *a!ciertas cosas que una mquina no puede *acer. $i est ama7ado para darrespuestas a las preguntas que en el juego de imitacin, *abr algunaspreguntas a las que o bien dar una respuesta incorrecta, o dejar de dar unarespuesta en absoluto, sin embargo se deja muc*o tiempo para una respuesta.Puede *aber, por supuesto, muc*as de esas preguntas, ! las preguntas que nopueden ser respondidas por una mquina puede ser satis&actoriamentecontestada por otra. Por supuesto, estamos suponiendo por el momento quelas preguntas son del tipo a la que una respuesta "$(" o ":o" es apropiada, enlugar de preguntas tales como "2u opinas de Picasso?" as preguntas queconocemos las mquinas deben &allar en son de este tipo) "onsiderar lamquina se especifca de la siguiente manera.... $er esta mquina jamsresponder" $( "a cualquier pregunta?" os puntos an a ser sustituidos por unadescripcin de una mquina en una &orma estndar, lo que podr(a ser algo as(

como la utilizada en A. uando la mquina descrita tiene una cierta relacinrelatiamente sencilla de la mquina que est bajo interrogatorio, se puededemostrar que la respuesta es el equiocado o no pr%ima. Este es el resultadomatemtico) se argumenta que se demuestra una incapacidad de las mquinasa las que el intelecto *umano no est sujeta.

a respuesta corta a este argumento es que, si bien se establece que e%istenlimitaciones a los Poderes $i alg'n equipo en particular, slo se *a dic*o, sinning'n tipo de prueba, que no *a! tales limitaciones se aplican a la inteligencia*umana. Pero no creo que este punto de ista se puede descartar tan a laligera. ada ez que una de estas mquinas se *ace la pregunta cr(tica

apropiada, ! le da una respuesta defnitia, sabemos que esta respuesta debeestar mal, ! esto nos da un cierto sentimiento de superioridad. Es estasensacin ilusoria? Es, sin duda, mu! genuino, pero no creo que demasiadaimportancia deber adjuntarse a la misma. Fenemos demasiada &recuenciadamos respuestas incorrectas a las preguntas a nosotros mismos para ser

justifcados, en estar mu! satis&ec*os


13/25

en tales pruebas de la &alibilidad por parte de las mquinas. dems, nuestrasuperioridad slo puede ser sentido en tal ocasin en relacin con la mquinasobre la que *emos marcado nuestra peque7a triun&o. :o *abr(a ningunapregunta de triun&ar simultneamente en todas las mquinas. En resumen,entonces, puede *aber *ombres ms inteligentes que cualquier mquina dada,

pero por otra parte podr(a *aber otras mquinas inteligentes de nueo, ! as(sucesiamente.

os que sostienen que el argumento matemtico ser(a, creo, sobre tododispuesto a aceptar el juego de imitacin, como base para la discusin, los quecreen en las dos objeciones anteriores probablemente no estar(a interesado encualquier criterio.

-/ El argumento de la onsciencia

Este argumento es mu!, bien e%presada en el pro&esor JeTerson ister Qracinde 1@@, de la que cito. ":o *asta que una mquina puede escribir un soneto ocomponer un concierto a causa de los pensamientos ! emociones sent(a, ! nopor la ca(da oportunidad de s(mbolos, podr(amos conenir en que la mquinaes igual cerebro, es decir, no slo escribir, pero sab(a que *ab(a escrito ella.:ing'n mecanismo pod(a sentir -! no se7alar meramente artifcial, un &cilartifcio/ placer en sus %itos, dolor cuando sus lulas &usible, calentado porla adulacin, *acerse miserables por sus errores, ser encantado por se%o, seenoje o deprimido cuando no se puede conseguir lo que quiere ".

Este argumento parece ser una negacin de la alidez de nuestra prueba. Heacuerdo con la &orma ms e%trema de este punto de ista el 'nico camino por

el cual se pod(a estar seguro de que la mquina piensa es ser la mquina !para sentirse a s( mismo pensando. $e podr(a entonces describir estossentimientos con el mundo, pero por supuesto nadie estar(a justifcado entomar cualquier aiso. s( mismo de acuerdo con este punto de ista la 'nicamanera de saber que un *ombre piensa es ser ese *ombre en particular. He*ec*o, es el punto de ista solipsista. Puede ser la ista ms lgico paracelebrar pero *ace la comunicacin de ideas di&(ciles. es responsable de creer" piensa pero 0 no lo *ace", mientras que 0 cree "0 piensa pero no lo *ace."en ez de discutir continuamente sobre este punto que es *abitual tener laconencin corts que todo el mundo piensa.

Esto! seguro de que el pro&esor JeTerson no desea adoptar el punto de istae%tremo ! solipsista. Probablemente estar(a dispuesto a aceptar el juego deimitacin como una prueba. El juego -con el jugador 0 se omite/ se utiliza con&recuencia en la prctica bajo el nombre de ia oz para descubrir si alguienrealmente entiende algo o *a "aprendido loro moda." Escuc*emos a una partede una de ia oz como)


14/25

Mnterrogador) En la primera l(nea de su soneto que dice "Puedo compararte aun d(a de erano," no ser(a "un d(a de primaera" no *acer tan bien o mejor?

Festigo) :o ser(a escanear.

Mnterrogador) 2u *a! de "un d(a de inierno," Eso ser(a escanear todos los

derec*os.

Festigo) $(, pero nadie quiere ser comparado con un d(a de inierno.

Mnterrogador) Hir(a usted que 6r. PicUVicU le recordaba a la :aidad?

Festigo) En cierto modo.

Mnterrogador) $in embargo, la :aidad es un d(a de inierno, ! no creo que 6r.PicUVicU le importar(a la comparacin.

Festigo) :o creo que usted es serio. Por un d(a de inierno un medio d(a de un

inierno t(pico, en lugar de uno especial como la :aidad.

5 as( sucesiamente, ul ser(a el pro&esor JeTerson dijo si la mquina soneto;escritura era capaz de responder como este en la ia oz? :o s si lconsiderar(a la mquina como "meramente artifcial de se7alizacin", estasrespuestas, pero si las respuestas &ueron tan satis&actorios ! sostenidos comoen el pasaje anterior no creo que lo describir(a como "un artifcio &cil." Esta&rase es, creo, destinado a cubrir los dispositios tales como la inclusin en lamquina de un registro de alguien que lee un soneto, con la conmutacinadecuada para encenderlo de ez en cuando.

En resumen entonces, creo que la ma!or(a de los que apo!an el argumento dela conciencia podr(a conencer a abandonarlo en lugar de ser &orzados a laposicin solipsista. continuacin, probablemente, estar dispuestos a aceptarnuestra prueba.

:o quiero dar la impresin de que !o creo que no *a! ning'n misterio acercade la conciencia. Oa!, por ejemplo, una especie de paradoja relacionada concualquier intento de localizarlo. Pero no creo que estos misteriosnecesariamente tienen que ser resueltos antes de que podamos responder a lapregunta con la que nos ocupa en este trabajo.

-A/ os argumentos de diersas discapacidades

Estos argumentos toman la &orma) "5o reconozco que puede *acer que lasmquinas de *acer todas las cosas que usted *a mencionado, pero ustednunca ser capaz de *acer uno que *acer 4." :umerosas caracter(sticas 4 sesugieren a este respecto que o&recen una seleccin)


15/25

$ea amable, ingenioso, *ermoso, amable, tener iniciatia, tienen un sentido del*umor, distinguir el bien del mal, cometer errores, se enamoran, dis&rutar de&resas ! crema, *acer que alguien se enamore de l, aprender de lae%periencia, palabras de uso adecuadamente, ser objeto de su propiopensamiento, tener tanta diersidad de comportamiento como *ombre, *acer

algo realmente nueo.

$in el apo!o que se o&rece *abitualmente por estas declaraciones. reo queellos se basan principalmente en el principio de induccin cient(fca. n *ombre*a isto miles de mquinas en su ida. partir de lo que e de ellos dibuja unaserie de conclusiones generales. $on &eos, cada uno est dise7ado para unpropsito mu! limitado, cuando sea necesario para un fn minuciosamentedi&erentes que son in'tiles, la ariedad de comportamiento de cualquiera deellos es mu! peque7a, etc., etc. :aturalmente, conclu!e que estas sonpropiedades necesarias de mquinas en general. 6uc*as de estas limitacionesestn asociados con la capacidad de almacenamiento mu! peque7a de la

ma!or(a de las mquinas. -$upongo que la idea de la capacidad dealmacenamiento se e%tiende de alguna manera a

mquinas de cubierta e%cepto las mquinas de estado discreto. a defnicine%acta no importa como ninguna e%actitud matemtica se reiindica en lapresente discusin,/ Oace unos a7os, cuando mu! poco se *ab(a o(do *ablar delas computadoras digitales, &ue posible obtener muc*a incredulidad acerca deellos, si se mencionan sus propiedades sin describir su construccin. Eso erapresumiblemente debido a una aplicacin similar del principio de la induccincient(fca. Estas aplicaciones del principio, por supuesto, en gran parteinconsciente. uando un ni7o quemado teme el &uego ! muestra que l temepor eitarlo, & debe decir que l estaba aplicando la induccin cient(fca.-Podr(a, por supuesto, tambin describen su comportamiento de muc*as otrasmaneras./ as obras ! las costumbres de los *ombres no parecen ser unmaterial mu! adecuado a la que aplicar la induccin cient(fca. na gran partedel espacio;tiempo debe ser inestigado, si los resultados son fables a obtener.He lo contrario es posible que -como la ma!or(a de los ni7os ingleses W*acen/decidir que todo el mundo *abla Mngls, ! que es tonto para aprender &rancs.

Oa!, sin embargo, obseraciones especiales que se *agan acerca de muc*asde las discapacidades que se *an mencionado. a incapacidad para dis&rutar

de las &resas ! crema puede *aber golpeado el lector como &r(ola.Posiblemente una mquina podr(a *acerse para dis&rutar de este deliciosoplato, pero cualquier intento de *acer uno *acerlo ser(a una idiotez. oimportante de esta discapacidad es que contribu!e a algunas de las otrasdiscapacidades, por ejemplo, a la difcultad de la misma clase de amistad quese produce entre el *ombre ! la mquina como entre el *ombre blanco ! el*ombre blanco, o entre el *ombre negro ! el *ombre negro.


16/25

a afrmacin de que "las mquinas no pueden cometer errores" parececuriosa. no est tentado a replicar, "$on cualquiera lo peor para eso?" Peroamos a adoptar una actitud ms comprensia, ! tratar de er lo querealmente quer(a decir. reo que esta cr(tica puede ser e%plicado en trminosdel juego de imitacin. $e afrma que el interrogador pod(a distinguir la

mquina desde el *ombre simplemente ponindolos una serie de problemas enaritmtica. a mquina ser(a desenmascarado por su precisin mortal. arespuesta a esto es simple. a mquina -programado para jugar el juego/ notratar(a de dar las respuestas correctas a los problemas aritmticos. $er(aintroducir deliberadamente errores de una manera calculada para con&undir alinterrogador. na &alla mecnica probablemente mani&estarse a tras de unadecisin inadecuada en cuanto a qu tipo de un error para que en el clculo.Mncluso esta interpretacin de la cr(tica no es sufcientemente simptico. Perono nos podemos permitir el espacio para entrar en ella muc*o ms all. 6eparece que esta cr(tica depende de una con&usin entre dos tipos de error,podemos llamarlos "los errores de &uncionamiento" ! "errores de conclusin."os errores de &uncionamiento se deben a alguna &alla mecnica o elctrica que*ace que la mquina se comporte lo contrario de lo que &ue dise7ado para*acer. En las discusiones flosfcas a uno le gusta *acer caso omiso de laposibilidad de tales erroresL por lo tanto, se est discutiendo "mquinasabstractas." Estas mquinas abstractas son fcciones matemticas en lugar delos objetos &(sicos. Por defnicin son incapaces de errores de &uncionamiento.En este sentido podemos realmente decir que "las mquinas no puedencometer errores." os errores de conclusin slo puede surgir cuando alg'nsignifcado se une a las se7ales de salida de la mquina. a mquina podr(a,por ejemplo, escribir las ecuaciones matemticas, u oraciones en Mngls.

uando se escribe una proposicin &alsa decimos que la mquina se *acometido un error de conclusin. :o es eidente que no *a! razn alguna paradecir que una mquina no puede *acer este tipo de error. Podr(a *acer otracosa que escribir repetidamente "Q X M." Para tomar una menor

ejemplo perersa, podr(a tener alg'n mtodo para sacar conclusiones porinduccin cient(fca. Hebemos esperar que un procedimiento de este tipo parallear en ocasiones a resultados errneos.

a afrmacin de que una mquina no puede ser objeto de su propiopensamiento slo puede ser respondida por supuesto, si se puede demostrar

que la mquina tiene alg'n pensamiento con alguna materia. $in embargo, "lamateria objeto de las operaciones de una mquina" parece signifcar algo, porlo menos a las personas que se ocupan de l. $i, por ejemplo, la mquinaestaba tratando de encontrar una solucin de la ecuacin %9 ; C% ; 11 X C sepodr(a estar tentado a describir esta ecuacin como parte de la materia de lamquina en ese momento. En este tipo de sentido una mquina, sin duda,puede ser su propio tema. $e puede utilizar para a!udar en la toma de suspropios programas, o para predecir el e&ecto de alteraciones en su propia


17/25

estructura. 6ediante la obseracin de los resultados de su propiocomportamiento puede modifcar sus propios programas a fn de lograr alg'npropsito ms efcaz. Estas son las posibilidades de un &uturo cercano, en lugarde los sue7os utpicos.

a cr(tica de que una mquina no puede tener tanta diersidad decomportamiento es slo una manera de decir que no se puede tener muc*acapacidad de almacenamiento. Oasta *ace relatiamente poco tiempo unacapacidad de almacenamiento *asta de mil d(gitos era mu! raro.

as cr(ticas que estamos considerando aqu( son a menudo las &ormasencubiertas de la discusin de la conciencia, lo general, si uno mantiene queuna mquina puede *acer una de estas cosas, ! describe el tipo de mtodoque la mquina podr(a utilizar, uno no a a *acer muc*o ms de un impresin.$e cree que el mtodo de la baldosa -sea lo que sea, !a que debe sermecnico/ es realmente bastante base. omparar los parntesis en la

declaracin de JeTerson citadas en la pgina 99.-D/ Qbjecin de ad! oelace

:uestra in&ormacin ms detallada de la 6quina nal(tica de 0abbage ienede un libro de memorias de ad! oelace -1I9/. En ella afrma, "a mquinaanal(tica no tiene pretensiones de originar cualquier cosa. $e puede *acer loque sabemos cmo pedir que ste realice" -sus cursia/. Esta declaracin escitado por Oartree -1@@/, quien a7ade) "Esto no implica que tal ez no seaposible construir equipos electrnicos que" pensar por s( mismo ", o en la que,en trminos biolgicos, se podr(a establecer un re#ejo condicionado , que

serir(a de base para el "aprendizaje". $i esto es posible, en principio, o no esun estimulante ! apasionante cuestin, sugerida por algunos de estosacontecimientos recientes, pero no parec(a que las mquinas construidas opro!ectadas en el momento ten(an esta propiedad ".

Esto! de acuerdo a &ondo con Oartree sobre esto. $e dio cuenta de que l noafrma que las mquinas en cuestin no *ab(an conseguido la propiedad, sinoque la eidencia disponible a ad! oelace no animarla a creer que lo ten(an.Es mu! posible que las mquinas en cuestin tenido en un sentidoconsiguieron esta propiedad. Para suponer que alguna mquina de estadodiscreto tiene la propiedad. a mquina anal(tica era un ordenador digital

uniersal, de modo que, si su capacidad de almacenamiento ! elocidad eranadecuados, podr(a *acerse por programacin adecuada para imitar la mquinaen cuestin. Probablemente este argumento

no se produjo a la condesa o 0abbage. En cualquier caso, no *ab(a obligacinde ellos para reclamar todo lo que podr(a ser reclamado.


18/25

Foda esta cuestin se e%aminar de nueo bajo el rubro de mquinas deaprendizaje.

na ariante de la objecin de ad! oelace establece que una mquinapuede "no *acer nada realmente nueo." Esto puede ser parado por unmomento con la sierra, ":o *a! nada nueo bajo el sol." 2uin puede estarseguro de que "obra original" lo que *a *ec*o no era simplemente elcrecimiento de la semilla plantada en l por la ense7anza, o el e&ecto de seguirlos principios generales conocidos. na mejor ariante de la objecin dice queuna mquina nunca podr "tomar por sorpresa." Esta declaracin es un desa&(oms directo ! se puede cumplir directamente. 6quinas me toman porsorpresa con gran &recuencia. Esto es en gran parte porque no *ago el clculosufciente para decidir qu esperar que *agan, o ms bien porque, aunque me*ago un clculo, lo *ago en una, manera descuidada apresurado, tomarriesgos. Fal ez me digo a m( mismo) "$upongo que el oltaje que aqu( deber(al mismo, !a que). He todas &ormas amos a suponer que es" :aturalmente

esto! a menudo mal, ! el resultado es una sorpresa para m( por el momento enel e%perimento se llea a cabo estos supuestos *an sido olidados. Estasadmisiones a! 6e abierta a con&erencias sobre el tema de mis manerasiciosos, pero no arrojan ninguna duda en mi credibilidad cuando testifco a lassorpresas que e%perimento.

:o espero que esta respuesta para silenciar mi cr(tico. Probablemente dir queO sorpresas son debido a alg'n acto mental creatia de mi parte, ! re#ejanning'n crdito en la mquina. Esto nos llea de uelta al argumento de laconciencia, ! lejos de la idea de la sorpresa. $e trata de una l(nea deargumentacin debemos considerar cerrada, pero es quizs la pena se7alarque la apreciacin de algo tan sorprendente requiere tanto de un "acto mentalcreatia" si el eento sorprendente origina a partir de un *ombre, un libro, unamquina o nada ms.

a opinin de que las mquinas no pueden dar lugar a las sorpresas se debe,creo, a una &alacia a la que los flso&os ! matemticos estn particularmentee%puestos. Este es el supuesto de que tan pronto como un *ec*o que sepresenta a una mente todas las consecuencias de ese *ec*o la primaera en lamente al mismo tiempo que l. Es una suposicin mu! 'til en muc*ascircunstancias, pero se olida con demasiada &acilidad que es &also. na

consecuencia natural de ello es que uno, entonces se supone que no *a! irtuden el mero trabajo de consecuencias a partir de datos ! los principiosgenerales.

-B/ rgumento de la continuidad en el $istema :erioso

El sistema nerioso no es ciertamente una mquina de estado discreto. npeque7o error en la in&ormacin sobre el tama7o de un impulso nerioso que


19/25

incide sobre una neurona, puede *acer una gran di&erencia en el tama7o delimpulso de salida. $e puede argumentar que, siendo esto as(, no se puedeesperar a ser capaz de imitar el comportamiento del sistema nerioso con unsistema de estado discreto.

Es cierto que una mquina de estado discreto debe ser di&erente de unamquina continua. Pero si nos atenemos a las condiciones del juego deimitacin, el interrogador no ser capaz de tomar entaja de esta di&erencia. asituacin puede ser ms clara si tenemos en cuenta snica

otra mquina continua simple. n analizador di&erencial *ar mu! bien. -nanalizador di&erencial es un cierto tipo de mquina no del tipo de estadodiscreto utilizado para algunos tipos de clculo./ lgunas de ellas o&recen susrespuestas en &orma escrita a mquina, por lo que son adecuados para tomarparte en el juego. :o ser(a posible que un ordenador digital para predecire%actamente lo que contesta el analizador di&erencial dar(a a un problema,

pero ser(a mu! capaz de dar el tipo adecuado de respuesta. Por ejemplo, si sele pide para dar el alor de -realmente acerca de >,11D/, ser(a razonable queelegir al azar entre los alores de >,19, >,1>, >,1, >,1A, >,1D, con lasprobabilidades de C.CA, C.1A, C.AA, C.1@, C.CD -digamos /. 0ajo estascircunstancias, ser(a mu! di&(cil para el interrogador para distinguir elanalizador di&erencial desde el ordenador digital.

-I/ El rgumento de la in&ormalidad del omportamiento

:o es posible producir un conjunto de reglas que pretenden describir lo que un*ombre debe *acer en cada conjunto concebible de circunstancias. no podr(a,

por ejemplo, tiene una regla que uno es para detener cuando uno e unsem&oro en rojo, ! para ir si uno e una erde, pero lo que si por alguna &altaambos aparecen juntos? Fal ez uno puede decidir que es ms seguro dedetener. Pero algunos a'n ms difcultad bien puede surgir de esta decisindespus. Para tratar de establecer normas de conducta para cubrir cualquiereentualidad, incluso los deriados de los sem&oros, que parece ser imposible.on todo esto esto! de acuerdo.

partir de este se argumenta que no podemos ser mquinas. Ko! a tratar dereproducir el argumento, pero me temo que apenas *ar justicia. Pareceejecutar algo como esto. "si cada *ombre ten(a un conjunto defnido de reglas

de conducta por el que regula su ida no ser(a mejor que una mquina. Pero noe%isten tales normas, por lo que los *ombres no pueden ser mquinas." Elmedio no distribuido es eidente. :o creo que el argumento se *a!a puestocomo esto, pero creo que este es el argumento utilizado, sin embargo. $inembargo, puede *aber una cierta con&usin entre "reglas de conducta" ! "le!esde la conducta" para enturbiar el asunto. Por "reglas de conducta" 2uiero decirpreceptos tales como "$top si usted e las luces rojas", en la que se puede


20/25

actuar, ! de los cuales uno puede ser consciente. Por "le!es de la conducta"me refero a las le!es de la naturaleza tal como se aplica al cuerpo de un*ombre como "si le pellizca a a c*irriar." $i sustituimos "le!es decomportamiento que regulan su ida" por "le!es de la conducta por la cual seregula su ida" en el argumento citado medio no distribuido !a no es

insuperable. Porque nosotros creemos que no slo es cierto que est reguladapor le!es de la conducta implica ser una especie de mquina -aunque nonecesariamente una mquina de estado discreto/, pero que al ser la inersa deuna mquina de este tipo implica estar regulada por las le!es mencionadas.$in embargo, no podemos conencer tan &cilmente a nosotros mismos de laausencia de le!es completas de comportamiento como de las reglas completasde conducta. a 'nica manera que conocemos para encontrar este tipo dele!es es la obseracin cient(fca, ! sin duda sabe de ninguna circunstanciabajo la cual podr(amos decir) "Oemos buscado lo sufciente. :o *a! talesle!es."

Podemos demostrar con ms &uerza que cualquier declaracin ser(ainjustifcada. $upongamos que pudiramos estar seguros de encontrar esasle!es si e%istieran. Entonces dado una mquina de estado discreto que sinduda debe ser posible descubrir mediante la obseracin sufcientes alrespecto para predecir su comportamiento &uturo, ! esto en un plazorazonable, dicen ms que mil a7os. Pero esto no parece ser el caso. Oe creadoen el equipo de 6anc*ester un peque7o

programa con slo 1.CCC unidades de almacenamiento, por lo que la mquinasuministra con un n'mero de diecisis ci&ra responde con otro dentro de dossegundos. 6e gustar(a desafar a nadie a aprender de estas respuestassufcientes sobre el programa para poder predecir respuestas a los alores noprobados.

-@/ El rgumento de la percepcin e%trasensorial

$upongo que el lector est &amiliarizado con la idea de la percepcine%trasensorial, ! el signifcado de los cuatro elementos de la misma, a saber.,a telepat(a, la clariidencia, la precognicin ! la psicoUinesis. Estos &enmenosperturbadores parecen negar todas nuestras ideas cient(fcas *abituales.mo nos gustar(a desacreditar a ellos8 Por desgracia, la eidenciaestad(stica, al menos para la telepat(a, es abrumadora. Es mu! di&(cil parareorganizar las ideas de uno a fn de adaptarse a estos nueos *ec*os. na ezque uno de ellos *a aceptado que no parece un paso mu! grande para creer enlos &antasmas ! espectros. a idea de que nuestros cuerpos se mueensimplemente de acuerdo con las le!es conocidas de la &(sica, junto con algunosotros a'n no descubiertas, pero algo similares, ser(a uno de los primeros enirse.


21/25

Este argumento es, en mi opinin bastante &uerte. $e puede decir en respuestaque muc*as teor(as cient(fcas parecen seguir siendo iable en la prctica, apesar de c*ocar con E$PL que, de *ec*o, uno puede llearse mu! bien si uno seolida de l. Esto es ms bien un consuelo, ! uno teme que el pensamiento es

justo el tipo de &enmeno en el E$P puede ser especialmente releante.

n argumento ms espec(fco basado en E$P podr(a &uncionar de la siguientemanera) "Kamos a jugar el juego de imitacin, utilizando como testigos un*ombre que es bueno como un receptor teleptica, ! una computadora digitalEl interrogador puede *acer preguntas tales como" 2u traje que *ace el.tarjeta en la mano derec*a pertenece? W El *ombre por telepat(a o laclariidencia da la respuesta correcta 1>C eces de CC tarjetas. El equipo slopuede adiinar al azar, ! tal ez se pone 1C a la derec*a, por lo que elinterrogador *ace la identifcacin correcta. " Oa! una posibilidad interesanteque se abre aqu(. $upongamos que la computadora digital contiene ungenerador de n'meros aleatorios. Entonces ser natural para usar esto para

decidir qu respuesta dar. Pero entonces el generador de n'meros aleatoriosestar sujeto a los poderes psicoquinticas del interrogador. Fal ez estopsicoUinesis podr(a *acer que la mquina acierta ms a menudo de lo que seesperaba en un clculo de probabilidades, por lo que el interrogador a'n podr(aser incapaz de *acer la identifcacin correcta. Por otro lado, podr(a ser capazde acertar sin ning'n cuestionamiento, por la clariidencia. on E$P nadapuede suceder.

$i se admite la telepat(a ser necesario apretar nuestra prueba para arriba. asituacin podr(a ser considerada como anloga a la que se producir(a si elinterrogador estuiera *ablando para s( mismo ! uno de los competidoresestaba escuc*ando con su oreja a la pared. Para poner los competidores en una"sala;telepat(a prueba" satis&aga todos los requisitos.

B. 6quinas de aprendizaje

El lector *abr anticipado que no tengo argumentos mu! conincentes decarcter positio para apo!ar mis puntos de ista. $i tuiera que no deber(a*aber tomado tantas molestias para se7alar las &alacias en puntos de istacontrarios. Fal eidencia como tengo a*ora me dar.

Kolamos por un momento a la objecin de ad! oelace, que declar que la

mquina slo puede *acer lo que le decimos que *aga. $e podr(a decir que un*ombre puede "in!ectar" una idea en la mquina, ! que respondern a uncierto punto ! luego caer en la inactiidad, como una cuerda de piano golpeadopor un martillo. Qtro s(mil ser(a una pila atmica de menos de tama7o cr(tico)una idea in!ectado es para corresponder a un neutrn de entrar en la piladesde el e%terior. ada uno de esos neutrones causar una cierta perturbacinque fnalmente muere de distancia. $i, sin embargo, el tama7o de la pila se


22/25

incrementa sufcientemente, la perturbacin causada por un neumtico deneutrones tales entrante ser mu! probable seguir ! seguir aumentando *astaque se destru! todo el montn. Oa! un &enmeno correspondiente paramentes, ! es que *a! uno para las mquinas? :o parece ser una para la mente*umana. a ma!or(a de ellos parecen ser "subcr(tico", es decir, que se

corresponde en esta analog(a con pilas de tama7o subcr(tico. na ideapresentada a una mente as( ser en dar media altura de menos de una idea enla respuesta. na proporcin peque7a son supercr(tico. na idea presentada auna mente de tal manera que pueda dar lugar a una "teor(a" Fodo consiste enideas secundarias, terciarias ! ms remotas. nimales mentes parecen ser mu!defnitiamente subcr(tico. a ad*esin a esta analog(a nos preguntamos) "$epuede *acer una mquina para ser supercr(tico?"

a analog(a "piel;de;un;cebolla" tambin es 'til. l considerar las &unciones dela mente o el cerebro nos encontramos con ciertas operaciones que podemose%plicar en trminos puramente mecnicos. Esto que decimos no se

corresponde con la mente real) se trata de una especie de piel que debemosdespojamos de si *emos de encontrar la cuenta real. Pero entonces, en lo quequeda nos encontramos con una piel a'n ms para ser despojados &uera, ! as(sucesiamente. Procediendo de esta manera alguna ez ienen a la mente"real", o tenemos fnalmente llegan a la piel que no tiene nada en ella? En este'ltimo caso toda la mente es mecnica. -:o ser(a una mquina de estadodiscreto sin embargo. Oemos *ablado de esto./

Estos dos prra&os 'ltimos no pretenden ser conincente argumentos. 6s biendeber(an ser descritos como "recitaciones que tiende a producir la creencia."

El soporte 'nico realmente satis&actorio que se puede dar a la opinine%presada al principio del D, ser la proporcionada por esperar el fnal delsiglo ! luego *acer el e%perimento descrito. Pero qu podemos decir en el(nterin? 2u medidas se deben tomar a*ora si el e%perimento tenga %ito?

omo !a *e e%plicado, el problema es principalmente una de programacin.os aances en la ingenier(a tendrn que *acer tambin, pero parece pocoprobable que estos no sern sufcientes para los requerimientos. asestimaciones de la capacidad de almacenamiento del cerebro ar(an de 1,C1C*asta 1C1A d(gitos binarios. 6e inclino a los alores ms bajos ! creo que slouna &raccin mu! peque7a se utiliza para los tipos ms altos de pensamiento.a ma!or parte se utiliz probablemente para la retencin de impresionesisuales, me sorprender(a si *a! ms de 1C@ se requiere para jugarsatis&actoria del juego de imitacin, en todo caso, en contra de un *ombreciego. -:ota) a capacidad de la Enc!clopaedia 0ritannica, 11Y edicin, es de 94 1C@/ na capacidad de almacenamiento de 1CB, ser(a una posibilidad mu!&actible incluso mediante tcnicas actuales. Probablemente no es necesarioaumentar la elocidad de las operaciones de las mquinas en absoluto. Partes


23/25

de mquinas modernas que pueden ser considerados como anlogos declulas neriosas trabajan alrededor de mil eces ms rpido que el segundo.Esto deber(a proporcionar un "margen de seguridad" que podr(a cubrir lasprdidas

de la elocidad que surge de muc*as maneras, :uestro problema es, pues,para saber cmo programar estas mquinas para jugar el juego. En mi ritmoactual de trabajo que produzco alrededor de mil d(gitos de progratiirne un d(a,por lo que cerca de sesenta trabajadores, trabajando de manera constante atras de los cincuenta a7os podr(a realizar el trabajo, si nada se &ue a lapapelera. lgunos mtodo ms e%peditio parece deseable.

En el proceso de tratar de imitar una mente *umana adulta estamos obligadosa pensar muc*o sobre el proceso que *a lleado al estado que se encuentra.Podemos obserar tres componentes.

-a/ El estado inicial de la mente, dicen en el nacimiento,

-b/ a educacin a que *a sido sometido,

-c/ Qtra e%periencia, a no ser descrito como la educacin, a la que *a sidosometido.

En lugar de tratar de producir un programa para simular la mente adulta, porqu no ms bien tratar de producir una que simula el ni7o? $i esto se someteentonces a un curso apropiado de la educacin se obtendr(a el cerebro adulto.Es de suponer que el cerebro del ni7o es algo as( como un cuaderno como unocompra desde la papeler(a. 6s bien peque7o mecanismo, ! un montn de

*ojas en blanco. -6ecanismo ! la escritura son, desde nuestro punto de istacasi sinnimos/. :uestra esperanza es que *a! tan poca mecanismo en elcerebro in&antil que algo parecido se puede programar &cilmente. a cantidadde trabajo en la educacin que puede asumir, como una primera apro%imacin,a ser muc*o el mismo que para el ni7o *umano.

s(, *emos diidido nuestro problema en dos partes. El programa in&antil ! elproceso de educacin. Estos dos permanecen mu! estrec*amente conectados.:o podemos esperar encontrar una buena mquina ni7o en el primer intento.Oa! que e%perimentar con la ense7anza de uno de esos mquina ! er lo bienque aprende. Entonces se puede probar con otro ! er si es mejor o peor. Oa!una cone%in obia entre este proceso ! la eolucin, por las identifcaciones

Estructura de la mquina ni7o X material *ereditario

os cambios de la mquina ni7o X mutacin,

a seleccin natural X juicio del e%perimentador


24/25

no puede esperanza, sin embargo, que este proceso ser ms rpido que laeolucin. a superiencia del ms apto es un mtodo lento para medirentajas. El e%perimentador, por el ejercicio de la inteligencia, en caso de quecapaz de acelerarlo. Mgualmente importante es el *ec*o de que no se limita amutaciones aleatorias. $i es capaz de trazar una causa de alguna debilidad que

probablemente puede pensar en el tipo de mutacin que mejorarlo.

:o ser posible aplicar e%actamente el mismo proceso de ense7anza a lamquina como a un ni7o normal. :o ser, por ejemplo, estar proista de patas,de modo que no se podr(a pedir

salir ! llenar el carbn escotilla. Posiblemente podr(a no tener los ojos. Pero pormu! bien estas defciencias pueden ser superadas por la ingenier(a inteligente,no se puede eniar a la criatura a la escuela sin los otros ni7os se burlane%cesia de la misma. $e debe dar un poco de la matr(cula. :o tenemos queestar demasiado preocupado por las piernas, ojos, etc. El ejemplo de la

se7orita Oelen Geller muestra que la educacin puede tener lugar siempre quela comunicacin en ambos sentidos entre el pro&esor ! el alumno puede tenerlugar de una manera u otra.

:ormalmente asociamos castigos ! recompensas con el proceso de ense7anza.lgunas mquinas in&antiles simples se pueden construir o programados eneste tipo de principios. a mquina tiene que ser construidos de manera que espoco probable que se repita acontecimientos que precedieron a poco laaparicin de una se7al de castigo, mientras que una se7al de recompensaaumenta la probabilidad de repeticin de los acontecimientos que condujeron aella. Estas defniciones no presuponen ning'n sentimiento por parte de la

mquina, *e *ec*o algunos e%perimentos con una de esas mquinas de ni7os,! tuo %ito en la ense7anza de un par de cosas, pero el mtodo de ense7anzaera demasiado poco ortodo%o para el e%perimento sea considerado unerdadero %ito.

El uso de castigos ! recompensas en el mejor puede ser una parte del procesode ense7anza. En trminos generales, si el pro&esor no tiene otro medio decomunicacin con el alumno, la cantidad de in&ormacin que se puede llegar al no e%ceder el n'mero total de premios ! castigos aplicados. En el momentoen que el ni7o *a aprendido a repetir "asabianca" que probablemente sesiente mu! dolorida de *ec*o, si el te%to slo puede ser descubierta por unatcnica de "Keinte preguntas", cada ":Q" tomando la &orma de un golpe. Esnecesario, por tanto, a tener algunos otros canales "sin emociones" decomunicacin. $i estn disponibles, es posible ense7ar a una mquina pormedio de castigos ! recompensas a obedecer las rdenes dadas en alg'nlenguaje, por ejemplo, un lenguaje simblico. Estas rdenes se transmitirn atras de los canales "sin emociones". El uso de este lenguaje disminuirconsiderablemente el n'mero de castigos ! recompensas necesarias.


25/25

as opiniones pueden ariar en cuanto a la complejidad que es adecuado en lamquina ni7o. $e podr(a tratar de *acerlo lo ms simple posible de maneracompatible con los principios generales. lternatiamente, se podr(a tener unsistema completo de in&erencia lgica "construido en" W. En este 'ltimo caso latienda ser(a en gran parte ocupado con las defniciones ! proposiciones. as

proposiciones tendr(an diersos tipos de estado, por ejemplo, los *ec*os,conjeturas, matemticamente teoremas probados, declaraciones dadas poruna autoridad, e%presiones que tienen la &orma lgica de la proposicin, perono creencia de alor bien establecida. iertas proposiciones se puedendescribir como "imperatios". a mquina debe estar construido de maneraque tan pronto como un imperatio se clasifca como "bien establecido" laaccin apropiada se llea a cabo de &orma automtica. Para ilustrar esto,supongamos que el pro&esor dice a la mquina, "Oaz tu tarea a*ora". Estopuede causar "6aestro dice)" Oaz tu tarea a*ora W", que se inclu!e entre los*ec*os bien establecidos. Qtro tal *ec*o podr(a ser, "Fodo lo que el maestrodice es erdad." a combinacin de estas pueden conducir eentualmente alimperatio, "Oaz tu tarea a*ora", se inclu!en entre los *ec*os bienestablecidos, ! esto, por la construccin de la mquina, signifca que la tareaen realidad se inicia, pero el e&ecto es mu! satis&actorio . os procesos dein&erencia utilizadas por la mquina no tienen que ser tal que satis&acer loslgicos ms e%igentes. Podr(a ser, por ejemplo *a! una jerarqu(a de tipos. Peroesto no signifca necesariamente que las &alacias tipo ocurrirn, ms de lo queestamos obligados a caer

acantilados no delimitadas. Mmperatios adecuados -e%presado dentro de lossistemas, que no &orma parte de las reglas del sistema/, tales como ":o utilice

una clase a menos que sea una subclase de una que *a sido mencionado por elpro&esor" puede tener un e&ecto similar al de ":o te a!as demasiado cerca dela orilla ".

Estas elecciones marcan la di&erencia entre un brillante ! un razonador &ootling,no la di&erencia entre un sonido ! una &alacia.

Ellos deben describir completamente cmo la mquina a a reaccionar sea cualsea su *istoria podr(a ser, lo cambia que podr(a su&rir.

abe *acer notar que se utiliza en el proceso anlogo de la eolucin.

Turing Tarea

Documents

Transcript of Turing Tarea