Documentos de Académico
Documentos de Profesional
Documentos de Cultura
AlanTuring Lamaquinariadelacomputaci
AlanTuring Lamaquinariadelacomputaci
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 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.
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
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:
,1 ,'A cll cstc.itlcg( ) ?"' Seeqt 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
(lue si los participante [ueran un llombre v una muier? Estas pregtlntas
r.eemplaz.a;n nuestra pregunta originai: "Pueden pensar las mquinas?"
contra
i ncapaci dades
qui eran
2. LA CRTICADEL NUEVOPROBLEMA
de
As como podemos preguntar: "cul es la respuesta a la nue\ra forma
esta
"Vale
pena
investigar
Ia
inquirir:
podramos
lll pr.egr.rnta?",tambin
para
,,,rcu. r,,,r-ri,in?"Anrlizaremos la segunda pregunta sin nls discusin,
t' r'ilu r' :rs itrt:t t'e r gt ' es ininf init a
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:rlrrrc 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
o que escuche_susvoces.
participantes
el exarninadorvea o toque a los otros
resultan evidentes mepropuestos
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
concl l rsos
;
:
i
I
I
t
t
t
E
H
L
E.
u..
t
Et
5h
q
t
r
i
r
r
:
r t l t t c s t t t 'l e 1,.,,,sartte s"h a sur gic lo gr ac iaS a un t ipo pal' t ic l l l a l 'd e
"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 .
,\rrrrtrrt'esta I'estl'iccir-rpodra parecer mu)'radical a primera vista, int (. 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
mquinas con las
roc lr ' ac lec ir que c s t a ident if ic ac i n d e l a s
( 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
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
2) LJnidacl 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
c o t t r p u l a t l o t 'a h u n r a n r ,\'ls( '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
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( l u ( 'l :r ( {) n r l ) u t a d o r a h u n t a n a l t a cc c'i l cttl ,r s( '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
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
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( ) tr u . [) o r l o r ,.t'r r t'r ul r r r t'tl t'r rt'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 csco 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'
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 rr cr r l i z.r r t( ) l ) ( 'l i r (i ( ) n cs
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
cr,lyo caso se ilama "tabla de instr-ucciones". Corresrolrclc al cr()n1r'olsrrpcrvisar 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 rl 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."
S o b l a a f i n n a r qu e e sto n o su ce cl cr - at'r r l :r n r :i < tr i n l t'r r r r i r r l '.u trl t'r r g u a j e
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 ,
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 - co n
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
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.
I- A M AQU I N A R I A
)N \ ' | \ l N l I l rl l ( ; l i N ( l / \
rr)
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
n a m q u i n a d e e s ta n d o l c a l :t c r r el 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
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
impofiancia al hecho de que las cornputacloras cligitalt:s tttoclet-trrssolt
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.
6t)
L A MA Q[.JINT\RIA
Y I- A IN I ELI( l EN ( - l r \
Llll
rALlA
I
'l
anfeti or
Qy
Q2
Qj
lrt,
,1.
qtl
Ii, i, n,l
Es t ado
Salida
Qt QzQt
oo oo o t
LA M AQ IJ f N A R I A
()|
6)
Y I,A IN |III,ICENCIA
LA MAQUINARIADE COMPU'TACION
) 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
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'rlentea: "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?"
6. Optt'tloNEScoNTRARIASA LA PREGUNTAPRINCIPAL
a t e Vrs 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
[ ' 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
rr r:irrrirr:rs?"
r'r l a v u- iat r t ct 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
st't't'irilr. Sirr t'rrtlr atgo, t t < t r oc lc t r r osabt t r c lolt a rp o r c o n l p l e t o l a f o r m a o r i 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'linr'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
tl.' ll rrcgrrn tr.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 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
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
I,4
Y I,A IN.|ELI(]ENCIA
DECOMPU.IACION
LA IVIAQIJINARIA
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
v n() sc zrp r-esrrr -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 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-scr-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-Lrerabuscarse en la transmisracin
de las alrnas.
()r
i:i
:
l:
t
66
67
70
77
72
LA MAQU]N/\RTA
DECOMPUTACIN
Y LA INI'ELIGENCIA
LA MAQUINARTA
DECO]VIPU]'ACION
Y I,A IN'IELICENCIA
73
F.
il
si
r'
{,
i,
I
ii
I
74
76
LA ]V{AQUINAIUA
IJECOMPU'I'A(]I(iN
Y I-A IN'II:I-IL]EN(
I;\
77
78
Y LA INTELIGEN( IA
LA MAQUINAR1A DE COMPUTACIN
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
aclecuaclapara la In;i;;;;t^"tll
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
bien establecidos'con;"; "i"pto"n"thos
tendran varios tipos ;; ;;;;'
enunciados provenlenteoremas a""-'o't*os matemticamente'
ietr-rras,
lgica de
que pese a presentar Ia forma
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
proporcin qr'reei riesgo que corremos
falacias de tipo octlrran en ma'vor
(expresaclosdertr-t ip"iatio'os a"tuudos
t,'t n*Jfit1"
cle caernos
como "No
del.sistema)
"n
reglas
" las
lro cle tos sistemus,t;'i;;;;^t
de las que
t.ate rle una sttLtlus" de alguna
rlsesuna clase a
similar a "No te
-";;;;;;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
7e
con la afirnacin
de I-acly Lo'elace,
l crral
'.
incluye Ia pal.bra
"sro".
r
i
SO
l-A MAQUINAf{1A
DE COMpU-i.ACtON
Y I_AIN r,rl,tC;},NCr.\
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'pero
entajtiene
adequeno
!,
la desvalores probaclos,
es 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- FE.
-"1r. de la evolucin' pero en este caso' el mtodo
en el proceso anlogo
podri" llevar ia cuenta de las distintas
mtico no es posibl"';il;
'e han intentando para evitar el probarlas
combinaciones genticasque se
.
de nuev o?
,,
las mqr-rinaslleguen-acompetlr
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
como jugar ajedrez-tambiin pueclesostenerse
que 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
pero
";;;i;
que desconozcoia respuestacorrecta'
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'
F
F
B l g l -l o c R A Fl n
of ElernentaryNumber Theory"'
Church, A. (193),"An UnsolvableProblem
58' pp' 345-363'
ArnericanJ Mallrcntatic's,
StzederPrincipiaMathematica
"tr;;;;;;iu'n"ntscheidbare
(
I
193
K.
),
Gdel,
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
l 'r i rr \r a tr tctn a f i c.4,1 d r r r tvsi cs,
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 rndschuster.
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.tl l 4 a tl t. So ., 4 j , p .
544; (1g36), 42,
pp. 230-265.