Beruflich Dokumente
Kultur Dokumente
U. o
4
*57
o
AND REW H O D G E S
T u r in g
TURING
UM FILSOFO DA NATUREZA
Andrew Hodges
TURING
UM FILSOFO DA NATUREZA
Traduo
Marcos Barbosa de Oliveira
it o m
CDD-111.85
ndice para catlogo sistemtico:
1. Esttica: Filosofia
111.85
Editora afiliada:
Associao Brasileira de
Bdlforas Universitrias
A G R A D E C IM E N T O S
S U M R IO
Introduo
10
21
23
Pensando o incomputvel
Turing e Wittgenstein
25
28
O triunfo do computador
30
Treinando o pensamento
38
O teste de Turing
40
O incomputvel revisitado
O agravamento da crise
Obras reunidas
54
61
64
65
13
IN T R O D U O
10
12
A mquina de Turing
e o Entscheidungsproblem
Quando, na primavera de 1935, Turing assistiu s confe
rncias avanadas sobre Fundamentos da Matemtica dadas
pelo topologista M. H. A. Newman, ele no estava pensando
em sua carreira. A lgica matemtica era uma rea diminuta,
abstrusa, tecnicamente difcil, carente de aplicaes e subrepresentada no currculo de graduao. O trabalho de Turing
foi um ato de amor.
As conferncias de Newman conduziram Turing ao ponto
alcanado por Gdel em seu agora famoso teorema da Incom13
15
17
18
157767733443477) temos
Para ter certeza sobre qual seria o
teorema relevante, teramos de comparar os nmeros algarismo
por algarismo...
As operaes simples devem, portanto, incluir:
(a) mudanas no smbolo em um dos quadrados observados;
(b) mudanas de um dos quadrados observados para outro
quadrado distante no mximo L quadrados de um dos quadrados
previamente observados.
Pode ser que algumas destas mudanas envolvam necessaria
mente uma mudana no estado mental. Deve-se considerar que a
operao individual mais geral , portanto, uma destas:
(A) uma possvel mudana (a) de smbolo junto com uma
possvel mudana de estado mental;
(B) uma possvel mudana (b) de quadrados observados jun
to com uma possvel mudana de estado mental.
A operao de fato realizada determinada, como sugerido
[acima], pelo estado mental do computador e os smbolos obser
vados. Em particular, eles determinam o estado mental do com
putador depois da operao ter sido executada.
19
Alonzo Church, o eminente lgico norte-americano de Princeton, anunciou a mesma concluso quanto ao Entscheidungsproblem. Turing dedicou-se at agosto de 1936 a escrever um
apndice relacionando seu resultado ao de Church. Para o ar
tigo ser publicado pela Sociedade Matemtica de Londres,
Newman deveria estabelecer que o argumento de Turing era
diferente do de Church. Na verdade, o argumento de Turing
diferia do de Church de maneira fundamental. Quando a poei
ra baixou, em 1938, ele apresentou seu ponto de vista nos
termos modestos que sempre usou em pblico para falar de
seu prprio trabalho:
Diz-se que uma funo efetivamente calculvel se seus va
lores podem ser determinados por algum processo puramente me
cnico. Embora seja relativamente fcil captar intuitivamente esta
idia, contudo desejvel dispor de alguma definio mais precisa,
matematicamente exprimvel. Uma definio desta natureza foi
formulada primeiro por Gdel em Princeton, em 1934 ... Tais fun
es foram descritas como "recursivas gerais por Gdel ... Outra
definio de calculabilidade efetiva foi dada por Church ... que
a identifica com a definibilidade-.. O autor [ou seja, o prprio
Turing] sugeriu recentemente uma definio que corresponde mais
estreitamente idia intuitiva... Afirmou-se acima que "uma fun
o efetivamente calculvel se seus valores podem ser determi
nados por algum processo puramente mecnico. Podemos inter
pretar este enunciado literalmente, entendendo por um processo
puramente mecnico um processo que poderia ser levado a cabo
por uma mquina ... O desenvolvimento destas idias conduz
definio do autor para uma funo computvel e a uma identifi
cao da computabilidade [no sentido tcnico preciso de Turing]
com a calculabilidade efetiva. No difcil, embora algo trabalho
so, provar que estas trs definies so equivalentes.4
22
Pensando o incomputvel
Turing, a seguir, estudou em Princeton durante dois anos
acadmicos, com uma interrupo de volta a Cambridge no
vero de 1937. Este foi um perodo de intensa atividade num
centro mundial de matemtica. Turing foi demasiado otimis
ta ao pensar que poderia reescrever os fundamentos da anli
se e nada acrescentou s observaes sobre limites e conver
gncia dadas em Computable numbers. (Uma razo para
isto pode ser a seguinte: se x e y so nmeros computveis,
especificados como mquinas de Turing, a verdade dos
enunciados x = y ou x = 0 no pode ser testada por um pro
cesso computvel.) Mas alm de pesquisas abrangentes em
anlise, topologia e lgebra, e o trabalho laborioso de
mostrar a equivalncia de sua definio de computabilidade
com as de Church e Godel, ele ampliou a explorao da lgi
ca da atividade mental com o artigo Systems of logic based
on ordinais.5
5 Ibidem.
25
27
voltamo-nos naturalmente para sistemas de lgica no-construtivos com os quais nem todos os passos numa prova so mecni
cos, sendo alguns intuitivos. Um exemplo de uma lgica noconstrutiva fornecido por qualquer lgica ordinal... Que proprie
dades so desejveis numa lgica no-construtiva se a formos uti
lizar para a expresso de provas matemticas? Queremos que ela
mostre bem claramente quando um passo faz uso da intuio e
quando puramente formal. O recurso intuio deve ser o me
nor possvel. Acima de tudo, no deve restar dvida de que a lgi
ca sempre conduz a resultados corretos quando todos os passos
intuitivos so corretos.
Turing e W ittgenstein
Sucedeu que as opinies de Turing foram examinadas pelo
mais importante filsofo da poca bem neste ponto. Infelizmente, suas conversas registradas no lanam luz sobre as
convices de Turing a respeito da mente e da mquina. Tu
ring foi apresentado a Wittgenstein no vero de 1937 e, quan
do voltou a Cambridge para o perodo letivo do outono de
1938, assistiu s aulas de Wittgenstein - mais parecidas com
um grupo de discusso socrtico - sobre os Fundamentos da
Matemtica. Elas foram anotadas pelos participantes e, depois,
28
6 C. Diamond (Org.) Wittgensteiris Lectures on the Foundations o f Mathematics (Harvester Press, 1976). O dilogo citado foi extrado das au
las 21 e 22.
29
31
32
36
Treinando o pensamento
Durante esse ano, alm de treinar corrida de maratona at
chegar prximo do padro olmpico, Turing refletiu sobre as
indicaes" de inteligncia mecnica, redigindo um relat
rio10 para o National Physical Laboratory, em 1948. Cambrid
ge provocou o contato com a biologia do ps-guerra, o qual,
aliado ao contato com os pensadores cibernticos, prova
velmente reforou sua tese de que havia suficiente escopo na
complexidade das mquinas para explicar o comportamento
aparentemente no-mecnico. Porm, o relatrio de Turing
no mencionou estas fontes; na verdade, sua citao mais
conspcua era proveniente de um livro de ningum menos
que a romancista religiosa Dorothy Sayers, que encapsulava a
noo ingnua do comportamento mecnico. Era um livro
que ele estava lendo em 1941.) E argumentou menos a partir
da biologia do que de sua prpria experincia de vida ao sus
tentar que a modificao de comportamento poderia ser adap
tada do crebro que aprende para a mquina que aprende.
Para a mente no-treinada de uma criana tornar-se inteligente,
ela precisa adquirir tanto disciplina quanto iniciativa. At agora
estivemos considerando apenas a disciplina. Converter um crebro
ou mquina em uma mquina universal constitui a forma extrema
de disciplina. Sem algo deste tipo no possvel estabelecer comu
38
O teste de Turing
Turing mudou-se para a Universidade de Manchester,
onde Newman, professor de matemtica pura desde 1945,
lhe havia conseguido o primeiro posto acadmico pleno. Tu
ring estava numa posio difcil como produtor de software
para o computador pioneiro, o primeiro deste tipo no mundo,
que o engenheiro eletrnico F. C. Williams e sua equipe ha
viam construdo depois de Newman lhes ter fornecido o prin
cpio. Reportagens na imprensa sobre a mquina j usavam a
terminologia crebros, que os comentrios do prprio Tu
ring, em 1949, nada faziam para desencorajar. Jefferson, um
neurocirurgio de Manchester, tentou dissipar este uso numa
palestra no mesmo ano. Michael Polanyi, o qumico que havia
se tornado um filsofo cristo da cincia em Manchester, era
outro adversrio intelectual (com o qual, entretanto, Turing
mantinha relaes pessoais amistosas). Foi provavelmente
Polanyi quem sugeriu a Turing que apresentasse suas opi
40
nies num artigo publicado com o ttulo Computing machinery and intelligence em 1950.11
Turing lidou com o problema de escrever para leitores no
versados em matemtica com tpico sangue-frio, ignorando
todas as barreiras culturais convencionais. Dispensando no
tavelmente qualquer citao da literatura filosfica ou psico
lgica, ele no faz concesses quanto ao estilo nem quanto ao
contedo.
O artigo famoso pelo jogo da imitao, descrito abaixo,
e, hoje em dia, freqentemente denominado teste de Turing.
Porm, o aspecto mais slido do artigo o estabelecimento
do modelo da mquina de estado discreto, que vem a ser a m
quina de Turing de 1936, porm mais claramente concebida
como algo fisicamente corporificado. Um pargrafo cuidadoso
explica primeiro porque a mquina computadora discreta:
Os computadores digitais ... podem ser classificados entre as
mquinas de estado discreto. Estas so mquinas que se mo
vem por saltos sbitos ou clicks de um estado bem definido a ou
tro. Tais estados so suficientemente diversos para que a possibi
lidade de confuso entre eles seja ignorada. Estritamente falando,
no existem tais mquinas. Tudo na verdade se move continua
mente. H, porm, muitos tipos de mquinas que podem ser van
tajosamente consideradas mquinas de estado discreto. Por exem
plo, com relao aos interruptores de um sistema de iluminao,
uma fico conveniente que cada interruptor est definidamen
te ligado ou desligado. Deve haver posies intermedirias, mas
para a maioria dos fins podemos ignor-las ...
Esta propriedade especial dos computadores digitais, de que
eles podem imitar qualquer mquina de estado discreto, descri
ta dizendo-se que elas so mquinas universais.
41
42
45
48
49
52
O incomputvel revisitado
As questes restantes dizem respeito prpria mquina de
estado discreto computvel e so as fundamentais. Turing ob
serva que em uma mquina de estado discreto terica:
54
o contedo
58
59
60
O agravamento da crise
De qualquer modo, por volta de 1950, Turing tinha um
vivo interesse num novo campo. Estava interessado no corpo,
na Natureza assim como no crebro. Seus experimentos de
criana haviam sido qumicos, no matemticos, e ele mante
ve uma capacidade de ver as estruturas biolgicas como ex
tremamente enigmticas. Lembremos sua fascinao preco
ce com o determinismo e sua idia de que o resto do corpo
amplifica a ao do crebro. Suas teses posteriores sobre a
inteligncia de mquina e a simulao mecnica da aprendi
zagem dirigiram sua ateno para o crescimento das clulas
do crebro. Formulou, ento, alguns problemas simplifica
dos do crescimento biolgico e os atacou postulando equa
es diferenciais qumicas no-lineares. Mostrou como a inomogeneidade poderia sugir a partir de condies iniciais ho
mogneas, usando um efeito quebrador de simetria baseado
na instabilidade qumica.15 Sua perpectiva filosfica foi des
crita por ele como se opondo ao argumento teolgico do pro
jeto \from design], o que sugere um futuro Richard Dawkins
da fisiologia. Adotou como objetivo explicar os padres de Fibonacci nas plantas, o que talvez no tenha sido uma boa es
61
62
17 Carta a N. A. Routledge, no Arquivo Turing, Kings College, Cambridge. Transcrita em Alan Turing: the Enigma.
18 Carto postal a Robin Gandy, no Arquivo Turing, King's College,
Cambridge. Transcrita em Alan Turing: the Enigma. [Hiperbolides de
Luz maravilhosa / Rolando etemamente atravs do espao e do tempo /
Abrigam aquelas ondas que podem de alguma forma / Desempenhar at o
fim a sagrada pantomima divina. (N. T.)]
63
Obras reunidas
Britton, J. L., Ince, D. C., Saunders, P. T. (Org.) Collected
Works o f A. M. Turing (Elsevier, 1992).
Trs volumes foram publicados, com extensas notas de auto
ria dos organizadores. O quarto volume, contendo os arti
gos de Turing em lgica matemtica (Org. R. O. Gandy e
C. E. M. Yates), ainda est em preparao.
64
65
SOBRE O LIVRO
EQUIPE DE REALIZAO
Produo Grfica
Edson Francisco dos Santos (Assistente)
Edio de Texto
Nelson Lus Barbosa (Assistente Editorial)
Ismar Leal (Preparao de Original)
Ismar Leal e
Luiz Carlos Netto Chamadoira (Reviso)
Editorao Eletrnica
Lourdes Guacira da Silva Simonelli (Superviso)
Edmlson Gonalves (Diagramao)
Impresso
e Acabamento
EDITORA c GRFICA
VIDA & CONSCINCIA
R. Santo Irineu. 170 So Paulo S P
0 (11) 5549-8344 FAX (11) 5571-9870
e-m ail: g a s p a r e tto @ s n e t.c o m .b r
s it e : w w w .g a s p a re tt o .c o m .b r
Co\si
R
Mo\k
ltoria e d it o r ia l :
vi
f.
F r f d e r ic R aphael
Grandes Filsofos