C AL CUL O I- OGICO DE L AS II) F AS IN IT4A N E N TE S l a teor'a i pol l a Ll na la a c t i v i c l a d n e r v i( ) s t: v p a r a la b io l' sica m a te lnti ca p a l ' a cl r r ln e i( ) r ' ig ttt' o so v sir r r b lico cl e I-ecl

cl es conoci cl as, as hcr r a m i e n t a (: () r ' r oL l r r n t r l ( ) c l ()se Dc' illo p a l' t co n stlllil' r ccle s hi potti cas cl e l as pl -opi edarlc s r - e r t t t ' t i c l a s . BIBI- IOGRAF IA (' : r r - n a p , l { ( 1 9 - 1 8 ) , ' lltc Ittg ica l .5 - r ' r la ttl ln ttg u a g e , N ueva Y ork, FIarcrurt, B race :rncl (lonrpzitry. I lil b c r - t , l ) . 1 ' W . A cke tn r a u n ( 1 9 2 7 ) , Gr u r tr lttg e d er Tl tereti scl tert htgi k, B erl n, .I. Springcr'. Wh i t e l ' r e a d , A N . y B. Ru sse ' ll ( 1 9 2 5 - 1 9 2 7 ) , Pn r tciti a A l al hetttttti t'a, C ambri dge, C a n r b r i c l g e L J n ive r - sit) 'Pr css.

lI. LA MAQUINARIA l)11('oM l)l I l A( l( )N Y LA IN]'t1L,l(lllN( lA'

,\r AN l \l . l U ti tN ( ;

l . E,t- :u p .t;O l ) ti .t.A r \r r A( r () N PROPONGo s o m e t e r a co n si d e l a ci r i n l a si g u i t'l r l ( ' l ) r ( 'r :r r ] l i l : ",,I'r l t.cl t'r r I) r l l s,i t' l a s m q u i n a s 7 " E sto d e b e r a e n r p e za l co n l :r s r l i 'l i r r i t'i o n t's tl cl si 1 r r iifca cl o d e l o s t r m i n o s " m q tti n a " y "p e n sr t'.l - a s cl t'f'i n i ci o n cs r o tl r 'u r r st:r 'l o l - n r u ladas de modo qtte contemplaran, hasta doncle lirese posible, el rrso rrorlral de esas palabras, pero esta actitud es peligr-osa. Si hentos cle encontrar el significado de los vocablos "nrquina" v "perrsarl exanrinando lr maner-a e n q u e s e u t i l i z a n co m n m e n te , cl i fci l m e n te se e vi ta r 'a l a co n cl tr si n d e que el significado v la respuesta a la pregunta cle si ptreden pensar las mquinas deber'a buscarse en Llna encuc-sta c-staclsticaconro las Galltrp. Pero esto es absurdo. En lugar de buscar trnr clefinicin cie esta ndole, sustitLlir Ia pregunta por otra relacionada estr-eclramente cron la lrimera v ql.le se expresa en palabras relativalnente crrentcs cle anrbigiieclacl. La nueva forrna de plantear el problenra prrcclc describirse- en tr'mir-ros de r-rnjuego que llamaremos el ".jr-rego cle la irnitaciirn". Parlicil)rn en l t r e s p e r s o n a s : u n h o m b r e ( A) , u n a m u j e r ( R ) 1 'r r n e xa r n i n a cto r '( C ) . q u e puede ser cle cualquier sexo. El exar-r-rir-rador pel'lllalle cc en una habitacin apartado de los otros dos. El objeto del jr,regopar-a el exanrinador consiste en deterninar cu1 de las otras dos per-sonases c-lhonrbr-e v crrhl la nrtr.jer-. Los conoce por las etiquetas X y Y l', al fir-raldel juego, clir "X es A .y Y es B" o "X es B y Y es A". Para ello, el exarninadcr puede forrnrlltt-pr.e{trrrt;rs a A 1 'a B : C: 'Poda dec:irrne X cun largo es su cabello? )r)Al-rora bien, sr-rponganlosque X es t'ealrlente A, entonccs A clcbr' t'r'sl)( d e r . E l o b j e t o d e l j u e g o p a r a A e s i n te n ta r v l o g l a r q tr e ( ,- L r i tl cr r l i l i < r r t: errneamente. Su respuesta podr'a ser entonces: " T 'e n g o u n c o r l e e n ca p a s I'n r i s ca b e l l r s n r s l a r g o s n r i r l r 'r r r 'r 'r r ';rr l t'.2 0 centmetros." A f i n d e q u e e l to n o d e \:o z n o a 1 'r - r d e a l e xa m i tr a cl o r ', l ;ts tt's r ttt'sl :tsr l r '
* A. N {. T ur i ng. " Cn rrp t rt i n g i V t a c h i n e rl oc tubr e de 1950, pp. 43 3 -4 0 . (R e p ro d rrc i d o rrrrrr rr, l I I \ . a n c l h rt c l l i l l t ' rl c t " ' , ' 1 / rrrl , c o n re rrri s o i k ' o rf , rrrl l l ri r' , r' , rl v I ' r, ' , , )

53

51

LAlvlA( . . lt llNAlt lAI ) ll( ' ( ) l\ ' ll' ulA( l( ) N Y l . A I N l F . I - I G E N C I \

concl l rsos contra cuanto

l .A N .AQI_|N A R IAIIII ( ()l \i l ' t rt;\( t{ tN \ t A tN i l ;r t( .1J r t.\ N o nos i l l te-l 'esa stnc i orl at' i r l :r rr:i rrri rri l l )()r s u i rrt.:rr;rr i rl :rtl rl t. l rr i l l : r, cl e bel l ez r, l l i s tl tc i ol rtl i l l ul i r l )(' rs r)n;r l )()r (,r(r(' r .r (;rrr(' r.:r un aeropl ano. Las c ol l c l i c i tnt' s rl t' rrut' s l ro j rrt' ,,, l r;rr.r.n (l (' (' s l :rs qui eran

lrt' :rrr s('l l)()l'('s Ctit ( ) o, t t t c iol- llt ill, ll) ec allog r a f i a d a s . L a s i t u a c i r i r l i d e a l sr.ttc()n(.tl c()tl t t lr t c lc t ipo c lt lL' c onlt lnic al' a an l b a S h a b i t a c i o n e s ' A l t e r n a lii,:llrt.rrtc,l:rs rr t ' gt r r r { usv t ' c s plles t as podr an s e r t t 'a n s m i t i d a s p o r t t n i n t('n n('(liiu i(). l'-l olr ic lo c lc l iuc go par a el t er c e r j u g a d o r ( B ) e s a v l r d a r a l (' \:rilrir)il(l()t'.L:r t t t c ir lt - r ' s t l' at egiapar a ella pr ob a b l e n l e n t e S e r a p r o p o r c l o . es t e Sent ido, podr a i n c l u s o a l i a d i r a S u Sr e s rr:u t('sl)u('s{:rsv c t ' c lic t slin "Yo la nlu.ier, no lo oigas", pero esto no garantizara sOy )ll l( ) c( c()sas r,'rlils ,, ,rrr' ,'l Iro ttt[)r'crl( ) pr l( lic r rhac er c om ent ar ios s i m i l a r e s ' ". Q t r s t r c eder a s i un a m q u i n a t o m a r a e l p a p e l I'r'r'grrrrtcrr,,, , "1, o, - o: eqt t iv oc ar a el ex anr ina d o r c o l a m i S m a f i 'e c u e n c i a ,1 ,'A cll cstc.itlcg( ) ?"' Se (lue si los participante [ueran un llombre v una muier? Estas pregtlntas r.eemplaz.a;n nuestra pregunta originai: "Pueden pensar las mquinas?"

DEL NUEVOPROBLEMA 2. LA CRTICA de As como podemos preguntar: "cul es la respuesta a la nue\ra forma esta "Vale pena investigar Ia inquirir: podramos tambin lll pr.egr.rnta?", para ,,,rcu. r,,,r-ri,in?"Anrlizaremos la segunda pregunta sin nls discusin, inf init a t' r'ilu r' :rs itrt:t t'e r gt ' es in I rr',,lricnratiene Ia ventaia de establecer una diferencia bastante [,.]rrrrc,u,r crrlrc la s c ay t ac ic ladesf s ic as e int elec t ua l e s d e l s e r h u m a n o . N i n g u n r.lrr.:r mainst,rrierr I rri tlrrnr ic o l. r apr egonado t ener la c a p a c i d a d d e p r o d u c i r u n con l o g 'e q u e s e p o s i b l e E s piel hum ana . la de r,.r.i:rl rrrc sc^ irr c lis t inguile s a b r a m os i n v e n t o , e s t e que ex ist i e s e de s upues t o en el a un ,,1ticn rto, l)cl.() "mqllina l, r 1tc irrryrorlante qtte esttlta tr-atar de fiacems humana a una artilicial. La manera en que hemos r,,,rr,r,rte"ctrbrinclola con esta came en la condicin que impide qtle ,lanteaclo el problema refleia este hecho voces. o que escuche_sus participantes el exarninadorvea o toque a los otros meevidentes resultan propuestos los criterios de Algr-rnasotras ventajas A saber: modelo. respuestas preguntas cliante Y Forth' P: Pr fvor escriba un soneto que tenga por tema el puente poesa' escribir podido R. No cuente conmigo para eso; nLlnca he P. Su me 3 49 57 m s 70764' 105 2 1' R: (Pausa de alrededor de 30 segundos y despus, respuesta') jugar ajedrez? P. Sabe R: S. P:Ten go reyenr ey ly ningunaot r apiez , a. Us t ed s l o t i e n e r e y e n r e y jtrgada? 6 y pen n pen 1. Es su tutrlo. Cul sera str 8 - jaque nlate' rey a R. (Tras una pausa de 15 segundos') Rey Elmto do de pr egunt as v r es pues t as par ec ead c c u a d o p a r a i n t r o d u c i r queramos incluir. casi ctralquie.u d lor- ambits dei quehacer humano que

i n s t a n t e p o r s u l e nti tu d e i n e xa cti tu d e n a l i tn r e <ti ca . N o r o r l r .r r rlrr r s r r q u i n a - s r e a l i z a r a l g o q r - r ed e b e l - a d e scr i b i r - se cr ) n r ( ) p e n sl ,.. r ..,,, t r r c fi r cl .u n-ruy dif'erente a lo que un hombl-e l.race?Esta ,rbjeci<irr ,,,,,., lir.:r.lt, rcr.g ", podemos afir'ar al menos que no debe preocrrilar.llos sr, rl)cs'- cle ella, puede constmirse una mquina que parlicipe satisfactor-ialrrente en el .iuego de la imitacin. Sera recomendable que, si par.ticipa en er "j.eg. cle la ilritacin", la IneJor estrategia que pudiera adoptar la mquina fuera no imitar.el comporlamiento humano. Puede ser, pero considert> p.c. probable qtre haya grandes repercusiones de este tipo. De crralquier nraner a, rro pr.etenclenros i n v e s l i g a r a q u l a l e o r a d e l j u e e o v sr r p .,n cl r .e r r r ,)q su e l a r r r e .j o r .csl r .a l e g i a consiste en intentar proporcionar las resptreslas que el lrorlrbl.e clarla con naturalidad. 3 . L A S M e u IN ASo L r F. PAR TI( l p AN r r N ti t. n r r ,( ;( ) L a p r e g u n t a q u e f or m u l a m o s e n l a se cci l r I n o t'sl l l :i t'o n u r l t'l :u l l cn te d e f i n i d a h a s t a q u e se e sp e ci fi q u e q r r q r r er e n r 's tl t't- i r ...,,r rl r , "r r r r :r l l r r .:r q u i n a " . N a t u r a l m e n te n o s g u sta r a p e r r n i ti r ' ( l u c s( ' r l i l i zr r r :r r ( ' r r ( 'str .a s m q u i n a s t o d a s u e r te d e t cn i ca s d e i n g e n i cr ':r . l ':r r r l r i ti r r u t.r 'r 'l r r 6 s cl a r . c a b i d a a l a p o s i b i l i da d d e q u e tl n i n g e n i cr - o ( ) u l l ( '( l u i l ) ( ) r l t,r 'l l .s r r r r l i cr .a c o n s t n - r i r u n a m q u i n a q u e fu n ci o n e , p e r o cr r - \,o n r o tl o tl t' , r r t.r r r r r r o r r r tl i e r a s e r d e s c r i t o s a t i s t acto r i a n te n te p o r su sc( ) r ) sn 1 r ( 't( ) r r .s, l ) ( ) l ( l l r ( 't'sl o s:r r l i caron un mtodo que es en gran parte exper-inrental. I'ol u l t i r r(), ( l(.s(':l l l r():.; e x c l u i r d e l a s m q u i n a s a l o s h o m b r e s q l r e n l cL - n tl t, l :r l n ;u r t'r :r i r ( '( ) sl 1 , b r a d a . R e s u l t a d i f c i l d a r d e [i n i ci o n e s q u c cr r r r r r l u ' t'sr r r sl r t's t.,l r r l i t- i r r t.s. P o d r a m o s , p o r e j e m p l o , h a ce r h i n ca p i cn c r r cl 'cl o t,l t.r r i r ,r tl r . i r r ;,1 . 1a 1 . r d e b e r a s e r d e l m i s m o se xo ,p e r o e sto c r r i z n r l u t'r ;r r t':r l r r r r .r r tr 's:r l i r l :r r .l r r l o , I 'u q u e c a b r a l a p o si b i l i d a d d e fo l 'r l a r - u l l i .r l i 'i tl r ,) ( r ) r r l r l r .r ..r r , r l d e u n a s o l a c l u l a d e l a p i e l ( d i g a m o s) d e u n h o l l l r 't'. r .. .,.r r ,r ,l r r ,, :,r .r r .r ;l h a z a f r a d e l a t c n i c a b i o l g i ca , cl i g n a d c l o s n u i s r r - orfr so s t,l ,1 ,,j , r ,l ,( .r r I n ( ) n o s s e n t i r - a m o s i n cl i n a d o s a p e n sa r q u e sc' tl - a l :r tl t' r r n ( .i r s( ,,1 ,"', , r n .,r ru r c i n d e u n a m q u i n a p e n sa n te ".Esto n o si n cl r r ct':r <l t'j :r r tl ,'l :r ,l ,r r .l r r .r r sr r .

care z c al l tl c i ttr -l otl arrc i rr. L,s "l c s l i 1i .s " rr rt.tl t' l ; l l : l .l rt. l acerc a c l e s tts c n(' al l t():i , l i rr' l al t' z :r o l rt' trrs rrr,,, s i l o i rrz grr conveni ente, pero e l ex anti nac l ot- no rtrc rl c t.r i ti r rl r.n ros l r :rt.i or rr' s pl ;i t.l i t-ts . E l j rrego qui z- podra c r-i ti c ars e en el s t-nl i tl o tl ..,l u,, l ;r. l ,rr,l r:r,i l i rl ;rrl c s pesan demasi ado e n c ontra c l e l a nrc ui na. S i t.l l rol ul rrt' i l rl t' nl ;ui r v l )-c tendi era ser l a mqui na, es obv i o que hara l l l uv l nal r:rrt,l . .S t.rl c l :rl :.:r :rl

i ncapaci dades

; : i
I
I

t
t t E H L E.

u..
t

Et

5h

II\ I ACINY I,A INI'I:I,I(]IIN( DE CONIPU LA IV{AQUINARIA

LA ]v fAQ U I N A I I J A

l l l l ( ( )l \ f l ' l rl / \ ( l { )N \ l \ l f J l l l l ( , l l . r( l , \

\'l

) s t o c l r t r ' : tt r l s cle qu e cleb eta pe r m it ir s e c ualquier t ipo de t c n i c a v c s t l l l l ( "ltlrttttitlrts l c[is ptre sto sa h acer lo, en v ir t ud de que el int er s a c t r l a l c t t a s r l l q t r i r r : r t l t t c s t t t 'l e h a sur gic lo gr ac iaS a un t ipo pal' t ic l l l a l 'd e 1,.,,,sartte s" "c om p u t a d o r a d i g i t a l " . Sigtricn"com pulador a o elec t r nic a" rlcno nrin at.se nLlestl'o parte en que tomen permitiremos JLlego tlo t.st:r sllf{cl'clt(:ia slcl lrrs t o rrrrulu tlor-a sdigit ales . podra parecer mu)'radical a primera vista, in,\rrrrtrrt'esta I'estl'iccir-r t (. rl:rr'.rlcn rostl' u' qlleen t ' ealidad no lo eS. Par a e l l o , h a r u n a b r e v e r e l a , i,,rr tlt. l:r 'rlrrlt, z v de las plopiedades de e s t a s c o n l p u t a d o l a s . 'l ;u rrlri'n sc c lec ir que c s t a ident if ic ac i n d e l a s m q u i n a s c o n l a s roc lr ' a ( r )lll)u lilcl()l a s rligit ales , al igual que nlles t r o c r it e r i o d e " p e n s a n t e " , n o s e r srrtisl:rt.lo lia , si (c n c ( ) lt lr a de m i c r eenc ia) r esu l t a q u e l a s c o m p u t a d o r a s , lilr.illlcs s()n itrca pac es de m os t r ar un buen de s e m p e o e n e s t e j u e g o . ( orrrO1,exiStell nunterosas computadol'as digitales en funcionamiento, "(Por qu no intenlar ei expedmento de inmecliato? ,r,tlr.aprleguntarse: S,.r.:rfcil satisfacer las condiciones de] juego. Podan utilizarse rarios c\rrninadores, y 1os datos estadsticos recabados mostraran con qu fre(.ueltcia la identificacin ha sido conecta." En pocas palabras, la respuesta es que no preguntamos si todas las complltadoras digitales desempearan r.,r,1r,,,.r,papel en el juego ni si lo l-raran las computador-as actualmente clisponibles, sil'lo si existen contputadot'as imaginarias que lo haran bien' Pero sta es slo la respuesta breve. Ms adelante ccnsideraremos esta pregunta desde otl'a persPectiva.

DIGITALES 4. I-AS COMPUTADORAS t -a id ea de trs de las c om put ador as digit ales p u e d e e x p l i c a r s e d i c i e n d o Llrrese trata de mquinas cuyo objetivo es eiecutar cualqtlier operacin que plled a re alizar una c om put ador a hum ana. E s t a c o r n p u t a d o r a h u m a n a sLrpuestamente sigue reglas fijas v carece de la autoridad para desviarse de cllas en el ms mnimo detalle. Podemos aventurar qtre las reglas aparecen en un libro que se modifica cada vez que la computadola l-rumana debe r-'fectuaruna tarea nue\a y tambin que esta ltima cuenta con una resetla ilirnitada del papel en el que rea\iza sus clculos. Tambin pr-redeefectuar nrr-rltiplicaciones v sumas en una "calculadora de escritorio", pero esto no es impoflante. Si utilizamos la explicacin anterior a modo de definicin, correremos el riesgo de tener un argumento circular. Para evitar este peligro, esbocerilos los medios qlte nos perrnitirn alcanzar el efecto deseado. Por lo gerreral se considera qlle una cornputadol-a digital consta de tres paftes: /) Alnra c n

2) LJ nidacl operatir,'a -l) Contlol E l a l r l a c n g u a r cl a i n f o n r t:r t'i r .r \'( .r r ( '.,1 ) r 'r r ,l , ;r l t:r ,,1 , r r , u ti l i z:r l :r ( l tr ( 'st'l r r l r ',1 ,'l ,:r ','l,l ,,r r ,l ,'r , ,r l i z:rr r r s t :i l t u c o t t r p u l a t l o t 'a h u n r a n r ,\'ls( 'r ( l u ( 'l :r ( {) n r l ) u l o s o c i e l q l r e c o l r s la e l l i b r r l r l t'r ,'tl l ;r s ( l r r ( '( .n \u l l :r I'r r r ':,1 ,r ( 'n su r r r t'r r l t',r u r i r t) :r rl r 'tl c t.,l r ' :r l r 1 r ,,' to t a d o r a h u n t a n a l t a cc c'i l cttl ,r s l t l e s p o n d e r ' a l a n r cn r o r r r . L a t r n i d a d o p e r a ti va cs l r t r ;u l t'r ttt'tt';r l i zl r l :r s tl i r t'r s;r \ ( ) l ) ( 'r :r ti o tr t's n r d i v i d u a l e s i n v o l u c ra cl i scn r .l nc'l i l cr r l o .L l r r u r l r n :r l ,'zr rtl t't'st:r s ( ) l ) ( r :r ( 'l ( ) n cs ( ) tr u . [) o r l o r ,.t'r r t'r ul r r r t'tl t'r r i n d i v i d u a l e s v a r ' a de u l r a n r q u i l r lr t'l t't'l r r :r r - sc o p e r a c i o n e s r e l a t i va n r e n te l a r - g a str l cs co n l o "r r r r r l ti r l i tr r .l 5 ,i 0 6 7 5 .1 .1 - 5 pol' r cr r l i z.r r t( ) l ) ( 'l i r (i ( ) n cs 7 0 7 6 3 4 5 8 7 " , p e r o a l g u n a s l r t tti n a s sti l o r r r t'r l t'r r n'ruv sencillas como "escribe 0". Y a l r e m o s m e n ci o n a d o q u e e l 'i i b to cl e r e g l a s" q n c s( 'l c r r r r r o l tr i o r r aa l a c o m p u t a d o r a e s su sti tu i d o e n l a n r q u i r u r p o r u n rl ) a l te r l e l u l n r .r c 1 , t'n srrpcrcr,lyo caso se ilama "tabla de instr-ucciones". Corresrolrclc al cr()n1r'ol visar que estas instrucciones se obedezcan collectanren{e v err cl orden adecuado. El control est constmido de tal lirlnra qlle csto srrcetlu necesariamenle. La informacin qr-rese encuentra en el almaclr se descrnrporrc-por lo general en paquetes de tamao r-elativarnente peqtreiio. En una rnqtrina, p o r e j e m p l o , e l p a qu e te p u e d e co n sl a r cl e 1 0 tl g i to s d t:ci r r r a l e s.St' a si g n a u nrmeros a las par.tes del almacn doncle se gtralrlarr los clivt'l-sosl)acluetes c l e i n f o r m a c i n c o n fo r m e a a l g n p r o cccl i r n i cn to si ste n r i l i co . [Jn r r i r r str u ccin tpica dira: " S u m a e l n m e r- o a l n r a ce n a d o e n l a r o si c:i r i r r l 8 0 9 :r l t ttt'sL rcl l cl l L 'n tl 'l e n I a p o s i c i n 1 3 0 2 y g r - r a r d ae l t'cstr l ta r l o ctr ( 'sl i r r i l l i r r l :r r o si t'i o tt." l t'r r g u a j e t'r r l :r n r :i < tr i n l t'r r r r i r r l '.u tr S o b l a a f i n n a r qu e e sto n o su ce cl cr - a h u m a n o . L a i n s t m cci n p r o b a b l e m cn tc so co r l i l i t:u i ;r ( o n r o ( r l J0 9 4 3 0 2 1 7 , co n d o n d e 1 7 i n d i c a c u l d e l a s d i ve r sa s o p cr u ci o r r t's r o si l r l t'sst'r r ':r l i zu - l o s d o s n m e r o s p r o p o r ci o n a d o s. En e ste cl tso , l r t o r t't:r r 'i r i ttt's l l t t tte se i l r tv r tr t'r ttl l t'r l i r < ttt'l :t i tr sd e s c r i b i a n t e s , e s d e ci r "su m a e l n r n 'l r - r 'r ' ..." t r u c c i n u t i l i z a h a sta 1 0 d g i to s v fo r m a a s, n r ttv ( '( ) n \'( 'n i ( 'n l ( 'n r ( 'l r l c,tl l l paqllete de inforrrracin. En gener-al,el cr>nlrol tonlar';i lrrs inr.lr t tt t'iot tt's tttc h a n d e o b e d e c e r s e e n e 1o r d e n d e l a s p o si ci r ) n e se n tl ttc l ttr 'r i r rr :r l trr :r t't'r t:ttl i ts. S i n e m b a r g o , e n o ca si o n e s p u e cl e q tl e a p a r e zc r tl tttt i l l sl t t t( ( r't l ( ( 'l l t() : " A h o r a o b e d e c e l a i n str u cci n a l m a ce n a cl a cl l l a p o si ci r l r r 5 ( ) o ( ) \'( t,l l tinra a partir de ail." O bien: " S i l a p o s i c i n 4 5 0 5 co n ti e n e u n 0 , o b ccl e cc L 'l l l o ttr 't's l r t i r tsl r u t t to tt a l n a c e n a d a e n 6 70 7 . En ca so co n tt'a r i o , si g tte a cl el l r r l t'." L a s i n s t r u c c i o n es d e e sta n d o l e so n r n L l v i n r p o r t:r n l e s, l ) ('r ( l t r ( ' l ) ( 'rr| | i l ( 'r l

58

LA N{AQUINARIA DECOiPUTACIN Y f ,A IN II:I,I(;IIN('I

I- A M AQU I N A R I A

I )1 1( ()l \ l l ' l l l A (' l (

)N \ ' | \ l N l I l rl l ( ; l i N ( l / \

rr)

que una secuencia de operaciones se repita una v otra tcz hastr (lrrc sr cLlrrplan cieas condiciones, pero al hacer esto no se obedecen nue\'rs instntcciones en cada repeticin sino las mismas, Llna v otra vez. Consider-enros una analoga domstica. Supongamos que la madre desea que Pcpito, en su camino a la escuela, pase cada maana donde el zapatero I)ara preguntar si va estn los zapatos que mand arreglar. La n-radre pue,le reclrselocada maana o, alternativamente, puede, de una vez por todas, lijar rrrra n()ta c n el pas illo, par a que Pepit o l a v e a c u a n d o s a l g a p a r a l a t^scrcla,cn la cue le dice que pregunte por los zapatos v tambin que deslrrva l:r lrota clrando regrese y traiga los zapatos consigo. I'll lcctor dcbe aceptar qrre pueden construirse computadoras digitales, ttrer,cle hccllo, 1'a se han conslmido de acuerdo con los principios que lren-rosdescrito v que en verdad pueden simular, de manera muv parecida, las actividades de la computadora humana. El libro de reglas que va hemos descrito y que utiiiza nuestra computaclora humana es, desde luego, conveniente para nuestra ficcin. En reali<lad, las computadoras humanas verdaderas recuerdan lo que deben hacer. Si se desea que una mquina imite el compoamiento de una computadora htrmana en alguna operacin compleja, debemos preguntarle a esta ltin.ra cnro lo hace, y luego traducir la respuesta en la forrna de una tabla de inslmcciones. El diseo de esas tablas usualmente se denomina "progranracix". "Programar una mquina para que efecte la operacin A" sigrrifica introducir en la mquina la tabla de instmcciones apropiadas para rtre r-ealice A. Una variante interesante de la idea de una computadora digital es "una conrptrtador-a digital con un elemento aleatorio", la cual cuenta con instrltcciones para tirar los dados o algn proceso electrnico equivalente. Una de estas instrucciones podra ser, por ejemplo, "Tira el dado I'coloca c-lnrmero resultante err la posicin I 000 del almacn". A veces se ha dicho (lue este tipo de mquinas tiene libre albedro (porque vo no usara esla lr-ase por m mismo). Norrnalmente no es posible deterninar si una mquina cuenta con un elemento aleatorio con slo obser-varla,va que existen dispositivos que pueden producir un efecto similar al hacer que la seleccin dependa de los dgitos correspondientes a los decimales de n. La mayora de las computadoras digitales actuales slo posee un almacn finito. No existe una dificultad terica para intaginar una computador-a con un almacn ilimitado, aun cuando, por supuesto, slo pueda utilizarse una parle finita de ste en un momento dado. Asimismo, puede haberse c--onstnido slo una cantidad finita de almacenamiento, pero podemos in.raginar que se pueden aadir ms y ms segn se requieran. Estas computadoras tienen un inters terico especial y las llamaremos computador-as cle capacidad infinita.

l 'tr r L a i c l e a d e l a s c or u p r r ta d o l - a scl i g i tl tl cs cs i l l l l i g u l r . ( l t:u l ,'s l l ;tl r l r ;t1 ',t', f e s o r L u c a s i a n o c l e M a te n l ti ca s cl l L l a n r l r i r l l t' tl c I,9 2 tl ;r l ,Sl ( ) , p r r r vt't'l ti l l r l n r il l l \4 :i t rirtr r rAl r :r l l i t':r ,l ) ( 'r( ) r r lrrr c;l n a m q u i n a d e e s ta n d o l c a l :t c r r e l a t e r m i n . A t r n c u an d o Ba b b a g e co r r l :r b r t- o l r l o tl r r s l :r s i r l t':r st'st'r t, i ;tl c's,stI m q u i n a n o e r a e n e se e l l to l l ccs l l l l l ) l ( ) \'( '( 't( )l l l tl v i l l l :l ( 'l i vo Stl r t'l r l t'i tl :r d l tt tl l :l r l i r , l ) ( 'l ( ) ttl l t e r a d e f i n i t i v a l n e n t e m a yo l 'q r r e l a i l e l n l i l c( ) r r r l ) u 1 ;r cl ,,t:t a s s e r a a l r e d e d o r d e 1 0 0 I'cce .sl r r r s l cr r ta c r r t'l r r ttr i c tti r r :rr l t' M r tr tt'l l t'ste t', u n a d e l a s m s l e nta s e n tr e l a s n r i cl u i n a sr n ,r cl cl 'n l s. I'.1:r l ttr a ct'r l tl l ti cl tl r r e r a p u r a m e n t e m e c n i co v fttn ci Otl a l l :tl r :r setl e l tl e tl a s I'tl t'tl l t'i t'l a s. E l h e c h o d e q u e l a M q r r i n a An a l ti ca cl c'l 3 a l r b a g cl r r cr a c,r r r r p l t'ta r r te r l te m e c n i c a n o s a \ a l d a r a l i b r a tr o s cl e r n a stl r ct'sl i ci ti tt. A l l te n ttd o se d a solt impofiancia al hecho de que las cornputacloras cligitalt:s tttoclet-trrs elctricas y que el sistema nenioso tambin Lt es. Pttesto tttc la tttqttina de Babbage no era elctrica y puesto que toclas las cotlptttnclolas digitales Son equivalentes en cierto sentido, obsetvanlos qLle este ltso cle la electricidad no puede tener importancia terica. Por stlpuesto, la electricidad interviene en cuanto a la rapidez de la seal se t-efiere, as qtle no es de sorprenderque la encontremos en ambos tipos de conexiones. Iln el sistema nervioso, adems, los fenmenos qumicos son por lo menos tan inlportantes como los elctricos. En algunas computadoras el sislema de alrnacenamiento es esencialmente aclstico. Entonces, el hecho de cpte se utilice electricidad resulta tan slo una semejatrz.alllr.lv srrperl'icial. Si realmente dcberam9s bttscat' attalogas madeseamos encontrar tales sen-reianz-as, temticas en el funcionamiento.

DE I-AScol\f PITIADoRASI)lGITAllls 5. La uNII'ERSALIDAII Las computadoras digitales qlle se consideraron en la tiltinra seccitill ptteden clasificarse entrelas "mqr-rinasde estado discreto", que son rnqttitlas qtte funcionan mediante saltos repentinos o chasqtridos para pasal'de tln eslado bastante definido a otro. Estos estados son lo suf icientemente diferentes, por lo que podemos ignorar la posibilidad de conftrndirlos. Estrictamente hablando, no existen tales mqr-rinas,)'a que en la realidad todo se mueve de manera continua. Sin embargo, exislen mttchos tipos de mqttinas que por fortura pueden considerarse dc estaclo discreto. Por eienrplo, al pensar e n l o s i n t e r m p t o r e s d e u n si ste m a d e i l r l l n i n a ci r n , r e su l ta co tl ve n i e n te imaginar que cada interruplor debe cstar clefinitivamente "enct:ndido" rr "apagado". Segr:ramente debe halleI prlsicinrtes intermedias, pel'o para la mayora cle nuestros propsitos podemos ignorarlas. Conro e.ierrrplode ttna rqtrina de estado discreto podranros consicletar rlna ntecla qtte etnile ttn (lllc prrecle chaiquido Llna vez por-segundo al gilar a 120" pol scgrrnclo,p(:r'()

6t)

L A MA Q[.JINT\RIA

I) li ( ' ( ) t' .1PlJ I' r \( llN

Y I- A IN I ELI( l EN ( - l r \

LA M AQ IJ f N A R I A

l l l l (-()N 1 l ' t . l I A ( l ( )i \ l \ ' 1 . . , \l N I l , l l t i l i N ( I \

() |

scr (lete nid a p()l'u ni palanc r ( ) l) c r ac lar lc s c leel ex t e r - i o r '. A d e n l s , e n t r r r c i le lzrsr o sicion es d c la l. t r c c ia s c ( : nc ic r ) c lcunrlilr ) pa l 'a E . n t l 'n r i n o s a b s t t 1 c l ( ) s d cscrib ir ' la nr r ( llr ina c onr o s igt r e.Eles ta c l o i n t e r n o c l el a m c l L l i n a I)()d r'amo s (rlescrito po rlzrp osic i inc lelanr ec la) pr r ec les er g, cle Qto4ihavunaseal e nlr.a d:rl,, o i, (p osic iilr de la palanc a) . El es t ado i n l e r n o e n c u a l q u i e r m o p( nlr' lr tr) e sticlete l-nl inlLl( ) ) r ' el es t ac lo anler ior v p o r l a s e a l d e e n t r a d a d e . r( I tr't(l() r'()tl cl r'tlltdt o: r' sf: r tfo a rtlct iol' 4 t 4 z 4 t
Estado Qy
Llll rALlA I 'l o

anfeti or Q2 Qj

lrt,

Ii, i, n,l

,1 .

qtl

En ei siguiente cuadro se describen las seales de salida, el nico indicio risib le en e l exted or del es t ado int em o ( la luz ) .

Es t ado Salida

Qt QzQt oo oo o t

I jste es trn e.je rlplo t pic o de las n' r quinas de es t a d o d i s c r e t o , l a s c u a l e s l)ur-( lelrd escrib irsr'l nedialr t e es le t ipo de c uadr os , s i e r n p r e y c u a n d o c u e n ' r' rr r irrican ren te cro n un nm er o l' init o de es t ados p o s i b l e s . l' :rrccc'r'aruc, c lados c l es t ado inic ial de la n . r q t r i n a y l a s s e a l e s d e ,' rrlrr rcl:r,sit.rrrrrc c s r os iblr : pr edec ir t odos los e s t a d o s f u t u r o s . E s t o n o s r, ' , ' u('r'(lr t'l ru rrto rle v is t a de Laplac e de que, a p a r l i r d e l e s t a d o c o m p l e t o ,l, ' l rnivt'r'so ('n rlr) lll( ) nr ent o dado del t iem po, de s c r i t o p o r l a s p o s i c i o n e s rlc toclas las parlculas, sea posible predecir todos los estados '. r,'l, r<'i<l:rrlcs iut urrrs. Sirr crrrb :rr go, la pr edic c in que ahor a co n s i d e r a m o s r e s u l t a m s r irrlrlc tlrrc la clc L aplac e. El s is t em a de "el univ e r s o c o m o u n t o d o " e s t , orrt'ebiclo de tal manera que hasta los errores ms insignificantes en las ,,()n{-licionesiniciales pueden tener-un efecto aplastante despus de r-rntiemro. El desplazamiento de un solo electrn una mil millonsima de centnrctlo en un instante dado puede marcar la diferencia entre que un hombre urttera aplastado porun alud o que escape de ste. Una propiedad esencial ,ite los sistemas mecnicos que hemos denominado "mquinas de estado rliscreto" es que este lenmeno no ocurre. Incluso cuando hemos considerado las mquinas fsicas reales en lugar de las idealizadas, un conocimiento t'rzonablemente preciso del estado en un momento dado proporciona utr colrocimiento razonablenrente preciso algunos pasos despus.

C o r o v a h e m o s n te n ci o n a cl o , l a s co tr r p r r l u r l o r l r s r l i g i t r l t's sr ' i r r t l r \'r 'r rr ' r l a c l a s e d e r n q r - r i n asd e e sta cl o cl i scl - cto . I'e r r r t'l r r r i r r r t'r , tl t t st:r tl ,:, t r r t' t t n a t n q u i n a d e s t as e s ca p a z d e te n e l 'su cl e st'r 't'r l {) l n l ( '. I'o r t'i r 'n r r l o , t'l n m e r o d e e s t a d o s d e l a m q u i n a cl u e a ctu :r l r r r e n l cl 'u n i 'i o n :r t'r r I\'l ;u r tl r t'stt.r ' e s d e c e r c a d e 2 1 s 00 0 e; s d e ci t- , a l r e cl e cl o l cl ( l 0 q {) r .r )( 'o r r r l i r t'sr 'r 'sl :r t'i l l r r c o n e l e j e m p l o q u e a n te r i o r - m e n te d e scr i b i n r o s r l c l a n l ( '( l :r ( l r r t't l r :r tr r r tr r , q t t e t i e n e t r e s e s t a d o s. N o r e su l ta d i fci l co r n r r - t- r r r l cr ' r ot l r r t:t'l n r i r r t'r r rtl c: estados debe ser tan L a co r n p tr ta cl o r a co n ti e n t'r r n l r l r r r :r t,,n ( l u ( . -qrande. c o r r e s p o n d e a l p a p e l q u e u ti l i za u n a co m p r ta d o r a l r r l n i r r l rI'.n . t'sl t'r r l r n r c n d e b e p o d e r s e g u a r d a r cu a l q r r i e l a d e l a s co r n b i n a ci o r r cs r l t' sr r r l r o l o s q u e p o d r a n h a b e r s e e scr i to e n e l p a p e l . A f'i n cl e si r r r r l i l i ca r ', su l ) ( ) n i tr mos que slo se utilizan como smbolos los clgitos clc0 a 9 (igrror':rrrroslas variantes caligrficas). Supngase que a la conrprrtrclor-a se le: pernriten 100 hojas de papel, cada una de 50 renglones que, a slr vez, ptrerlerr contener 3 0 d g i t o s c a d a u n o . El n m e r o d e e sta d o s e s e n to n ce s cl e l 0 r r x) \s( r !r 0 'e s decir, 101s0000. ste es aproxirnadamente el ntnrero cle estados cle tles mquinas de Manchester juntas. El logaritmo de base dos clel ntimero de estados se conoce por lo general como la "capacidad de alrnacellanriento" de la mquina. Por consiguiente, la mquina cle l\{anchester posee unl qtre la cle capacidacl de almacenamiento de alrededor cle 16-5000 mie'ntr'rs l a m q u i n a d e r r e d a d e n u e str o e j e m p l o e s d e a p r o xi n l a d a r r r cn te l . . Si clc cacla ',ura cle unimos las dos mquinas, deben sumarse las capat--iclirclcs e l l a s p a r a o b t e n e r l a ca p a ci d a d to ta l cl e l a m q r r i n a l cstr l tu r te . [.]sto r l o s permitira afirrnar algo como: "La mqtrina cle IVIulclre'str-r'r'orrlit:ne 64 pistas magnticas, cada una con una capacidacl cle 2 560, v ocho btrlbos e l e c t r n i c o s c o n c a p a ci d a d d e I 2 8 0 . El a l r n a ce n a n r i e n to co m b i n a cl o a sc i e n d e a p r o x i m a d a m e n te a - 1 0 0 ,l o q tr e h a ce t n to ta l d e 1 7 4 1 8 0 ." Sobre la base del cuadro qlle corresponrle r nna rnquina cle estado discreto es posible predecir lo que har sta 1'no hav razn por la rltte una computadora digital no pueda efectuar este clctrlo. Si este clculo se llevara a cabo con suficiente rapidez, l:r conrputadora <ligital podr-a irnitar el el comportamiento de cualquier rnqr-rina de estado discreto. As pr-res, juego de la imitacin podr'a llevarse a cabo con la rnquina en cuestirl (como B) y la computadora digital que la imita (crinro A); v cntonces el examinador sera incapaz de distingr-rirlas. Desde h-rego,la comptttadot'a digital debe contar con una capacidad de almacenarniento aclecucla, as como funcionar-con suficiente rapidez. Adems, clebe ser t'eprogt'atn:rda para cada nueva mquina que tenga qr-reirnitar. E s t a p r o p i e d a d e sp e ci a l d e l a s co n r p u ta d o r a s cl i g i tn l cs ( sr r ca p a ci r l a cl cl e i m i t a r c u a l q r , r i e rn 'r q u i n a d e e sta cl o cl i scr e to ) se r l e scr i b e cl i ci er r cl o( l u c s( ) n m q u i n a s u n , e r s a l e s.l .a e xi ste n r :i a d c n r h q r r i n a s co n r .'sta r r r r r i ctl l r tlti cttc l a i n - r p o r t a n t e c o n s e cu e n ci a cl e r l r r e , i r r cl t: - r cn cl i cn te l n t'r r ltl t'c l :r s i 'o l l si tl e

6)

Y I,A IN |III,ICENCIA DE COMPU'TACION LA MAQUINARIA

) N Yl r \ IN l l i l .l ( ;l ;N ( l ,\ T , A M A QU IN AR IAI) tr ( - ( ) N 1 l 'L ll ( A(

6 .1

nrqtlinas ntlevas l.aciones de velocidad, no es necesario clisear cliVe-sas prra que realicen los diferentes procesos de crnptrto, plles todos ellos peden llevarse a cabo con una complltadora digital adecradamente prog]'amada para cada caso. Por consiguiente, \'emos que las computadoras cligitales son en cierto sentido equivalentes. Consider-enros ahora la cuestin que surgi al final de la seccin 3. Se srrgir.iri tcntrtivatnente que la pregunta "Pueden pensar las mquinas?" tlrl;t'r.a scl. sLlstiticla por "Existen computadoras digitales imaginarias bien en el juego de la im it ac i n ? " S i s e d e s e a , p o d e m o s t r re rarticirrr'an iolnrtrlrr cstl pregunta de una [lanera ms general, diciendo: "Existen rrricrr inas clc e stado cliscreto que .iugaran bien?" Pero en vista de la propieclaclde rrniversalidad, observamos qLle cada una de estas preguntas es equir'rlente a: "Fijemos nuestra atencin en una computadol'a digital especfica ( '. Es cierlo que al modificarla para obtener un almacenamiento adecuado, srr r,elocidad de accin aumentara satisfactoriamente v que dotndola con iln programa apropiado, C podra desempear adecuaclamente el papel de A en el iuego de la imitacin, si un hombre desempea el papel de B?"

b i e r i c s t a b l e c i c l o s ] r r ci ah ccl r o s b i cn csti r b l t'r 'i r l o s, si r t t u c i r r l l tt\:u t :r ttt:ts e n e l l o s c o n . j e t t r r a s n te j o r - a cl zr s.N o l r i r l r r i i c( ) n l r :r l i tttt r ,,s,\i r 'r r l ,r ''\( tt:l tl ( l ( ) q u e c l e c l a r o c u l e s so n l o s l l ccl l o s co r tt r tr r l xttl ,r sY t tr :i l t's, l :ts t.tr r 'l ttt:ts. E s t a s r l t i r r a s s o n d e g l 'a n i n l p o t'ta n ci a , to t- t ttt'sr tl ti t'tt'l tl tr tt';t';r l r 'i r r r t'sl i gacin rtiles. P r o c e d e r a h o r a a co n si d e l 'a r o D i n i tl r tcs co ttl tl tt i :ts r t l ;t r r tl :t.

[n obje.citirr teolgr ct t E l p e n s a m i e n t o e s u n a l u n ci n cl e l a l n r a i n n r o t'l r r l r l cl l r ,,r r r l tr ','.I) i ,s l t:t p r o p o r c i o n a d o u n a l m a i n n - r o r ta l a l o cl o s l r s l t,r ttb l t's y tn ttj t'tts, l ) ( 'r r ) r l ( ) a s a n i n g n o t r o a n i m a l , n i ta n r p o co r l a s n l i c r r i r r a s. I) o t r 'o ttsi l l tti t'l tte , ningrn animal o mquina puecle pensar-.r g tl n l e tr to , i r tte n A u n c u a n d o n o p u e d o a ce p ta r r ti n g u tta p a r te cl e e ste l t tar dar una respuesta en trminos teolgicos. El argtrrrtellto llre parrecer'a ms convincente si se clasificara a los animales iunto cotr los lrtlmbres pues, a mi juicio, existe n-rayor diferencia entre lo tpicanlente animado y lo inanimado que entre el hombre y otros animales. El car-cter arbitrario del punto de'u'ista orlodoxo se tofna ms patente si consicleramos cmo lo percibira un miembro de otra comunidad religiosa. Cnro consicleran los de alrna? cristianos el punto de vista musulmn de que las mtr.ierescrr.ecren Pero dejemos esto apalte v regresemos al argtlmento lrinciral. Me parece que ei argLlmento antes mencionado implica una g|ave |est|iccirin a lr cosas omnipotencia del'l'odopode|oso, ya que aclmite qtre existert ciet-tts l1o que Dios no puede hacer, como el que tlno sea i.etralrclos. I'et o lCtSO a ttrr clef.rnte deberamos creer que l tiene la libertad de confe'r'irle rlrnr cslc poder si lo considera justo? Podran-ros esperal qtre ,1stil() e.ie|ct'r':r j u n t o c o n u n a m u t aci n q u e d o ta r a a l e l e fa n te c( ) n r .l n cttc[ tr r ttl cctta cl a m e n t e m e j o r a d o p a r a a te n d e r l a s n e ce si d a d e s cl e e sl t:r l l tr r t. l 'tl ctl c l o t'ttr tttlc las tttlitttirtas. larse un argumento exactamente similar par-zrcl c::tsr., "cligcrir'". l'ct'o erl cle <lifcil porqlle nrs resulta parecer diferente Podra realida esto slo significa qlre creenos que ser'a nrerlos rlolrablc .trc l considerara las circunstancias adecuadas para conle t'it' tttt tltrttt.Las cit' c n s t a n c i a s e n c u e Sti n Se e xp o n e n e n e l r e st,r cl e e s[e e l l s:l l o . Al i n l t'r l ta r ' it't'cvtrl-clttcconstruir mquinas de esta natut'aleza tlo clebentrts Llstll'Prl' que itl plrrt'l'c:ttlo Solns de 16 no mS mente Su poder de crear almas,
I Es te p nto de r .i s ta q u i z re s r: l t e h e r t i c o . S a n t o l ' o n l s c l e A c l t t i t t o (s t t t t t (t I t \ ' l t \ ! t t t , c i tado por - Ber tr and R uss t l l [ 1 9 4 5 , p . -1 5 8 ] ) a f i rl l a q t rc I )i o s n o p t t t ' t l t ' l t : t t e t t t t t ' . t t t r l t o rrrh t t ' ar ,- " r c c l c al m a. Si n emb a rg o , t a l v e z e s t o n o s e : r u n a l e s t l i c c i rt r t r' : t l t l t ' S t l I ' o t l c t , s i l l o l a l l s r i l r r c s l tado dc l he c h o d e q e l e s a l n t a s c l e l l t o n rb re s o n i t t l l ro l l ; t l c s t , rn t t o t t s i l t t t i t ' t t t t l , i ndc s tr r r c ti bl es .

PRINCIPAL A LA PREGUNTA 6. Optt'tloNEScoNTRARIAS s e pt ' epar el t e r r e n o v q u e e S t a m o Sl i s t o s a t e Vr [ ' oclcn tos corrsidel u' t lt ot ' qt t ( ) l' ll( ) a llllc s t l' a pl' e g t l n t a : " P u e d e n p e n s a r l a s c lc bit le c ll r a lu rro crt'tlt'r'a l t le s t a c t t c nt c nc itt n a l l l o s a l f i n a l d e l a l t i m a rr r:irrrirr:rs?" r'r l a v u- iat r t c por conlpleto la forma orist't't'irilr. Sirr t'rrtlr atgo, t t < t r oc lc t r r osabt t r c lolt a r 1irrl tl,'l rrrrlrlt' t a, [ ) c s t ( ) t t r c I aI r ' lr dif ' c enc i a d e o p i n i o n e s e n c u a n t o a l;r rt'r'l inr'n t'irr tlt ' l: t s t t s lit r t ' i r lr t ' , : r l t nc lr os , c l e b e m o s e s c u c h a r l o q u e h a y , r rt' tlt't'it' :rl t t'spc t : t t l. L rr t'u t'sti<in s c s ir npli{ ic at ' : t p: r r a el lec t or , s i e x p l i c o p r i m e r o m i s o p i rr io rresul tcsp cct o. Cons ic lr es een pr inr e t - ains t a n c i a l a f o r r n a m S p r e c i s a A t r t i jt r ic io, apr ox im ac lam ent e d e n t r o d e 5 0 a o s s e r p o tl.' ll rrcgrrn tr. siblc rrogt'arnal computadoras con una capacidad de almacenamiento de :rlrededor de l0e para que tomen parte tan bien en el juego de la imitacin, crreel examinador promedio no tenga ms de 7}a/o de probabilidad para lograr la identificacin correcta ltrego de cinco minutos de preguntas. La pr-egunta original "Pr-redenpensar las mquinas?" es, desde mi punto de vista, demasiado insignificante para que amerite discusin, No obstante, creo que a finales del siglo el uso de las palabras v la opinirin eclucada general se habrn modificado de tal manera que se podr hablar cle mcltrinas que piensan sin esperar que lo contradigan. Tambin creo que de nada sirve ocultar estas opiniones. Es bastante errneo el punto de vista popular de que los cientficos proceden inexorablemente a partir de hechos

I,4

Y I,A IN.|ELI(]ENCIA DECOMPU.IACION LA IVIAQIJINARIA

L r \ l v l A QU IN AIi l A I) l r ( ( ) N l l 'tl l ,\( l ( ) N ) l '\ l N l l .l l ( ;l ,N ( I \

()r

hiios: somos, en ambos casos, instrtlmentos de Stru'oltlntad lar-a 1rl'op()rr' ion ar re cin tos a las alnr as qr r c l c r ea. Sin en rba rgo , e s t o no es nls qt t e t lna I ner a e s p e c t l l a c i n . N o n t e i m p r e sionan sobremanera los argumentos teolgicos, sea lo qtle sea qtte intenten srrstentar. Ya han rcsultado ser insatisfactorios en el pasaclo en ms de una ,,crsi<in. En la poca de Galileo se alegaba que las frases "El sol se detuvo a poner s e, c as i un d aent er o" ( J o s u l 0 : 1 3 ) l " 'H a s e s t a v n() sc zrp r-esrrr lrlt'ciclo lrtien'a sobre sus bases, para que nrlnca despus vacilara" (Salmos 104:.5)conslituan reftttaciones aclecuadas a la teora de Coprnico. Con r n rcst r1)conc-rcilniento actual, esos argumentos parecen ftiles, pero cttantlo rro se clispona de ese conocimiento catsaban rtna impresin bastante rl i l e ren te. In obiecirt de la "cabeza en la atena" "Las consecuencias de que las mquinas pensaran seran demasiaclo terribles. Esperemos ] creamos que no pueden hacerlo." Este argumento rara vez se expresa tan abiertamente, pero nos afecta a lr mayora de los que pensanros en ello. Nos gusta creer qtte el l-rombre es, en cierto modo, superior al resto de la creacin, pero sera mejor si pr-rdilarnos demostrar que es necesariantenle superior, pllesto que as no habra religro de qr-reperdiera sr.rposicin dorninante. La popr-rlariciad del argLrnr e nto te ol gico s e r elac iona c lar am ent e c on e s t e s e n t i m i e n t o , q t t e p r o b a lrlt'rnerrlc sea nrs fuerte entre los intelectuales, porque ellos','aloran lls , ' l rorlcl clcl pe ns am ient o que ot r os v s e s ient en m s i n c l i n a c l o s a b a s a t -s L t s , r rirrion c-s cr-rla s upelior ic lad que es t e poder le o t o r g a a l l l o m b r e . No collsiclero qr-reel argunrento sea lo suFicientemente impor-lante pala rr reu lrrerile un a l ef t r t ac in. Ser a m s adec uad o o l r e c e r u n c o n s u e l o : q u i z t'sto tlc-Lrera buscarse en la transmisracin de las alrnas.

Itt obj ec i.tt tn atet tt t i ca I-'lxisten muchos resultaclos de lgica matemtica que pr-reden utilizarse para demostrar que hay limitaciones al potencial de las mquinas de estado r,liscreto. El ms conocido de estos resultados es el que se conoce como el teorema de Gdel ( l9l I ), el cual demuestra que en cualquiersistema lgico lo rrf'"t-r,"mente poderoso es posible formularenunciados que no pueden comprobarse ni refutarse dentro de ese sistema, a menos de que quepa la posibiliclad de que el sistema en s sea incongmente. Existen otros resulticlos,similares en algurros aspectos, de Church (1936), Kleene (1935), I{,rsser-y I'uring (1937). Este rltimo es el ms conveniente para nuestros

f i t l e s , v a q t l e s r -I 'e - f i cr c r l i t ct'ti u n t'r r t<'l l l r s r r r :i r r r i r u r s, r r i t'r l ri r \ ( l l r ( 'l r ) s r ) l t ( ) s . l' s l o t u c d c n r r t i l i z a l sc cl l l u l i u g u l l r ( 'n l ( ) ( '( ) r 1 l I) i r r :r l i r ':u r r r 'n l r 'i r r r l i r t'r 'l o ['o e j e r t t p l o , s i s e t r t i l i z a c- lte o tt'n xt cl c ( l i i cl cl , l l ( '( e si l i l r r r o s tt'r r t'l i r r l ( u r :r s ;u l ',{l t l o s n t e c l i o s p a r a d escl i b i t l o s si stcn r r sl r i g i r .'o st'r r l ti r l n i r l o s tl t'r n :r t r r r r u r s, a s c o r l o l a s n t h q r ti n :r s e r r t r 'l r i n o s cl t'si sl t'r r r r r s l r i e i r ',r s. Ir l r t'sr r l l a r l ,r t'n c u e s t i n s e r e l - i e r e a un ti p o d cn t q tti r te ( l u ( 'r 'sr "n t'st'n ti :r u l r ;r ( ,r n r l ) u l l l ( l ( ) l 'i l d i g i t a l c o n c a p a c i d acl i n fi n i ta . Esl a l tl e ce cl u e h a ci cr l r r s ( ( ) sl s ( l u ( 't'sl t' tl r o d e m q r - r i n a n o p u ed e l i a ce r . Si se a cl a p ta l u r r u i c r r i r l r xr l r r r t's r ,r r r tl t.r 'u p r e g u n t a s c o m o l a s d e l j u e g o d e l a i m i ta ci r n , l r a b l :'ra l g r r n u c r r r r . 'o r r l t'stu n i e r r n e a m e n t e o q u e n o p o d r r e sp o n cl e r ',n o o l r sl a r r te cr r r r r to ti cr r r r o tt.r r g u p a r a e i l o . D e s d e l u eg o , p u e d e h a b e r m u ch a s l ) r 'e g u l l l r s cl t.t.sl e l i r o , y l 5 q u e u n a m q u i n a no p u e d a co n te sta r p o cl r - a nsr 'r 'c( ) n l e stl cl u ssu l i sl 'a cl o r i a m e n t e p o r o t r a . Esta m o s su p o n i e n d o , cl a r - o e st , q u e l xl r - e l l r to l n e n to las preguntas son del tipo de las qrre pueden contestalsc rrlccuaclanlcrrte c o n 's 'o 'n o '\ 'n o a bi e r ta s co n r o "Qtr o p i n zr u ste cl d e Pi ca sso ? ".Sr b e n to s qr-relas preguntas qr-rela nrqr-rina no puede lesroncler son de este tipo, "col-tsiclerela mquina qlle se especifica de la sigtriente nlanera... Puede esta mquina responder siempr-e 's' a cualqrrier pregunt:r/" Los pLlntos sttspensivos se sustituven con la descrip.rcinde algtrna nrquina cle forrrra estndar qtre poch-aser similar a la que se trtilizri en la seccirn 5. Crrando l a n 'r q r - r i n ad e s c r i ta su a l d a ci e r ta l 'e l a ci n co n r p a r a ti va n l e n te se n ci l l a con la nrquina a la ciral se inten'oga, puede clenrostrarse cuc no habr resprresta o que sta ser err-<inea. Este es el resultacio malenrtico: se afirma qLle pnteb:r qr.relas mquinas adolecen de rrna incapaciclacl a llr qtte no se encuentl'a su jeto el intelecto hurnano. La respuesta breve a este argllment.r es que. atu-l cuanclo se h:r rletet'rninado qtre existen limitaciones al pocler de ctralcluier rnqr-rina particttlar, slo se l-raafirmado, sir-r ningn tip6 1" comptnl.ac'iritt, que rrinqturr cle cstas l i m i t a c i o n e s s e a p l i ca a l i n te l e cto h u m a n o . N o cr e o , si n e n r b a t- g o ,tl r te p tr e d a descarlarse tan a la ligera este punto de vista. Sienrl'e clue se llace la pregunta crtica adecuada a rtna de estas mqrtinas y sta rtrrpot-ciona ttna determinada respuesta, sabetnos qlre esa respuesta debe estrt'eqttivocada v ello nos proporciona una cierta sensacin cle superioriclacl. 'Es iltrso'ia e s t a s e n s a c i n ? N o h a v d u d a d e q u e e s b a sta n te q e n tl i n a , p cr ( ) n ( ) ct'e ( )q tl e deba prestr-seleclemasiada irnporlancia. Tanrbin nos()tt os danr,rs c<ln demasiada frecuencia respuestas incotrectas collto pal'a qtte est irrstil-icaclo e l p l a c e r q L l e s e n t i m o s a n te l a n r u e stl a cl e fa l i b i l i cl a d p t- r t'p a l l e tl c l a s Ir r h u s ctl q u i n a s . A d e m s , s l o n o s p o d e r n o s se n ti r sr r p e r i o r e s e n u n ro t'r si o r r r e l a c i n c o n u n a m q u i n a scl b r e l rq tr e l tcr n o s l o g r - a cl otttl t tttt:z< tti tr lvi tlas rrrttti ll 1o1ts sinrrrltrrearucntcr toria. No habr'a posibiliclad cle r,erncer h o m b r e s n r ts a stttto s ( l u ( 'tl r l a ttt:tt tti tta n a s . E n p o c a s p a l a br - a s,q r - r i zl r a - r 'a d a d a , p e r o q u i z h a va o tr :r s r r r i i q u i r r a s n r r s l r r l r i l cs v ts stl t't'si vl l tl t( 'l ) tc.

i:i

:
l: t

66

LA MAQT]]NARIA DE COMPUTACION Y LA INI'ELICENCIA

LA MAQUINARIA DE COltlPU l A(ltONY L\ 1Nl rlt-l(lEN(ttA

67

Creo que los que sostienenel argumento matemtico estarandispuestos a aceptar el juego de la imitacin como base de discusin. Los que crean en las dos objecionesanterioresprobablementeno se interesenen ninguno de los criterios. d e Ia c o ttc i ettci tt E l a rg u rrre n to Este argumento qued bien expresadoen el discurso ceremonial que en I 949 ofi-eci el profesor Jefferson v del cual cito:
que una mquina No podremos aceptar que la nrquina iguala al cerebro l'rasta a pensamientos pueda escribir un s()netoo componer un concierto en resptlesta y emocionesexperimentadasy no mediante una cascadaaleatoria de sn1bolos. (Esto es, no slo escribir el soneto, sino saber que ha sido escrito.) Ningrn mecanismo podra sentir placer por sus xitos (y no meramcnte en-ritirartificialmente una seal, fcil artilugio), experimentar pesar cuando se tunden sus vlr'.ulas,ni sentirse enternecido por los halagos o miserable por sus elTores, nl encantadapor el sexoo enfadadao deprimida cuando no consiguelo que desea. Este argumento parece ser una negacin de la validez de nttestra pmeba. De acuerdo con la forma ms extrema de esta postura, la rnica manera en mqtrina que podramos estar seguros de que una mquina piensa es -ser-la v sentirse uno mismo pensar. Podramos entonces describir estos sentinrientos al mundo pero, desde luego, nadie se sentira.iustificado por prestar atencin. De igual manera, segn este punto de vista, la rnica forma de saber que un hotnbre piensa es ser ese hombre en paictllar. De hecho, se trata de un punto de vista solipsista. Tal vez sea la opinin ms lgica cle sostener, pero hace difcil la comunicacin de ideas. A puede creer: "A piensa, pero B no", nlientras que B opina: "B piensa, pero A no". As, en lugar de entablar una discusin continua en torrlo a este punto, se acosttrmbra recurrir al corts convenio de que todos piensan. Estoy seguro de qr-reel profesor Jefferson no desea adoptar este punto de vista extremo y solipsista y quiz estara dispuesto a aceptar el juego de la irlitacin a modo de prueba. El juego (sin el jugador B) se utiliza a a fin de descubrir si rnenudo en la prctica con el nombre de viva \,to7-, l'ealmente se comprende algo o si se ha aprendido "como perico". Esctlchemos una palte de este intercambio de viva voz: ExatrLtndor: En la primera lnea de su soneto usted dice: "He de contpame con un da estival". No sea igual o mejor hablar de "un da primaveral"? Testig,o: No tenda mtrica. Exatninadorj Qu le parece "un da invernal"? As rimara mtricamente. Testgo: S, pero a nadie le gustara que lo comparasen con un da invernal.

E x a t t t i t t o c l o r . ' D i r a u ste d q tr e e l se o r M a r n l e r - e cr r e r cl a a r r ste d l a navidad? Testigo: En cierto modo s. Exantnador.' Sin embargo, la naviclacl es un da ilrvernal \ no creo qLre al seor Marn le molestara la comparacitr. Tesligo: No creo qtre lo diga en serio. Al decir da invernal Llno sLrr-efiere a un da de invierno tpico y no a uno especial como lo es el cle navidad. Y as sucesivamente. Qu ciir-a el profesor.Iefiel'son si la n'rquin acapazde escribir sonetos ptrdiera responder de viva voz cle esti ntrnera? No s si considerara que la mquina estara "emitiendo tan scllo una seal de manera artificial" al contestar as. No obstante, si las resptrcstas fueran satisfactorias y frrndantentaclas como en el pasaje anterior, r)o cr-eoque las describiera como "un fcii artilugio". En mi orinin, con estr'asc se pr-etende cubrir dispositivos tales como la inclusirn dentl'o cle la mquina de una grabacin de alguien leyendo un soneto, c()n un internrptol aclectrado para encenderla cada vez. En resumen pienso entonces que la mayor'a cle los pzrrtidar-ios cle este argumento de la conciencia podran ser convenciclos cle abrnclonarlo en lugarde obligarlos a una postllra solipsista. Quiz entonces aceplen nuestra prueDa. No quisiera dar la intpresin de que creo que la conciencia no entraa misterio. De hecho existen ciertas paradojas en los intentos de localizarla. Sin embargo, no creo que estos misterios deban resolverse nccesariamente antes de que podamos dar resptresta a las preguntas que nos intel'esan en este artculo. Ar gu rn ent o s s r, l: re di y er sa.s i rt c a p a c:i do tle. s Estos argumentos tienen la forrtra de "Acepto que puedas hacer que las mquinas hagan todo lo que hasta ahora has mencionado, pero llunca podrs hacer que una de ellas haga X". Son mltiples las calactersticas X qlre en este sentido suelen sugerirse. A continuacin ofi-ecer una seleccin de ellas: La capacidad de ser amable, ingenioso, hermoso, amistoso, cle tener iniciativa, sentido del humor, de distinguir lo bueno de lo malo, de cometer errores, de enamorarse, de disutar las flesas con crema, cle lograr que alguien se enamore de ella, de aprender-de la experiencia, de trsar-palabras correctamente, de ser sujeto del propio pensamiento, cle tener la nrislua diversidad de comportamientos que el hombre y de hacer also en verdad novedoso. Por lo general no se ofrece ningn ftrndamento para estas afirmaciones. Pienso qr-re en su mavora se basan en el principio de la induccin cienl[ica.

LA MAQIJINARIA DE CON{PUTACIN Y LA IN]'ELIGENCIA

LA iVIAQUINARIA IIE COl\'lPtJl AClOl'J Y LA lNl 11t,l(lFN(llA

Un hombre ha visto miles de mquinas en el transcurso de su vida y, a paflir de lo que obsen'a en ellas, deduce algunas conclusiones gener.ales: son feas, el diseo de cada una es para un propsito muy limitado, no sirven cuando se las necesita para trn propsito detalladamente distinto, la variedad de compoftamiento de cualquiera de ellas es muv restringida, etc. Naturalmente, concluve que stas son plopiedades nec"sarias de las rnquinas en general. Muchas de estas limitaciones se asocian a la muy pequea capaciclad de almacenamiento de la mavora de las mquinas. (Estoy suponiendo que la idea de capacidad de almacenamiento se ampla de alguna manera para incluir otras mquinas, adems de las de estado cliscreto. No imporla su definicin exacta, pues no se requiere precisin rratemtica en la presente discusin.) Hace algunos aos, cuando an se haba odo muy poco de las compuladoras digitales se poda suscitar una grar-rincredulidad respecto a ellas, si se mencionaban sus propiedades sin rlescribir su constrarccin. se puede suponer que esto obedeca a una aplit:rcinsimilar del principio de induccin cientfica. Estas aplicaciones del principio son, desde luego, en gran medida inconscientes. Cuando un nio tiene miedo al fuego tras haber sufrido una quemadura v manifiesta este ternor evitndolo, vo dira que esta haciendo uso de la induccin cientfica. (Por supuesto, tambin podra describir sll comportamiento de muchas otras maneras.) Al parecer, las obras v costumbres de la humanidad no constituven un material mu-v adecuado para aplicarle la induccin cientlica. Si han de obtenerse resultados confiables debe investigarse gran parte clel espacio-tien-rpo, pues de otro modo podramos decidir (como la mavor-ia clc lo s ni os in gles es ) que t odo el m undo I r a b l a i n g l s ! 'q u e , p o r c o n s i grtiente, es absurdo aprender -ancs. Sin embargo, cabe hacer lagunas obsen'aciones acerca de n-iucl-rasde lzrs incapacidades hasta ahora mencionadas. La incapacidad de disfrr-rtar ile las fresas con crema pudo haberle parecido frvola al lector. Ouiz podra construirse una mquina que disfirrtara este delicioso postre, pero cualr-trier intento en este sentido sera tonto. Lo importante de esta incapacidad es qlle contribuye a algunos de los otros impedimentos, por ejemplo, a la clil'icultad de que se establezca entre hombre y mquina el mismo tipo de rmistad que puede existir entre dos hombres blancos o entre dos hombres rlegros. La afirrnacin de que las "mquinas no pueden corneter errores" resulta curiosa. Uno se siente tentado a replicar "Acaso son peores por eso?" Adoptemos una actitud rns comprensiva e intentemos ver qu significa leaimente. Creo que este tipo de crtica puede explicarse en los trminos clel ju eg o d e la i nr it ac in. Se af ir m que el e x a m i n a d o r p o d a d i s t i n g u i r a la mquina del hombre simplemente forrnulando algunos problemas de aritmtica. La mquina se delatara sencillamente por su implacable ex-

actitud. La rplica al respecto es sencilla. La mqtrina (pr-ogranracla par-a a los proparlicipar en el juego) no intentara dar las resplreslas CoffeclQ.s calert'or-es delibelacin con que introclucia sino de aritmtica, tl"-ur culados para confunclir al examinador. Una falla mecnica se Lrlanifestara en cllanto al tipo de probablemente a travs de una decisin inadecr.trda e q u i v o c a c i n q u e s e co m e te e n a r i tn - r ti ca . Il l cl tl so e sl a i n te tp r - e ta ci n de la crtica no es suficientemente comprertsir,a. Pero no clisponeuos de espacio para prolundizar ms en ella. Me parece que esla crtica tlepende de la conftlsin enlre dos tipos de erl'ores, a los qr-rerotlcnros llanlar "errores de funcionamiento" \, "elt'ores de concltrsi(1n". I-t.rsrlimeros obed e c e n a u n a f a l l a m e c n i ca o e l ct i ca q tte o c- i r si o n a q tte l a I c tti n a se compofie de un moclo diferente al crrese cliseitrl. [1n las cliscrrsiorles filoecttivocaciones: se sficas se pre[iere ignorar la posibiliclacl cle este lipo cler "mqr-rinas r-ealiclaclficciones en qe sorl rbstlactas", habla entonces de it-tcapacescle coson dc-finicitl, Por f-sicos. que objetos ms matemticas al-irmeter et-rores de funcionamiento. En este sentido pocletttos tle vet'rs mar que "laS mquinas ntlnga Comelen el-rol-es".l-os ellot'es cle ctlrlclrrsin slo ie proclllcen cuando se confiere alprin sigil'icaclo a l:is seiiales de s a l i d a d e l a n r q t r i n a . sta p o d r a , p o r e j e n 'r p l o , e so i b i r cctt:r ci o n e s n r a te mticas u oraciones en ingls. Crrando se escribe ttna llroprisicirrl falsa' decimos que la n-rquina ha inctrrr-ido en un errolclc conchtsitin. Es t-viclente que no existe moti.''o aigur-ropata afitrnal-qttc r-tnanlcttitla no pttecle co"() |" trna meter este tipo cie error; quiz no haga otlr c()sa cltte esct'ibit lrrtoclo algirn v otla vez. Para dar trn ejemplo menos pclYel's().poch a haber tal esret'at'(ltle Es cle r:ientfica. pa.. obte,'rer concltrsiones p()r incittccin rntodo produzca a veces resultados errlleos. La afirrnacin de que una rnquina no puede ser sttieto cie str p|opio pensamiento slo puede responderse, clarq cst, si pLrecle<lelnostrrrse qr-rela mquina piensa aigo acerca de rtlgtitt asLtnto. No obstante, "el tema s u j e l o d e l a s o p e r a ci o n e s d e ttr r a m q L i n a " p a r e ce si g n i fi ca r a l g o , r lm cn o s p a r a l a s p e r s o n a s q u e tr a ta n co n e l l a . Si , p o r e i e r n p l r r , l a n th q tti n a i n te n ta t'a e n c o n t r a r t r n a s o l uci n a l a e ctta ci n .r 2 - 4 0 .t - I I - 0 , e sta r - a n l ( ) ste l l ta clos a describir esta ecuacin corno pal'te clcl tema stt.ieto clc la nrqtrina st- r 'si ttcl tr d a sr p r o p i t- r e n e s e m o m e n t o . E n e sl e se n ti d o , l a m < u i n a 1 'r o cl r 'a s u j e t o t e m t i c o , l o cl r a l p o cl r a n ti l i za l se co r n o a yu d a e r e l cl i se i r o cl e stts p r o p i o s p r - o g r a m a s o p a r a p r e cl e ci r e l e fe ctt cl e a l te r a ci o n e s e n sl l p l l ) p i a estrllctura. Al obser-var los resultados de su plorio conr rol-tantiertto, ptrede nrrdificar sus propios progr-amas para lograt'algrn pr-oprisito con nrayol' e f i c i e n c i a . s t a s s on m s b i e n p o si b i l i d a d e s d e l fi l ttr r o ce r ca n o q tte str e i r o s trtpicos. La crtica acerca de que una mqltina Iro pttecle exhibil gran cliversidad de conductas es slo una fftanera de decir que lrt) pllede tc-ner glan capa-

70

LA MAQUINARTA DE CO]!,lPUTACION Y LA INIELIGENCIA

LA MAQUINARIA DE CON{PUI'ACION Y t.A INIFI.ICIlN(llA

77

cidad de almacenamiento. Hasta hace muv poco tiempo se consideraba r-ara una capacidad de almacenamiento de hasta 1 000 dgitos. Las crticas que hemos considerado aqu a menudo son formas c]istrazadas del argumento de la conciencia. Por lo general, si uno sostiene que rrna mquinapuedehaceralguna de estas cosas, r,describe el tipo de rrtodo clue podra utilizar la mquina, no causar gran impresin. Se cree que el rultodo (cualquiera que ste sea, aunque debe ser mecnico) es en realidad bastante deshonesto. comprense los parntesis en el discurso de Jefferson qr-recitamos en la pgina 68.

In objecirt de lLdt, Lot'elace La informacin ms detallada que tenemos acerca de la mquina analtica cle Ba bb ag e p rov iene de las m enr or ias c le Lad , r 'L o v e l a c e ( 1 8 4 2 ) . E n e l l a s la dan-ra afirma qtre: "La mquina analtica no pretende crear nada. puede lrrcer/o qt4e sea quesepatltos ordenarle [las cr-rrsivasson cle ellal." Hartree ( 1949) cita esta afirmacin y aade: Esto no implica que sea imposible constmir equipo electrnicoquc "piensepor s nilsmo" o en el que, en trminos biolgicos, pudiera diserlarseun reflejo c.ndicionado que sirviera como basepar.ael "aprendizaje".El clucesto sea o no posible en principio es una pregunta estimulante y emocionante,sugerida por algunos deestos avancesr-ecientes. Pero no parece que la mquina Crnstrulda o provectada en ese entoncestuviera esa propieclacl. Concuerdo por completo con Haflree en este punto. Se obserlat. que l no afirma que las nrquinas en cuestin carecan de esta propiedad, sino clue la informacin con que contaba Lad-vLovelace no la induca a creer que la rnquina la tuviera. Es bastante probable que las n'rquinas en cuestitin tuvieran en cierto sentido esta propiedad. Supngase que alguna mcuina de estado discreto posee esta caracterstica. La mquina analtica ela una cor-r'rputadoradigital universal tal que, si su capacidad de almaceI la nrie nto y su veloc idad er an adec uadas , pod a s i m u l a r a l a m q u i n a e n crrestin mediante una programacin adectrada. Probablemente este aF gLrmento no se le ocurr-i ni a la condesa ni a Babbage, pero, en cualqr:ier caso, no tenan Ia obligacin de afirmar todo lo que poda afirnarse. Esta cuestin en su totalidad ser considerada otra vez en la seccin titulada Mquinas que aprenden. Una variante de la objecin de Lady Lovelace sostiene que una mquina "nunca puede hacer algo realmente nuel'o", fi'ase que puede replicarse por el rnomento con el refrn "No hay nada nuevo bajo el sol". Quin puede afirmar con certeza que el "trabajo original" que Babbage realiz no lue

sino el desarrolio de una semilla que sembr en l el apredizaie o el efecto de principios generales subsecuentes bien cgnocidos? Unrvariante nlejor formulada de esta objecin afirmara que la mquina nunca puecle "tomarnos por sorpresa", aseveracin qr-replantea ur-r desafo nls franco, que puede enfrentarse directamente. Las mquinas trte sot'prencletr con [recuencia. En gran medida pol-qlle no realizo strficientes clculos qLle me perrnitan decidir qu esperar de ellas o ms bien porqtre, aLllrqlle calcule lo que podran realiz.ar,lo hago de manera apresltracla y super{icial, corriendo riesgos. Quiz me digo a m nrisrno: "strpongo qr-reel voltaje de aqu debe ser el mismo que el de all; si no, stlponganlos qtle lo es'" Desde luego, suelo equiyocarme y el resultado entonces me sgrpreude, porqlre he olvidado estos Supllestos para cuando se lleva a cabo el experimenlo. Estas admisiones me exponen a reprimenclas ace|ca cle nris mtodos viciados, pero no arrojan dudas sobre nri cr-edibilidacl crtando clo-ytestinronio de las sorpresas que he exPementado. No espero que esta rplica aplaque a mi ct'tico, ctrien tal vez responda q u e l a s S o r p r e s a s d e e sta n a tu l 'a l e za o b e d e ce n a tttr a cto ct'ca ti vo m e n tal de mi parte v no confieren crclit.oalguno zrla nrrqttina. lislrt nos t-ernite Esta de regreso al argumento de la conciencia, lejos cle la idea de sot'pr-eszr. la qtriz valga pero ce|rada, lnea de argllmentacin debe consider-arse otro t'eqttict'e sot'pt-enclentc tan algo cle pena adt,ertir que la apreciacin que elsrtceso sot'pt'esivoprovenga tanto de "actividad mental creaclol'a",set co sa . d e u n h o m b r e , d e u n l i b r o , d e ttn a m q u i n a o d e cr r a l q tti e t'o tt''t A mi iuicio, el punto de vista cle qrre las ntqtrinas ng ptreclen sorprender obeclecea la falacia a la que se encuenlr'an particttlalrnente stt.ictoslos filsofos y los nratemticos: la strpc)sicin de qtre tan pronto se pt'escnta tln hecho a la mente, todas las consectrencias cle ese heclrcl irntrttrir-n sirr-rtrltneamente en la mente jtrnto con 1.Esta strposicin restrlta clc glarr rrtiliclad en muchas cicunstancias, pero solenros olviclar con cletttasiaclal'acilidad que eS falsa. Una consecttencia natttral es sllponer qtle llo haV virtrlcl en el mero clcnlo de las consecllencias a partir de clatos v prillcipios generales.

El argrurtento de la t:<ttttittuicloddel sistettta tten'ittso Ciertamente el sistema nen'ioso no es Lllla rnquina de estaclrlcliscl'eto' Ur-l pequeo error en la infornracin acerca de las dimensioncs del in]pulso nenioso que incide en Llna neurona puede mal-car tlna gran difercncia en las dimensiones del impulso de salida. Podra argiiirse que, siendo as, no podemos esperar Ser capaces de in]itar el comportamiento dcl sistema nenioso con un sistema de estado discreto. Es cierlo que una mquina de estado discreto debe ser diferente de tlna

72

LA MAQU]N/\RTA DECOMPUTACIN Y LA INI'ELIGENCIA

LA MAQUINARTA DECO]VIPU]'ACION Y I,A IN'IELICENCIA

73

nrquinacontinua. No obstante,si nos apegamos a las condicionesdel juego de la imitacin, el examinador no tendra ninguna ventajacon estadiferencia. La situacin se aclara ms si consideramosotras n-rquinas continuas rnssencillas.Un analizador diferencialservirabien para nuestros propsitos.(Un analizadordiferenciales ciefto tipo de mquina que no es del tipo de estadodiscreto que se utiliza para algunos tipos de clculo.)Algunos de ellos proporcionan sus respuestasen forrna mecanogrfica v por ello son irdecuados para parlicipar en el juego.Aun cuando una computadora digital Iro podra predecir exactamentelas respuestas que dara a un problema el analizadordiferencial,s sea capazde ofrecerel tipo con'ectode respuesta . Por e.jemplo, si se le pide que d el valor de n (aproximadamente3.1416), serarazonableseleccionar aleatoriamente entre los valores3.12,3.13,3,14, 3 .15,3. 16c on pr o b a b i l i d a dd e 0 .0 5 ,0 .1 5 ,0 .5 5 ,0.19,0.06(por ej empl o).E n estascircunstancias sera muy diFcil que el e.xaminadordistinguiera el analizador diferencial de la computadora digital.

El argumento de la hl'onnalidad del conqtortanento No es posible producir un conjunto de reglasque pretenda describir lo que una persona debe hacer en cada gr-upode circunstanciasconcebible. Porlr a, por ejemplo, haber una regla que dictara que debemosdetenernosal i,trr la luz roja de un semforo y avanzar cuando la luz cambie a verde. lrlnpero, qu sucedera si por algn despel'fectoambas aparecieran al ru ismo tienrpo? Tal vez se decidira que lo ms seguro sera detenerse.No irirstante,ms adelantepodra surgir otra dificultad a raz de estadecisin. lntentar proporcionar reglas de conducta que cubran cualquier eventuaiiclad,incluso las que surjan a partir de las luces de los sernforos, parecera irr-rposible. Concuerdo con todo esto. A parlir de lo dicho se alega que no podemos ser mquinas. Aunque tenlo que difcilmente le har justicia, intentar reproducir el argumento, .'l cttal al parecer discun'e as: "Si cada hombre contara con un conjuntcr rlc-linidode reglas de conducta mediante las cuales normara su vida, no ser'amejor que una mquina. Sin embargo, puesto que no existen tales lcglas, los hombres no pueden ser mquinas." Es evidente que el centro no est distribuido. No creo que el argumento hava sido planteado en esos tr-minos, pero pienso que aun as, ste es el argiumentoque se utiliza. No olrstante,puede surgir cierta confusin entre "reglasde conducta" y "leyes cielcomporlamiento" que enturbie el asunto. Por "reglasde conducta" me le l-ieroa preceptos como: "detngasecuando vea la iuz roja", a partir de los cttalesuno puede actuar y d,elos cuales se est consciente.Por "leyes clelcomportamiento" me refiero a las leyesde Ia naturalezaque se aplican

a l o r g a n i s m o h u m a no co m o "si l o p e l l i zca s, ch i l l a r - ". Si str sti tu i r n o s "l e ye s de conducta mediante las cuales normara srr vida "p.r "leyes clel r,,rnportamiento que norrnan su vida" en el arElrrnento cit:rclo, el centr-o sin distribuir dejara de ser insalvable, va que consideranr's que no slo es cierto que el ser nor-mado por leyes del conrportamiento irnplica ser. algtin tipo de mquina (aunqtre no necesariantenle de estaclo discr.eto), sino lambin que ser una mquina implica ser nornado por esas leves. Sin enrbargo, no podemos convencerrlos a nosotros mismos tan [cilrnentc de la arrsencia de letes cabales dei comportamiento conro cle la cle ler,es cabales de conducta. La nica manera qlle conocelnos para encollll-ar clichas leves es la observacin cientfica y sabenros con certezl que no hay cir-ctrnstancia alguna en la que podamos afirmar: "llenros buscaclo lo suficicnte. No existen tales ley'es." Podemos demostrar de manera nts conclrn'ente que cualqtrier afir-rnacin de esta naturaleza sera in justificacla. Supongarnos que estuviramos seguros de encontrar esas leyes, si es qtre e.xisten.Entonce.s, claclatrna mquina de estado discreto, ciertantente sera posible clescubl.ir..ror.observacin lo suficiente acerca de ella para preclecir su compol-tanliento firturo en un tiempo razonable, digamos unos I 000 aos. No obstante, no pirece s e r s t e e l c a s o . H e i n sta l a d o e n l a co n r p u ta d o r a cl eM a n ch e ste r .u n p e q tr c o programa que slo trtijiza 1 000 rrnidades cle alrnrr:enantiento, ntecliante e l c u a l l a m q u i n a r e sp o n d e a u n n ti n l e r o d e l 6 c1 g i to s( - r ) n o tl l ) e n u n lapso de dos segtrndos. Yo desafiar'a a ctralctriera a cltre a partir- cle estas rplicas aprenclier-a lo suficienle clel prograrra pala rorler yrr-eclecir. cualquier respuesta a ."'aloresno procesados.

El arilttttento de lu pert:epcirht eirasett.scrittl Supongo qne el lector se encllentl'a familiarizaclo con la irlca cle lzr rcrccpcin extrasensorial y con el significado de sus cuatro nrani[strcir)n!.s prinr-:ipales:telepata, clarividencia, precognicin v psicocinesis. Estos [errm e n o s i n q u i e t a n t e s p a r e ce n n e g a r to d a s n l e str a s i d e a s ci e l r t{'i ca s cornllnes. Cmo nos gustara desacreditallosl Por clesgrar:ia, la in[r.rtrnacin estadstica, al menos en lo que a la telerata se reliele, e s abnlnraclora. Resr-rlta muy difcil reodenar nueslras ideas para qr:c incor-poren estos nlrevos hechos. Una vez que los aceptarnos, no parece qlre nos lhlte mtrcho p a r a c r e e r e n f a n t a sm a s , d u e n d e s. As p u e s, r r n a cl e l a s p r i m e r a s i cl e a s que desapareceran sera la de gue nllestl'os LrLrer-pos se nlLre\en sencillamente de acuerdo con las le1,'es conocidas cle la fsica, v con algrrnas ()tras an no descubierlas, pero similares. Este argumento es a rr.rijuicio bastante sliclo. Prrt:clereplicar.se que

F.
il

si
i,

r' {,

I
ii I

74

LA MAQUINARIADE COMPUTACION Y LA INTELIGENCIA

Y LA IN ' I' E I-IC IE N C IA LA N ,IA QU IN A R IA D E C ON ,P U TA C ]I()N

muchas teoras cientficas sigllen funcionando en la prctica, pese a que se encuentren en conflicto con la percepcin extrasensorial (eES).De hecho, podemos arreglmosla muy bien si nos olvidamos de ella. Sin embargo, esto ofece poco consuelo y sentimos temor de que el pensamiento sea precisamente el tipo de fenmeno en el que la pgs resultara especialmente irirportante. Un argumento ms especfico basado en la pgs podra decir: Jugemos el juego de la imitacin utilizando como testigosa un hombre qlre sea bueno para la recepcin telepticay a una computador-a digital. El examinador puecle formular preguntas como: "A qu palo corresponde la baraja que tengo en la mano derecha?"Ya sca por telepatao por clarividencia,el hombre proporciona la respuestacorrecta I 30 vecesen 400 barajas.La ntquina slo puede adivinar al azar y quiz slo acierte 104 veces,por lo que el examinador logra la identifi cacirn correcta. Aqu se abre una posibilidad interesante. Supongamos que la computadora digital contiene un generador de ntmeros aleatodos. Entonces resultar natural utilizarlo para decidir las respuestas que hay que dar. No obstante, entonces el generador estar sujeto a los poderes psicocinticos del examinador y quiz esta psicocinesis pro\:oque que la mquina aciefte con mayor frecuencia que lo esperado segn un clculo de probabilidades, as qLle el examinador seguia sin poder hacer la identificacin correcta. Por otra pafte, el examinador podra adivinar acertadamente sin preguntar, leculriendo a la clarividencia, pues con la pES todo puede suceder. Si se admite la telepata, sera necesario hacer ms rigurosa nuestra pr-Lleba.La situacin podra considerarse anloga a la que ocurrira si el examinador estuviese hablando consigo misrno y uno de los competidores lo escuchara a tra\s de la pared. Para llenar todos los requisitos satisfactoriamente, habra que situar a los parlicipantes en una "habitacin a prueba de telepata". 7. MoulNas euE ApRENDEN El lector habr anticipado que no poseo argllmentos muY convincentes ni positivos para apovar rnis opiniones. Si los tuviera, no me irabra esmerado en sealarlas falacias de las opiniones contrar-ias a las mas. A continuacin proporcionar la informacin que poseo. Volvamos por un instante a la objecin de Lady Lovelace, que afirmaba que la mquina slo pude hacer lo que le decimos que haga. Podra decirse qlle un hombre puede "invectar" una idea en la mquina y que sta responder hasta cierlo punto y luego quedar inmvil, como la cuerda de un piano a la que se ha propinado un martillazo. Otro smil sera una pila

atmica menor que el tatnao cr'tico; r-rtraidea invectacla corrrlsponde a un neutrn que entra en la pila desde el exte t'iot'. Cacla ttrro dc- r-:stosneutrones producir una cierta perturbacin qlle, a la l:rt'ga, se extingue. Sin embargo, si el tamao cle la pila se increnrenta lo suficiente, es nrtly probable que la perturbacin causada pot'el neutrn qtte entl-a se extienda y aumente hasta que se destrul'a toda la pila. Existe ttn fenmeno correspondiente para las mentes v existe algr,rno rara las nrquinas? Efectivamente, parece que existe ttno pal'a la mente lrttntatra. La tlayoria de stas son, al parecer, "subcrticas"; es decir, corresponden ell c'sta analoga a las piias de tamao subcrtico. Una idea presentada a ttna cle estas mentes dara origen, en promedio, a ror lo menos ttna iclea como respllesta. Una proporcin bastante pequea es supercr-tica. Utla iclea rt'esentada a una de estas mentes podra dar origer-ra tocla rtna "teora" de icleassecu ndar-ias, terciarias v ms remotas. La mente de los animalcs pat'ece ser clcfinitiva"'Ptredelomente snbcrtica. Si aceptamos esta analoga pre6Jttntat-enros: grarse que una mqtrina sea supercr'tica?" L a a n a l o g a d e "l a c sca r a d e ce b o l l a " ta m b i n n o s e s ti l . Al co n si d e r a r ' las funciones cle la mente o del cercbro encontl'rmos ciet'trsoleraciones qlre irueden erplicarse en trminos ptlramente mecnicos. I-o qtte decimos cltte clebemos no corr-esponde a la mente real: es ttna especie cle cscat'r en lo que quitar si henros de encontrar la nrente rerl. Etnpet'o, elltoltcre-s, queda encontramos otra cscara qtte hay qrre qr-ritar,v as sttccsivarrente. Si procedemos as llegaremos algtrna vez a lrmcnte "t'eal" o, f inalnrente, n o s t o p a r e m o s c on u n a c sca l a q tte n o ti e l r e n a cl a ? En e stc ( l l ( i r n o ca so , t o d a l a m e n t e e s me c n i ca . ( Si n e n r b a r g o , n o se t'ar r n a ttr q tr i n n tl c e sta d r l d i s c r e t o . Y a h e m o s a n a l i za d o e sto .) L o s d o s r l t i m o s p r r a fo s n o p r e te n cl e n se l - a r g tt tl te n tr r s cttttvi n ce n te s' N4sbien deberan describirse como "I'ecitrcionesqtte tienclen rr producir crdito". Ei nico respldo realmente satisfactorio qlre se ptrcde dar a la opinin qLreexpresamos al principio de la seccin , sera, el que nos pr-oporcionara e1 aguardar al fin del siglo - entonces realizar el experimetrto descl'ito. No obstante qu poden-rosdecir mientras tanto? Qtr pasos clebcn clarse ahora para qlle tenga xito el experimento? Como va expliqu antes, el problen.ra es principalmente de rrogramac i n . T a m b i n h a b r q u e h a ce r - a va n ccs e n l a i n g e n i e r a , p e tr t p a t'e ce i tn probable que stos no satista-ean los reqtrisitos. l-as estimaciorles acel'ca d e l a c a p a c i d a d d e a l m a ce n a m i e n to cl e l ce r e b r o va l 'a n e n tr e l 0 r 0 Y l 0 r s dgitos binarios. Yo me inclino por los valores tns ba.ios y creo qtre slo ul-ra fraccin mttl'pequea se utiliza para los tipos ms elevados de pensamiento. Es probable qure la mayora se utilice pal'a l-etenet'ilnpresiones r.isuales. Me sorprendera qtte se requiriera ms cle l0e cle esta capacidad

76

Y LA INTELICENCIA LA MAQUINARIADE COMPUTACiON

LA ]V{AQUINAIUA IJECOMPU'I'A(]I(iN Y I-A IN'II:I-IL]EN( I;\ Estrxcrturade la mqrrina infantil = rrlatcrial hcrcditar-io Cambios en la mquina infanlil - mutacr()nes Seleccinnatural = itricio clelc.rpc_rirrrerntaclor.

77

pal-a jugar de r-rna manera satisfactoria ei juego de la imitacin, si acaso Blannica, lta. contra un ciego. (Nota: la capacidad dela Enc,r-clo1taedia eclicin, es de 2 x 10e.)Una capacidad de almacenamiento de 107sera una posibilidad muy real, incluso con las tcnicas actuales. Es probable qtte no sea necesario aumentar la velocidad de operacin de las mquinas. Las paes de las mquinas modernas que pueden consider-arse anlogas a ias t:lulas nen'iosas funcionan casi I 000 r'eces ms rpido glie estas ltimas, lo que proporcionar'a rrn "nlal'gen de seguridad" que poda compensar las prdidas de velocidad ocasionadas por diversos motivos. Nuestro probiema, por consieuiente, consiste en clescubrir cmo programar estas mquinas para que parlicipen en el juego. A mi ritmo actual de trabajo, pro<.ltrzcocerca de 1 000 dgitos de programa al da, de modo que unos 60 tlabajadores, trabafando duramente durante 50 aos, podran consurrlar la tarea y eso, si nada fuera a dar al bote de la basura. Sera mejor contar con un mtodo algo ms expedito. Durante el proceso de intentar imitar la mente humana adulta iner,itabienrente se piensa en el proceso que la ha llevado al estado en que se encuentra. Podemos adverlir tres componentes: // El estado inicial de la mente; digarnos cuando se nace. 2) La educacin a la cual se ha sometido. -3/ Otra experiencia a la que se hava sometido, que no se describa como er.lucacin. En vez de intentar producir un programa que simule la mente adulta, r']rol eu no tratar de producir uno que simule la mente del nio? Si sta se sometiera entonces a un curso educativo adecr-radose obtendra el cer-ebro de aclulto. Sr-rptrestamenteel cerebro humano es algo parecido a una libre ta qu e se a dquier e en la papeler a: m uy p r ) c o m e c a n i s m o v m t t c h a s lrcj:rs en blanco. (Mecanismo v escritura son casi sinnimos desde nuestro rrrnto de vista. Nuestra esperanza es que el cerebro infantil tiene un nrer-;inismo tan reducido qr-realgo como l pr-reda programarse fciln'rente. ('orlo una primera aproximacin podernos sLlponer que la cantidad cle tr abaio inverlida en educacin sea la misma que la que se requiere para el nir:l humano. Por consiguiente, hemos dividido nuestro problema en dos partes: el l)r'osl'ama infantil v el proceso educativo. Ambos se encuentt'an estrecha!renle relacionados. No podernos esperar que encontremos ttna btlena m,trina infantil al primer intento. Tenemos qr,reexperimentar instntl'endo r una de estas mqr-rinas y ver qu tan bien aprende. Luego podemos inlentarlo con otr-a y ver si es mejor o peor. Existe una relacin obvia entre {'ste proceso y la evolucin, mediante las identificacioires:

Sin embargo, sera de esperar-seqlle este pl'oces() r-estrltenrs expeclito que la evolucin. La supen'ivencia del ns apto es trn nrtoclo lento pzrra medir ventajas. Ei experimentador, mediante el ejercicio de la inteligencia, clebea sercapaz de acelerarlo. De igual impoflancia es el hecho cleque las mrrtaciones aleatonas no restrinjan este ploceso. Si prrede rastr-err. la carrsa cle alguna debilidad, posiblemente podr inraginar el tipo cle mutrcin cre la lrreior-e. No ser posible aplicar exactarrente el nrismo p.oces() dc enser-ranzaa la mquina qlle a un nio no.nral. Pclr ejenrplo, no se le porrr'n pr()porclonar piernas, por lo que tampoco se le podra Ilene el balde redir qr,reszrlga.1, de carbn. Es muy posible que tantpoco tenga ojos. pet-o aun(lrre estas deticiencias puedan ser sttper-adas lled iante trn astuto cliseiio cle ingenicra, no podemos enviar a la escuela a esta criatura sin quc los clenrs nios se burlen demasiado de ella. Pe.o alstrna i'st^rccin clebe r-ecibir-.No hay que preocuparse demasiado por-las piernas, ojos, ctc. Ei c'lcrnplo cle Ilelen Keller rnuestra que la educacin puede lle'ar-se a cabo sic.r.pr.e iue la comunicacin en ambas direcciones entre nraestro v alrrnlrro se-establezca por alguno u otro medio. Normalnrente asociamos los castigos t' las reconrpensas corr el rrocerso d e e n s e a n z a . A l g u n a s m q u i n a s i n l a n ti l e s se n ci l l a s p u e cl e n co r r stl r r i r - se o programarse sobre este tipo de principio. I-a mclrrina debe constrtrir-se cle tal manera qlre no sea probable qlle se los strcesrs qtre rr.ececlen 'epitan brevemente a la ocurrencia de una seiral de castigo, rnientras qtre rrna seiral de recompensa atrmentar'a ia probabilidacl cle que se repitio-an los srrcesos q u e l a o c a s i o n a r o n . Esta s d e l i n i ci o n e s n o p r e su p o n e n se n ti m i e n to a l g u n o por pafte de la mquina. I-Ie realizado algunos erper-inrent.s con rrna mquina infantil de esta ndole v he logrado ensea.le algunas crsas, per-o el mtodo de enseanza era demasiado poco ()rtodoxo para crnsiclerar que el experimento realmente haya tenido xito. El uso de castigos v reconpensas puede, en el nrej'r de l.s casos, ftrrrnar parte clel proceso de enseanza. I{ablanclo a grandes rasgos, si el pr.ofesor no clrenta con otros medios para conrLlnicarse con el alurnnr, la r:antidad de inforrnacin que ste recibe no excede el nmer-o total cle recompensas v castigos aplicados. Para cuando el nio hubiera aprenclido a repetir."casablanca", probablemente estaria muy adolorido, si el texto slo hrbiera podido ser descubiefto mediante la tcnica de "r,einte preguntas'' y cacla "No" tomara la forrna de un golpe. Por consiguiente, es necesario contar. con otros canales de comunicacin "no enrocionales". Si se clispone cle estos canales, es posible ensear a una mquina, mecliante castios y re-

78

Y LA INTELIGEN( IA LA MAQUINAR1A DE COMPUTACIN

y LA IN .IE I_TC E N C IA LA MA eUIN A R IA D E C OMP LTTA C TN

7e

en e n a l g n l engrra!" .-T:-" l " j t" rl o' (, ) nr pens asa ' ob e d e c e r rd e n e sd a d a s caesos de travs a Estas rdenes se transmitiran ri-;;ri... .'|.', en dt:1::i:tL:ntonces ' E't tt'o rle este lenguaje nales "no y recompensasrequerlclos' "-o.iottul"'' g.^r *"i^ el nmero de castigos que resulte cuanto u lo to-pl"jidad en Las opiniones pueden variar sencilla tan podtlu intentarsehacerla para la In;i;;;;t^"tll aclecuacla n-ianera De generares. con los principios Lromosea posible' lgica inferencia de "";;;;;..;;".ia completo Lrnsistema alternativa, podra tt-tu'" con el almacenamientoestara ocu"integrado" en la mquina'z-Eneste caso' y pl'oposiciones Las proposiciones pado en gran parte ctn definiciones conbien establecidos' ;"; "i"pto"n"thos tendran varios tipos ;; ;;;;' provenleniados enunc teoremas a""-'o't*os matemticamente' ietr-rras, Ia forma lgica de presentar a pese que res ae una autoridad, expresiones proposiciones aleunas l"tlttto rrna proposi.io.' to' "tliltt"aiuiriud' " La mquina debera cons"i-p"rativas"' rlue podran ",t"olil"'torr-r proposicin pronto como se clasifiqtreuna lruirse de tal manera qLletan adela ot:urta atttomticamente accin "Ui"'t imperativa co*o mqurna: ia a dice le "'tablecida" que el profesor "El procuada. Para ilustrar esto' supongamos t^t"ut que el enunciado pLt"" Etlo "Haz tu tarea escola;;;;;:' hechos bien lo-s entre ,haz tu r.'rl"r^. incluJ'a ul]or-o"'se lesor clice: dice podra ser: "Todo lo que el profesor hechos " otro cstablecidos. a la llegar'' "rio. Jo' u'"t'"tutiones se podra cs cierto." Si se combinan estas ios entre incluva "laztutarea escolar ahora" se larga, a que al imperativo slgmquina' la de (]"^l' por la constntccin hechos bien estableti"t' f" pero e] efecto efecto se empieza a realizar' en escoiarnificar que la tarea mquina no la que de inferencia {ilYi es mlrv satisfactorio ;;;;;;"tos ejemplo' por ms exigenies' Podra' tienen que satisfac;t;i"'t logicistas necesariamente que las P"eroeilo tto no haber jerarqua ;";t*t' 'igt'"ifi(]u ei riesgo que corremos proporcin qr're falacias de tipo octlrran en ma'vor dert(expresaclos r-t ip"iatio'os a"tuudos t,'t n*Jfit1" "No cle caernos como del.sistema) "n reglas " las lro cle tos sistemus,t;'i;;;;^t que las de t.ate rle una sttLtlus" de alguna rlsesuna clase a "No te a similar -";;;;;;e ptJi"t"' pueden .tener un efecto haya mencionado "i emasiado al borde del precipicio"' ;.;d; una mquina carentede miembros Los imperativos que puede obedecer ejemms bien inielectual (como en el estn destinadosa t".r"..r., carcter los que imporlancia tendrn plo de hacer la tarea)' Entre estosim-perativos o que se va se aplican Lasreglas del sistema |Oei regulan el orden cada etapa en "'l'qt" sismt lgico' existe a aplicar, ya que <:'.'t"dose utiliza un
2 O meior, "programado en (la mquina)", atlii ot"tt cn una comput.ott "i]i=t"tt" programaria ya que nuestra mquina infantil se que apr-enderse tenda tto iogito

un nmero muv grande de pasos alten-rativ.s, cuzrlquiera de los cuales puede aplicarse en lo que a la obediencia a larsreglas del sisterna kigico se refiere. Estas opciones marcan la diferencia entre Lrn argumentatlor brillante y uno inepto y no entre uno corr-ecto y un. lalaz. Las pr.opor-ciones q u e c o n d u c e n a i m p er a l i vo s d e e ste ti p o p o d r a n se r ':"cr r a n d r i sc n l t:n ci o n e a Scrates, utiliza el silogismo en Brbara" o "Si un mtodo ha denrostrado ser ms rpido que otro, no utilices el rntodo nrs lento". Algunos de ellos pueden ser "dados por una autoridad", per-o otros quiz se-anprorltrciclos p o r l a p r o p i a r n q u in a , p o r i n d u cci n ci e n tfi ca , p o r - e i cn r p l o . La idea de una mquina que aprende guiz pa.ezca parad jica a'lgunos . lectores. cmo pueden cambiar las .eglas de ope.aiin cie la mquina? Deberan describir por completo cnro reaccionar- la nrqtrina cualquiera que sea su historia, independientemente de los cambios que ptreda exper i m e n l a r '. L a s r e g l a s so n , p o r co n si g r r i e n te , t'a si i n 'a r i a b l e s e r r e l ti e n r p o . Esto es muv cie.to. La explicacin de la pa.adoja es q'e l^s reglas que se modifican en el proceso de aprendizaje son cle rrn ti.lo r.lrucllo ,i'r"rl.r, p..tencioso, que slo exige una validez etnrera. El lector loclr-alrazar un paralelo con la Constitucin de Estados Unidos. una caracterstica importante cle una mqtrina que aprencle es clue con fecuencia su profesor ignorar gran parte de lo qrre sucede en el interior, aunque sea capaz de predecir en cierta rnedidr el compor.tarniento de sn alumno. Su principal aplicacin cor-respondel'a a la ecltrcacin mas rec i e n t e d e u n a m q u in a d e r i va d a d e u n a m q u i n a i n fa n ti l co n u n d i se o (o programa) bien probado. Esto est en clar-. co.rtr-aste con er procedim i e n t o n o r m a l c l e u ti l i za r u n a m q u i n a p a r a e f e cttr a l ' c m p tr to s, p r r e s e l objetivo que se tiene entonces es obtener una imagen rnental clara clel estado de la mquina en cada momento de la con.rputaci;n. Este ob jctivr slo puede lograrse con esfuerzo. El punto de vista de que "la mqtrirra solamente ptrede hacer io que sabemos cmo ordenar-le qtre haga"r r-estrlta extrao fi-ente a'esto. La mavora de los pr-ogl-amas que poclenros intr-oducir en la mquina ocasionar'n que haga algo que p.t",l" no tener sentido alguno para nosotros o que nos parecer un comportamiento totaimenle aleatorio. Ei comportamiento inteligente supllestamente consiste en rprrtarse del comportamiento completamente disciplinado, qtre entr.aa la computacin, aunque de manera sutil, sin dar lugar a condtrctas aleatorias o a iteraciones repetitivas sin sentido. otro resultado inrportante de la preparacin de nuestra mquina para sLl participacin en el jrrego de la imitacin rnediante un proceso de enseanza v aprendizaje es qtre pr.'bablemente se omita de una manera bastante natural la "falibida htrrnana", es decir, sin un "entrenamiento" especial. (El lector debe reconciliar
3 comprese con la afirnacin de I-acly Lo'elace, l crral incluye Ia pal.bra "sro".

'.

r
i

SO

Y LA ]NTELIGEII'CIA LA MAQUINARIA DE COMPUTACIN

es t oc onelpunto d e v i s ta e x p re s a d o -e n l a s p gi nas70.72.)L,oS procesos ciertos; si lo fueran' no poqrre se parecen no producen r"st'ltudot lo0o/o dran desaPrenderse. i en una mquina que-aprende' Sea sensatoincluirun elementoaleatorio de til cuando se busca la soltrcin Un elemento aleatono '""]itu bastante que nos interesa encontrar un ejemplo' por un problema. Supongamos, cuadiado de la suma de sus dgitos' nrmero entre 50 V Zo q"" '"u igt'ul al E el 52' etc" hasta obtener un ,. Podramos empezar tot' St, luego intentar nmeros seleccionar podamos Alternativamente' nrnero que hrncione' alaz - ar has t ao b te n e ru n o b u e rro .Es te m t odoti enel ar' entaj adequeno !, valores probaclos, pero tiene la deses necesar.iott"uu. ,_r.rl"gisto de los f: esto mismo nmero' aunqlre F.; E ; oue puede ptbut'" dos veces el ;;;;;;; tiene sistemtico p: mtodo El soluciones' t'utiu' no es mu'y'irnportant Ji-n^o sin soiucin en la bloque enorrne un haber puecle lir clesventaja de que bien' el procesode aprendiE regin que hay que int'estigarprimero'.Ahora F: for-rnade comportamiento una de E zaie debe co..id".^.r" .-? lu uirrqueda probable es que Puesto criterio) ' que satisfag^ ut p.ot"'ot (o algn ttro mtodo el satisfactorias' soluciones de gue exista.rr-,.,,:,,o",J"'it;;;;i" sealarque ste se utiliza b lt" !l sistemtico'Cabe aleatorio parece siste- F E. -"1r. de la evolucin' pero en este caso' el mtodo en el proceso anlogo ia cuenta de las distintas llevar podri" posibl"';il; mtico no es 'e intentando para evitar el probarlas combinaciones genticasque se han . de nuev o? ,, lleguen-acompetlr las mqr-rinas Podramos esperarque' con el tiempo' puramente intelectuales'No obstante' con el hombre en todoi los campos decisin pu'u co-"*ar? lncluso sta resulta una culesson las ,tl"o'=' c li| c il. M uc ha g e n te p i e n s a q u e l o me j o rs er.aunaacti r.i dadnruvabstracta, que lo mejor sera dotar a tambiin pueclesostenerse como jugar ajedrezque el dinero pueda comla mquina con los rnejoresrganos sensoriales poda v a hablar ingls Este proceso prar, v luego enseil";i;;;;;p;"nder seaiar podran !t't"nutt)-u de un nio' Se Ie seguir el proceso correcta' pero ";;;i; ia respuesta que desconozco Reitero etc' ao?^, V.torrlbrarlas, enfoques ..r.i"." que hay qtte intentar ambos -^r^damos -- podemos es mr-ly corta' adelante hacia ilsin nuestra Aunque cuenta " qt" haY mucho Por hacer'

8t u n d V c r r v a n d t e r syste m e , r " , r ,r o tta r sr te fte ,1 d r r r tvsi cs, l 'r i rr \r a tr tctn a f i c.4 p p . 1 7 - 3I-8 9 . Hartree, D' R' (1949), calculating In'ntnlenf s attd A,laclttcs, fjrbrna,iversity of Illinois Press. Kleene.s c. (1935),"GeneralRecursiveFunctions of Natur.alNtrmber.s',, Atttetican J . M a t h e n n t i c - s5 , 7, pp. 153-1572 , 19_241. Russell, B. ( 1945),Histomof h'e-stent phiktsoplz__v, Nucva yor.k, Sinron rnd schuster. T u r i n g , A i l { ( 1 9 3 7 ) , "o n co n 'r p u ta b l e ,,,r .'b ".., * 'i r r r a . Ap p l i ca r i o ' to th e E n f s c h e i d u n g s p r o b l e n t", p r r c. L r ttd o t.t l l 4 a tl t. So ., 4 j , p . 5 4 4 ; ( 1 g 3 6 ) , 4 2 , pp. 230-265.

l-A MAQUINAf{1A DE COMpU-i.ACtON Y I_AIN r,rl,tC;},NCr.\

F
F

B l g l -l o c R A Fl n Number Theory"' Problemof Elernentary Church, A. (193),"An Unsolvable 58' pp' 345-363' J Mallrcntatic's, Arnerican Mathematica derPrincipia Stze "tr;;;;;;iu'n"ntscheidbare ( I 193 K. ), Gdel,