Você está na página 1de 72

$ $ Fk o

U. o
4
*57
o

AND REW H O D G E S

T u r in g

TURING
UM FILSOFO DA NATUREZA

FUNDAO EDITORA DA UNESP

Presidente do Conselho Curador


Jos Carlos Souza Trindade
Diretor Presidente
Jos Castilho Marques Neto
Assessor Editorial
Jzio Hernani Bomfim Gutierre
Conselho Editorial Acadmico
Antonio Celso Wagner Zanin
Antonio de Pdua Pithon Cyrino
Benedito Antunes
Carlos Erivany Fantinati
Isabel Maria F. R. Loureiro
Lgia M. Vettorato Trevisan
Maria Sueli Parreira de Arruda
Raul Borges Guimares
Roberto Kraenkel
Rosa Maria Feiteiro Cavalari
Editora Executiva
Christine Rhrig

Andrew Hodges

TURING
UM FILSOFO DA NATUREZA

Traduo
Marcos Barbosa de Oliveira

it o m

1997 Andrew Hodges


Ttulo original em ingls: Turing. A Natural Philosopher
publicado em 1997 pela
Phoenix, uma diviso da Orion Publishing Group Ltd.
1999 da traduo brasileira:
Fundao Editora da UNESP (FEU)
Praa da S, 108
01001-900-S o Paulo-SP
Tel.: (Oxxll) 232-7171
Fax: (Oxxll) 232-7172
Home page: www.editora.unesp.br
E-mail: feu@editora.unesp.br

Dados Internacionais de Catalogao na Publicao (CIP)


(Cmara Brasileira do Livro, SP, Brasil)
Hodges, Andrew
Turing: um filsofo da natureza / Andrew Hodges;
traduo Marcos Barbosa de Oliveira. - So Paulo: Edito
ra UNESP, 2001. - (Coleo grandes filsofos)
Ttulo original: Turing.
Bibliografia.
ISBN 85-7139-348-6
1. Inteligncia artificial 2. Matemticos - Biografia
3. Turing, Alan Mathison, 1912-1954 I. Ttulo. II. Srie.
01-1570

CDD-111.85
ndice para catlogo sistemtico:
1. Esttica: Filosofia
111.85

Editora afiliada:

Asociaein de Kditoriales Universitrias


de Amrica l-ailna y el Caribe

Associao Brasileira de
Bdlforas Universitrias

A G R A D E C IM E N T O S

Sou grato pela permisso especfica para transcrever lon


gos trechos dos escritos de Alan Turing. As citaes prove
nientes de textos inditos foram generosamente autorizadas
pelos responsveis por seu esplio. As passagens dos artigos
de 1936 e 1939 aparecem por cortesia da London Mathematical Society. Os direitos autorais sobre os relatrios do Natio
nal Physical Laboratory de 1946 e 1948 so propriedade da
Coroa e a permisso para reproduzi-los foi concedida pelo
controlador do Her Majestys Stationery Office. A Oxford
University Press autorizou as citaes do artigo publicado em
1950 na revista Mind e a Harvester-Wheatsheaf, as do dilogo
entre Turing e Wittgenstein.

S U M R IO

Introduo

A natureza do mundo de Turing

10

A mquina de Turing e o Entscheidungsproblem


A tese de Church e a de Turing

21

A mquina universal de Turing

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

Pontos de partida para outras leituras


7

65

13

IN T R O D U O

Alan Turing ousou perguntar se uma mquina pode pen


sar. Suas contribuies para entender e responder a esta e ou
tras questes desafiam classificaes convencionais. No final
do sculo XX, o conceito de mquina de Turing, criado em
1936, figura no apenas na matemtica e na cincia da com
putao, mas tambm na cincia cognitiva e na biologia terica.
Seu artigo de 1950, Computing machinery and intelligence,
no qual descrito o assim chamando teste de Turing, constitui
a pedra angular da teoria da inteligncia artificial. Entre uma
coisa e outra, Turing desempenhou um papel decisivo no re
sultado da Segunda Guerra Mundial e produziu sozinho um
plano muito avanado para a construo e o uso de um compu
tador eletrnico. Turing pensou e viveu uma gerao antes de
seu tempo; contudo, o que descreve melhor as caractersticas
de seu pensamento que ultrapassaram os limites da dcada
de 40 a antiquada expresso filosofia da natureza.
Em Alan Turing, a imerso na Natureza e o ataque a ela
constituam uma unidade; as divises entre matemtica, cin
cia, tecnologia e filosofia no seu trabalho tendem a obscurecer suas idias. Ele no foi um autor prolfico; muitos escritos
s foram publicados postumamente; alguns permaneceram
secretos at a dcada de 90. Comunicaes pessoais lanam
um pouco de luz sobre o desenvolvimento de suas idias, um
tpico a respeito do qual ele costumava silenciar. Veremos,
por exemplo, como chegou lgica e computao a partir de
uma fascinao juvenil pela descrio fsica da mente. Porm,
temos apenas algumas pistas sobre a formao de suas con
vices no ambiente sigiloso da criptografia no tempo da
9

guerra, e sugestes de novas idias perdem-se no drama de


sua morte misteriosa.

A natureza do mundo de Turing


Alan Mathison Turing nasceu em Londres no dia 23 de ju
nho de 1912 e desde cedo sua personalidade se revelou deslo
cada nas escolas de classe mdia alta freqentadas pelos fi
lhos de funcionrios graduados do Servio Civil Indiano. A
conformidade com os ditames de classe significava obedin
cia incondicional aos rituais da escola preparatria e da public
school britnicas. Porm, o livro Natural Wonders Every Child
Should Know [Maravilhas da natureza que toda criana deve
conhecer] abriu-lhe os olhos para o conceito de explicao cien
tfica e, a partir da, a Natureza, em oposio s convenes
humanas, passou a dominar sua ateno, como muitos bole
tins desfavorveis demonstraram. O dever, a hierarquia, amos
e criados, regras e jogos desempenhariam mais tarde um pa
pel notvel na ilustrao de suas idias; na escola, contudo,
Turing demonstrou mais perplexidade e incompetncia do
que rebeldia ante as exigncias do Imprio Britnico, igno
rando-as tanto quanto possvel para se dedicar s suas pr
prias prioridades. Em 1925, escreveu sua me: Estou orga
nizando uma coleo de experimentos na ordem em que pre
tendo realiz-los. Pareo estar sempre querendo fazer coisas
a partir daquilo que mais comum na natureza e com o mni
mo de desperdcio de energia.1
Sua qumica experimental no foi bem recebida assim co
mo sua caligrafia e seus mtodos pouco convencionais em
matemtica. Foi o ltimo da classe em ingls. O diretor ob
servou: Se for para permanecer na Public School, seu objetivo
deve ser o de tomar-se educado. Se quiser ser apenas um Especia

1 Carta de Turing sua me, Sra. E. Sara Turing, atualmente no Arqui


vo Turing do Kings College, Cambridge.

10

lista Cientfico, est perdendo tempo numa Public School, e


este juzo a respeito das prioridades da classe dominante no
estava longe da verdade. Turing quase foi impedido de prestar
os exames equivalentes ao GCSE.* Depois disso, encontrou
seu nvel de pensamento na exposio do prprio Einstein a
respeito da relatividade e nas concepes de Eddington sobre
a mecnica quntica em The Nature o f the Physical World. Estes,
porm, eram estudos privados, e ele poderia jamais ter sentido
a necessidade de se comunicar no fosse por causa de uma
histria incrivelmente romntica.
A natureza humana o chamou vida, porm tratava-se de
sua prpria natureza homossexual, trazendo revelao e trau
ma em pores iguais. Ele se apaixonou, sem ser correspon
dido, por Christopher Morcom, um jovem muito talentoso, e
seu anseio por amizade o levou a comunicar-se. Um breve flo
rescimento de colaborao cientfica feneceu em virtude da
morte repentina de Morcom em fevereiro de 1930. A corres
pondncia de Turing com a me do rapaz lana luz sobre o de
senvolvimento de suas idias aps o evento. Ele procurava
acreditar que o falecido ainda podia existir em esprito e re
conciliar tal crena com a cincia. Com este objetivo, escreveu
um ensaio para a Sra. Morcom, provavelmente em 1932. Tra
ta-se de um registro privado de um rapaz de vinte anos e deve
ser lido como um documento sobre sua formao, no como
uma tese sustentada em pblico; no obstante, constitui uma
chave para o desenvolvimento posterior de Turing.
Natureza do Esprito
Supunha-se na Cincia que se tudo a respeito do Universo fos
se conhecido em qualquer momento particular, ento poderiamos
prever como ele seria para todo o futuro... A cincia moderna,
contudo, chegou concluso de que quando lidamos com tomos

* General Certificate o f Secondary Education: um exame pblico para estu


dantes na faixa de dezesseis anos de idade. (N. T.)

e eltrons somos completamente incapazes de conhecer seu esta


do preciso, uma vez que nossos instrumentos so eles prprios fei
tos de tomos e eltrons. A concepo de um conhecimento do
estado preciso do universo necessariamente cai por terra para pe
quenas dimenses. Isto significa que cai por terra tambm a teo
ria segundo a qual, assim como os eclipses, todas as nossas aes
so predestinadas. Temos uma vontade capaz de determinar a
ao dos tomos provavelmente numa pequena poro do crebro
ou possivelmente em sua totalidade. O resto do corpo age de for
ma a ampliar isto...2

Ao enunciar o paradoxo clssico do determinismo fsico e


livre-arbtrio, Turing sofre a influncia da afirmao de Eddington de que a fsica quntica (a cincia mais moderna)
deixa espao para a vontade humana. Eddington havia per
guntado como poderia esta coleo de tomos comuns ser
uma mquina pensante? e Turing tenta encontrar uma res
posta. O texto vai alm ao abraar uma crena numa forma de
esprito no constrangida pelo corpo: Quando o corpo morre
o mecanismo do corpo constrangendo o esprito desaparece
e o esprito encontra um novo corpo mais cedo ou mais tarde,
talvez imediatamente. H cartas mostrando que ele manteve
estas idias pelo menos at 1933.
Turing teve muito mais sucesso no curso de graduao
do que na escola, e o Kings College lhe proporcionou um am
biente protetor, simptico homossexualidade e a opinies
pouco convencionais. Ele no pertencia, contudo, a nenhum
dos crculos sociais de elite nem a um grupo poltico. No to
cante poltica, respondeu brevemente ao movimento de 1933,
contrrio guerra, mas no ao Partido Comunista, como al
gumas pessoas de quem estava bem prximo. Turing tam
bm no compartilhava do pacifismo de seu primeiro amante,
seu colega estudante de matemtica James Atkins.

2 Nature o f spirit, o manuscrito sem data de Turing, encontra-se no ar


quivo do Kings College. O texto completo citado em Alan Turing:
the Enigma (ver adiante).

12

De maneira semelhante, Turing encontrou um lar na cul


tura matemtica de Cambridge, sem contudo pertencer intei
ramente a ela. A separao entre matemtica pura e aplica
da era, na poca, e continua sendo, muito forte, mas Turing a
ignorava e nunca demonstrou paroquialismo matemtico al
gum. Se algo pode ser dito que a atitude adotada por ele era
a de um Russell, acreditando que o domnio de uma matria
to difcil d o direito de invadir outras. Depois de ter acerta
do o passo, Turing no demonstrou insegurana intelectual
alguma: em maro de 1933, adquiriu o livro Introduction to
Mathematical Philosophy, de Russell, e, a I o de dezembro do
mesmo ano, o filsofo R. B. Braithwaite registrou nas atas do
Moral Science Club: A. M. Turing apresentou uma palestra sobre
'Matemtica e lgica. Sugeriu que uma concepo puramen
te logstica da matemtica inadequada e que as proposies
matemticas so passveis de uma srie de interpretaes,
sendo a logstica apenas uma delas. Ao mesmo tempo, esta
va estudando o livro Grudlagen den Quantenmechanik, de von
Neumann, de 1932. Assim, possvel que as idias de Eddington a respeito da mecnica quntica tenham encorajado a mu
dana de interesse em Turing na direo dos fundamentos l
gicos. E foi na lgica que ele fez seu nome.

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

pletude, de 1931. O problema de fundo como podemos cap


tar a verdade de um enunciado sobre um nmero infinito de
casos, como de que para todo a, b, c, (a+b) x c = a x c + b x c,
ou de que no existe um nmero primo maior do que todos
os outros. Uma resposta aparentemente razovel poderia
ser que enunciados como estes de fato no envolvem infinidades de casos, sendo apenas sentenas finitas incluindo pa
lavras tais como todo, deduzidas por um nmero finito de
regras da lgica dedutiva. Os lgicos matemticos do fim do
sculo XIX haviam tentado explicitar este argumento, porm
Bertrand Russell, mostrando como descries finitas tais
como conjunto de todos os conjuntos poderam ser autocontraditrias, tinha descoberto as dificuldades inevitveis
que tm origem em termos auto-referentes. A seguir, o mate
mtico David Hilbert estabeleceu exigncias mais precisas
para qualquer esquema finito nos termos famosos: consistn
cia, completude e decidibilidade. Em 1931, Gdel demons
trou que a consistncia e a completude no podiam ser ambas
alcanadas: havia enunciados sobre nmeros, indubitavel
mente verdadeiros, que no podiam ser provados a partir de
axiomas finitos atravs de um nmero finito de regras. A pro
va de Gdel se assentava sobre a idia de que enunciados so
bre nmeros podiam ser codificados como nmeros e na cons
truo de um enunciado auto-referente que liquidava as
esperanas de Hilbert.
O trabalho de Gdel deixou pendente a questo hilbertiana da decidibilidade, o Entscheidungsproblem, ou seja, se exis
te um mtodo definido que, pelo menos em princpio, pode
ser aplicado a uma dada proposio para decidir se ela pode ser
provada. Num clculo restrito, tal mtodo pode de fato exis
tir: por exemplo, a tcnica da tabela de verdade para decidir
se uma frmula da lgica proposicional elementar uma tautologia. Poderia existir um procedimento de deciso como
este para proposies matemticas? Tal questo havia so
brevivido anlise de Gdel porque sua soluo requeria
uma definio precisa e convincente de mtodo. Formular
14

definies precisas uma fonte de satisfao na matemtica


pura, mas neste caso algo mais que preciso era necessrio teria de ser algo inexpugnvel em sua generalidade, que no
viesse a ser superado por uma classe mais poderosa de m
todo. Deveria haver, na verdade, um tanto de anlise filosfi
ca alm da matemtica.
Trabalhando sozinho durante um ano, at abril de 1936,
Turing atingiu este objetivo; sua idia, agora conhecida como
mquina de Turing, foi publicada bem no fim de 1936 no
artigo On computable numbers, with an application to the
Entscheidungsproblem.3 caracterstico de Turing que ele te
nha refrescado a questo de Hilbert formulando-a em ter
mos no de provas mas da computao de nmeros. A refor
mulao pretendia claramente ter encontrado uma idia
central para a matemtica. Como o ttulo dizia, o Entschei
dungsproblem era apenas uma aplicao da nova idia, a de
computabilidade. No foram preservados rascunhos ou cor
respondncia relativos sua formao nem relato algum pos
terior de seu percurso intelectual, apenas a histria contada
mais tarde a seu discpulo Robin Gandy de que a idia princi
pal lhe teria ocorrido quando devaneava nos campos de
Grantchester. Newman viu o trabalho apenas quando ele es
tava completamente pronto.
O artigo comea com uma linha de pensamento j mencio
nada: como especificar o infinito em termos finitos? Em par
ticular, como especificar a seqncia infinita de dgitos em
um nmero real, tal como 7t = 3,141592653...? Que signifi
ca dizer que h um mtodo definido para calcular tal nmero?
A resposta de Turing consiste em definir o conceito da m
quina que leva seu nome:
3 A. M. Turing, "On computable numbers, with an application to the
Entscheidungsproblem, Proc. Lond. Math. Soc. ser. 2, 42 (1936-7)
p.230-65; correo ibidem 43 (1937) p.544-6. O artigo ainda no est
disponvel nas Collected Works, mas reproduzido em Martin Davis
(Org.), The Undecidable (Raven Press: Nova York, 1965).

15

Podemos comparar um homem no processo de computar um


nmero real com uma mquina capaz apenas de um nmero fini
to de condies ... as quais sero denominadas configuraes m. A
mquina dispe de uma fita" (o anlogo do papel) que a atraves
sa, dividida em sees (chamadas "quadrados), sendo cada uma
capaz de portar um smbolo. Em cada momento, h apenas um
quadrado que est na mquina. O smbolo no quadrado exami
nado [scanned] pode ser chamado smbolo examinado. O "sm
bolo examinado o nico do qual a mquina est, por assim di
zer, diretamente consciente...

Turing, a seguir, especifica precisamente o repertrio de


aes disponvel a tal mquina imaginada. A ao totalmen
te determinada pela configurao" em que ela se encontra e
pelo smbolo que ela est no momento examinando. tal de
terminao completa que faz dela uma mquina. A ao li
mita-se ao seguinte: a cada passo, ela (1) ou apaga o smbolo
ou imprime um smbolo especificado; (2) move-se um qua
drado para a esquerda ou para a direita; (3) muda para uma
nova configurao.
Diversos manuais trazem verses ligeiramente diferentes
da idia de Turing, e a forma tcnica em que ele a expressou
originalmente no importante; a essncia reside em que a
ao completamente dada por aquilo que Turing chamou de
uma tabela de comportamento" para a mquina, ditando o
que ela far para cada configurao e cada smbolo examina
do. Cada tabela de comportamento uma mquina de Tu
ring diferente.
As aes so extremamente restritas em sua forma, porm
a tese de Turing de que elas formam um conjunto de ele
mentos atmicos a partir dos quais todas as operaes mate
mticas podem ser compostas. Na verdade, num estilo pou
qussimo usual para um artigo matemtico, o argumento
formulado em termos muito genricos, justificando as aes
da mquina de Turing como suficientes para englobar o m
todo mais geral possvel:
16

A computao normalmente realizada escrevendo-se certos


smbolos no papel. Podemos supor que este papel dividido em
quadrados como num caderno de aritmtica para crianas. Na
aritmtica elementar o carter bidimensional do papel por vezes
utilizado. Porm, tal uso sempre evitvel, e penso que todos
concordariam que o carter bidimensional do papel no essencial
para o computo. Pressuponho, assim, que a computao realiza
da em papel unidimensional, ou seja, papel dividido em quadra
dos. Tambm pressuporei que o nmero de smbolos que podem
ser impressos finito. Se fosse permitida uma infinidade de sm
bolos, ento haveria smbolos diferindo apenas num grau arbitra
riamente pequeno. [Uma nota de rodap fornece um argumento
topolgico para esta afirmao.] O efeito desta restrio no nme
ro de smbolos no muito srio. sempre possvel usar seqncias de smbolos no lugar de smbolos isolados ... Isto est de acordo
com a experincia. No podemos verificar numa olhada se
9999999999999999 e 999999999999999 so o mesmo nmero.

Turing, desta forma, alega que um repertrio finito de sm


bolos de fato permite uma infinidade contvel de smbolos,
mas no uma infinidade de smbolos imediatamente reco
nhecveis. Observe-se tambm que a fita deve ter uma exten
so ilimitada, embora a qualquer momento o nmero de sm
bolos nela seja finito. No prximo pargrafo, deve-se ter em
conta que a palavra computador significava na poca uma
pessoa dedicando-se computao. O modelo de Turing o de
uma mente hum ana em ao.
O comportamento do computador em qualquer momento
determinado pelos smbolos que est observando e por seu esta
do mental naquele momento. Podemos supor que haja um limite
B para o nmero de smbolos ou quadrados que o computador
pode observar a cada momento. Se ele quiser observar mais, pre
cisa realizar observaes sucessivas. Tambm suporemos que o
nmero de estados mentais que precisam ser levados em conta
finito. As razes para isto so da mesma natureza que as daque
las que restringem o nmero de smbolos. Se admitssemos uma
infinidade de estados mentais, alguns deles estariam arbitraria
mente prximos e seriam confundidos. De novo, a restrio

17

no afeta seriamente a computao, uma vez que o uso de estados


mentais mais complexos pode ser evitado escrevendo-se mais
smbolos na fita.
Imaginemos as operaes realizadas pelo computador sendo
decompostas em operaes simples, to elementares que no
fcil imagin-las sendo ainda mais subdivididas. Cada operao
destas consiste em alguma mudana no sistema fsico que consis
te no computador e sua fita. Conhecemos o estado do sistema se
conhecemos a seqncia de smbolos na fita, quais destes so
observados pelo computador (possivelmente em uma ordem es
pecial) e o estado mental do computador. Podemos supor que em
cada operao simples no mais que um smbolo alterado. Quais
quer outras mudanas podem ser decompostas em mudanas
simples deste tipo. A situao no que diz respeito aos quadrados
cujos smbolos podem ser alterados desta forma a mesma que a
relativa aos quadrados observados. Podemos, portanto, sem per
da de generalidade, assumir que os quadrados cujos smbolos so
mudados so sempre quadrados "observados.
Alm de tais mudanas de smbolos, as operaes simples de
vem incluir mudana na distribuio dos quadrados observados.
Os novos quadrados observados devem ser reconhecveis imediatamente pelo computador. Parece-me razovel supor que podem
apenas ser quadrados cuja distncia do mais prximo entre os
quadrados que acabaram de ser observados no supera certo valor
fixo. Digamos que cada um dos novos quadrados observados est
a uma distncia de no mais de L quadrados de um quadrado que
acabou de ser observado.
Quanto "reconhecibilidade imediata, pode-se pensar que
haja outros tipos de quadrado que sejam imediatamente reconhe
cveis. Em particular, quadrados marcados por smbolos especiais
podem ser considerados imediatamente reconhecveis. Pois bem,
se tais quadrados so marcados apenas por smbolos nicos pode
haver apenas um nmero finito deles, e no perturbaremos nossa
teoria se juntarmos estes quadrados marcados aos observados.
Se, entretanto, eles so marcados por uma seqncia de smbolos,
no podemos considerar o processo de reconhecimento como um
processo simples. Este um ponto fundamental e precisa ser ilus
trado. Na maioria dos artigos matemticos, as equaes e teore
mas so numerados. Normalmente, os nmeros no vo alm de
(digamos) 1000. Portanto, possvel reconhecer um teorema
numa olhada pelo seu nmero. Mas se o artigo muito longo, po
demos atingir o Teorema 157767733443477 e, depois, mais alm
no artigo, podemos encontrar logo (aplicando o Teorema

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.

Turing continua: Podemos agora construir uma mquina


para fazer o trabalho do computador, ou seja, especificar uma
mquina de Turing para fazer o trabalho deste calculador hu
mano. Observe-se, tendo em vista seu significado posterior,
que Turing no levanta aqui a questo de se a mente capaz
de aes que no podem ser descritas como computaes.
Colocar esta anlise da atividade mental em primeiro plano
foi para Turing algo bem audacioso e pouco tpico dos mate
mticos. Ele acrescentou um argumento menos contencioso;
evitamos introduzir o estado mental" por meio da considerao
de um seu correspondente mais fsico e definido. E sempre poss
vel para o computador interromper seu trabalho, afastar-se, es
quecer tudo a respeito dele e, posteriormente, voltar e conti
nu-lo. Se faz isto, ele precisa deixar uma nota com instrues
(escritas em alguma forma padro) explicando como o trabalho
deve ser levado adiante. Tal nota o correspondente do estado
mental. Suporemos que o computador trabalha de maneira in
terrompida, no dando mais de um passo de cada vez. A nota de

19

instrues deve permitir a ele dar um passo e escrever a prxima


nota. Desta forma, o estado de desenvolvimento da computao
completamente determinado pela nota de instrues e os smbo
los na fita...

Observe-se, porm, que isto requer um mtodo conhecido


conscientemente em cada detalhe, ao passo que o argumento do
estado mental poderia ser aplicado a uma pessoa que execu
ta confiavelmente um processo sem ser capaz de descrev-lo
explicitamente.
Os nmeros computveis so, ento, definidos como os infi
nitos decimais que podem ser impressos por uma mquina de
Turing comeando com um fita em branco. Ele esboa uma
prova de que n um nmero computvel, assim como todo
nmero real definido pelos mtodos comuns de equao e li
mites no trabalho matemtico. Porm, armado com esta nova
definio, fica fcil mostrar a existncia de nmeros incomputveis. O ponto crucial reside em que a tabela de comporta
mento de qualquer mquina de Turing finita. Portanto, to
das as possveis tabelas de comportamento podem ser listadas
numa ordem alfabtica: isto mostra que os nmeros compu
tveis so contveis. Sendo os nmeros reais incontveis, se
gue-se que quase todos eles so incomputveis. Podemos refi
nar esta idia e exibir um nmero incomputvel particular.
Antes de mostrar a construo, uma observao deve ser fei
ta: uma tabela de comportamento pode ter a propriedade de
entrar num loop e nunca produzir mais que um nmero finito
de dgitos.
Com tudo isto em mente, colocamos de novo todas as m
quinas de Turing numa ordem alfabtica de suas tabelas de
comportamento. Descartamos aquelas que no produzem
uma srie infinita de dgitos - os nmeros computveis. Su
ponhamos que seja utilizada a notao binria, de tal forma
que os dgitos sejam 0 ou 1. Defina-se agora um novo nmero
tal que seu ensimo dgito diferente do ensimo dgito pro
duzido pela ensima mquina. Este novo nmero difere em
20

pelo menos um lugar de todo nmero computvel; portanto,


ele no pode ser computvel.
Como Turing explica, isto parece um paradoxo. Se ele
pode ser descrito finitamente, porque no pode ser computa
do? Um exame da situao mostra que o problema reside na
identificao das mquinas de Turing que no produzem infi
nitamente muitos dgitos. Esta no uma operao comput
vel, ou seja, no h mquina de Turing alguma que possa ins
pecionar a tabela de qualquer outra mquina e decidir se ela
vai ou no produzir infinitamente muitos dgitos. Tal afirma
o pode ser estabelecida mais diretamente: se existisse tal
mquina, ela poderia ser aplicada a si prpria, e esta idia po
de ser usada para gerar uma contradio. Hoje em dia, isto
conhecido como o fato de que o problema da parada no pode
ser decidido por uma mquina de Turing. A partir desta des
coberta de um problema que no pode ser decidido por uma
mquina, no um passo difcil empregar o clculo formal
da lgica matemtica e dar uma resposta negativa ao Entscheidungsproblem de Hilbert.
Um aspecto que Turing enfatizou, entretanto, o de que
no h inconsistncia em definir nmeros incomputveis; na
moderna teoria da computabilidade, eles so objeto de ma
nipulao rigorosa e argumentao lgica. Pode acontecer
que todo dgito de um nmero incomputvel possa ser cal
culado; a questo, entretanto, que para fazer isto so ne
cessrios infinitamente muitos mtodos diferentes. No
obstante, o atributo da computabilidade apia-se em terre
no firme: esta foi a assero de Turing na poca e, desde en
to, ela nunca foi questionada.

A tese de Church e a de Turing


Este seria um triunfo para qualquer um, quanto mais para
um ps-graduando de 23 anos, porm Turing foi imediata
mente vtima de um revs num caso cansativamente clssi
co de coincidncia cientfica. Antes de submeter seu artigo,
21

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

Nesta passagem, Turing d uma descrio do que hoje co


nhecido - e famoso - como tese de Church. Embora atualmente

4 A. M. Turing, "Systems of logic based on ordinais, Proc. Lond.


Math. Soc. ser. 2, 45 (1939) p.161-228. Este artigo ainda no est dis
ponvel nas Collected Works, mas reproduzido em The Undecidable.

22

lhe sejam atribudas vrias outras interpretaes, em 1936


ela consistia na tese de que a calculabilidade efetiva poderia
ser identificada com as operaes do formalismo muito ele
gante e surpreendente de Church, o do clculo-lambda. Como
tal, ela se encontrava no interior do mundo do formalismo ma
temtico. Porm, Turing oferece uma razo para explicar por
que a tese de Church deveria ser verdadeira, recorrendo a idias ex
teriores matemtica tais como as de que no se pode ver ou
escolher entre mais que um nmero finito de coisas de uma
s vez. A tese de Church agora chamada, por vezes, de tese
de Church-Turing, mas a tese de Turing diferente, por colo
car o mundo fsico em cena com uma alegao a respeito do
que pode ser feito. No deve passar sem meno que, depois
de se referir sua definio maquinai de computabilidade,
Turing tambm menciona o trabalho de Emil Post, lgico
americano de origem polonesa, que tinha igualmente trazido
uma idia de ao fsica computao. Post, entretanto, no
havia desenvolvido suas idias de maneira to completa.

A mquina universal de Turing


Uma vez que o moderno computador digital agora to im
portante para a explorao das idias de Turing, uma digres
so se faz necessria para explicar sua relao com este artigo.
E um fato surpreendente que "On computable numbers no
apenas resolveu uma importante questo hilbertiana em
aberto, abriu o novo campo matemtico da computabilidade
e proporcionou uma nova anlise da atividade mental, mas
tambm teve uma implicao prtica: ele estabeleceu o prin
cpio do computador atravs do conceito de mquina univer
sal de Turing.
A idia da mquina universal facilmente explicada. Sen
do a especificao de qualquer mquina de Turing dada por
uma tabela de comportamento, traar a operao da mquina
torna-se uma tarefa mecnica de verificar itens numa tabela.
23

Porque mecnica, uma mquina de Turing pode realiz-la,


ou seja, uma nica mquina de Turing pode ser projetada de
modo a ter a propriedade de que, quando lhe fornecida a ta
bela de comportamento de uma outra mquina de Turing, ela
faz o que a outra mquina de Turing teria feito. Turing deno
minou tal mquina universal. H um problema tcnico na co
dificao da tabela numa forma linear da fita e em arranjar
rea de trabalho, porm estes so detalhes.
Turing introduziu a mquina universal como uma ferra
menta no argumento descrito acima para a apresentao de
um nmero incomputvel. Como tal, ela no era necessria
para sua concluso relativa ao Entscheidungsproblem. Porm,
Turing deu ao surpreendente conceito um lugar de destaque
em seu artigo e, de acordo com a afirmao posterior de Newman, foi levado mesmo na poca a contemplar sua construo
prtica. a mquina universal que justifica atribuir-se a Turing
a inveno do princpio do computador - e no apenas como
um princpio abstrato, como veremos. E, hoje em dia, impos
svel estudar as mquinas de Turing sem pensar nelas como
programas de computador, e na mquina universal, como o
computador no qual rodam os programas. No difcil colo
car uma tabela de comportamento na forma explcita de um
programa moderno, no qual cada configurao se torna
uma instruo numerada, contendo condies SE, as quais di
tam a ao de escrever e o nmero da prxima instruo.
Neste ponto, necessrio certo cuidado com a terminolo
gia. A expresso mquina de Turing anloga a livro im
presso por se referir a uma classe potencialmente infinita de
exemplos. Dentro desta classe, algumas mquinas de Turing
so universais, tendo complexidade suficiente para inter
pretar e executar a tabela de comportamento de qualquer ou
tra mquina de Turing. Novamente, embora usemos a ex
presso mquina universal de Turing, existe um nmero
infinito de tipos de mquinas com esta propriedade.
24

O prprio trabalho de Turing ao construir tabelas de com


portamento deve t-lo colocado no estado mental de um pro
gramador, ainda mais em virtude de ter usado notao abrevia
da equivalente definio de sub-rotinas. No se pode afir
mar que a mente do programador teve origem no artigo de
Turing; o programa axiomtico e os engenhosos mtodos de
Godel j haviam introduzido esta forma de pensamento. Mas,
no trabalho de Turing, a idia formalizada na linguagem da
instruo em um grau tal que difcil acreditar que os compu
tadores ainda no existiam. Entretanto, deve-se enfatizar:
Turing no estava considerando as mquinas computadoras
de seu tempo. Estava modelando a ao de mentes humanas.
As mquinas fsicas viriam dez anos mais tarde.

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

Esse artigo, o mais difcil entre os que escreveu, muito


menos conhecido do que sua definio de computabilidade.
geralmente considerado como uma digresso de sua linha de
pensamento sobre a computabilidade, e aceitei esta interpre
tao em Alan Turing: the Enigma (cf. Pontos de partida para
outras leituras), essencialmente por ter seguido o ponto de
vista posterior do prprio Turing. Porm, considero agora que
na poca Turing via-se avanando a todo vapor na anlise da
mente, pelo estudo de uma questo complementar de On
computable numbers. Turing perguntou, nesse artigo, se
possvel formalizar aquelas aes da mente que no seguem
um mtodo definido: aes que se poderam chamar criativas
ou originais. Em particular, Turing concentrou-se na ao de
constatar a veracidade de um dos enunciados no demonstrveis de Gdel.
Gdel havia mostrado que, quando constatamos a veraci
dade de uma proposio no demonstrvel, no podemos
faz-lo seguindo regras determinadas. As regras podem ser
ampliadas de modo a trazer para seu mbito esta proposio
particular, mas ento haver uma outra proposio verdadei
ra que no captada pelas novas regras de demonstrao, e
assim por diante ad infinitum. Surge, assim, a questo da exis
tncia de algum tipo mais elevado de regra que possa organi
zar este processo de Gdelizao. Uma lgica ordinal consti
tui uma regra deste tipo, baseada na teoria dos nmeros
ordinais, a teoria riqussima e sutil a respeito das diferentes
maneiras em que um nmero infinito de entidades pode ser
colocado em seqncia. Uma lgica ordinal torna a idia de
assim por diante ad infinitum numa formulao precisa. Se
gundo Turing, o objetivo de introduzir lgicas ordinais evi
tar tanto quanto possvel os efeitos do teorema de Gdel. O
incomputvel no poderia ser transformado em computvel,
mas as lgicas ordinais levariam a ele tanta ordem quanto
fosse possvel.
O trabalho de Turing, em que ele provou resultados im
portantes (embora um tanto negativos) sobre tais esquemas
26

lgicos, fundou uma nova rea na lgica matemtica. Porm,


a motivao, como ele mesmo afirmou, estava na filosofia da
mente. Como em On computable numbers, ele no teve
medo de usar termos psicolgicos, sendo desta vez o termo
intuio usado para o ato de reconhecer a veracidade de
uma sentena indemonstrvel de Gdel:
O raciocnio matemtico pode ser considerado bem esquematicamente como uma combinao de duas faculdades, que pode
mos chamar intuio e engenhosidade. A atividade da intuio con
siste em fazer juzos espontneos que no so o resultado de linhas
de raciocnio conscientes. Tais juzos so freqentemente, mas de
forma alguma invariavelmente, corretos (deixando de lado a
questo do que se entende por "correto). Muitas vezes, poss
vel encontrar alguma outra maneira de verificar a correo de um
juzo intuitivo. Podemos, por exemplo, julgar que todos os intei
ros positivos so unicamente fatorveis em nmeros primos; um
argumento matemtico detalhado leva ao mesmo resultado. O ar
gumento tambm envolver juzos intuitivos, porm estes sero
menos abertos crtica que o juzo original sobre a fatorao. No
tentarei explicar mais detalhadamente esta idia de "intuio.

O exerccio da engenhosidade na matemtica consiste em


ajudar a intuio atravs de arranjos adequados de proposi
es e, talvez, figuras geomtricas ou desenhos. A idia que
quando estes so realmente bem organizados, a validade dos
passos intuitivos necessrios no pode ser seriamente posta
em dvida.
Turing explica, a seguir, como a axiomatizao da mate
mtica tinha originalmente por objetivo eliminar toda intui
o e como Gdel havia demonstrado ser isto impossvel. A
construo da mquina de Turing havia mostrado como tornar
mecnicas todas as provas formais; e, no artigo em pauta,
tais operaes mecnicas deveram ser consideradas triviais,
sendo em vez disso colocados sob o microscpio os passos
no-mecnicos que restavam.
Em conseqncia da impossibilidade de encontrar uma lgica
formal que elimina totalmente a necessidade de usar a intuio,

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.

No ficam claras as intenes de Turing a respeito de quo


literalmente a identificao com a intuio deveria ser con
siderada. Provavelmente, suas idias eram fluidas, e ele acres
centou uma advertncia: Estamos deixando de lado aquela
importantssima faculdade que distingue tpicos que tm in
teresse de outros; na verdade, estamos considerando a funo
do matemtico como sendo simplesmente a de determinar a
verdade ou falsidade de proposies. Mas a evidncia de
que, naquele tempo, ele estava aberto idia de que em mo
mentos de intuio a mente parece fazer algo fora do mbi
to da mquina de Turing. Se foi assim, ele no estava sozinho:
Gdel e Post compartilhavam esta opinio.

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

reconstrudas e publicadas.6 H uma curiosa semelhana no


estilo de falar - despojado e com argumentao por perguntas
e respostas porm o pensamento deles no estava em sin
tonia. Em um dilogo central na seqncia, eles discutiram o
significado da axiomatizao da matemtica e os problemas
que haviam surgido neste processo:
W ittgenstein:... Considere o caso do Mentiroso. de certo modo
curioso que isto tivesse deixado qualquer pessoa perplexa - mui
to mais extraordinrio que se possa pensar ... Porque o raciocnio
o seguinte: se um homem diz: "Estou mentindo, dizemos que
decorre que ele no est mentindo, de onde decorre que ele est
mentindo e assim por diante. Pois bem, e da? Pode-se prosseguir
desta maneira at o fim dos tempos. Por que no? No importa ...
trata-se apenas de um jogo de linguagem intil, e por que algum
deveria ficar nervoso com isto?
Turing: O que causa perplexidade que, em geral, se usa a contra
dio como critrio para ter feito algo errado. Mas, neste caso, no
se consegue encontrar nada errado.
W: Sim - e mais ainda: nada foi feito errado ... De onde vir o
dano?
T: O dano real no vir a no ser que haja uma aplicao, em que
uma ponte vir abaixo ou algo deste tipo.
W :... A questo : por que as pessoas tm medo de contradies?
E fcil entender porque teriam medo de contradies etc., fora da
matemtica. A questo : por que deveram ter medo de contradi
es dentro da matemtica? Turing diz: Por que algo pode dar er
rado com a aplicao. Mas no necessrio que algo d errado. E
se algo d errado - se a ponte cai -, ento seu erro foi do tipo de
usar uma lei da natureza errada ...
T: No se pode ter confiana na aplicao de seu clculo at saber
que no h contradio escondida nele.
W: Parece haver um erro enorme aqui.... Suponha que eu conven
a Rhees do paradoxo do Mentiroso, e ele diga: Minto, portanto
no minto, portanto minto e no minto, portanto temos uma con
tradio, portanto 2 x 2 = 3 6 9 . Bem, no chamaramos isto de
multiplicao, isto tudo ...

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

T: Embora no se saiba que a ponte vai cair se no houver contra


dies, quase certo que se houver contradies algo dar errado
em algum lugar.
W: Mas nada deu errado desta forma at agora ...

As respostas de Turing refletem a vertente principal do


pensamento e da prtica matemticos em vez de mostrar suas
caractersticas distintivas e suas idias originais. Em 1938,
deve-se notar, ele era um pesquisador sem estabilidade no
cargo, cuja primeira tentativa de conquistar um posto de pro
fessor havia falhado e cuja oportunidade de uma carreira con
vencional estava na matemtica estudada e ensinada em
Cambridge. Seu trabalho em lgica era apenas uma parte de
sua produo, de maneira alguma bem conhecido. Seu con
trato era para trabalhar na teoria da probabilidade; seus arti
gos versavam sobre anlise e lgebra. Neste ano, ele deu um
passo significativo na anlise da funo zeta de Riemann, um
tpico em anlise complexa e teoria dos nmeros situado no
cerne da matemtica pura clssica.
Obter enunciados livres de contradio a prpria essn
cia da matemtica. Turing talvez tenha pensado que Wittgenstein no levava suficientemente a srio as difceis ques
tes que haviam surgido na tentativa de formalizar a matem
tica; Wittgenstein achou que Turing no levava a srio a
questo de por que, antes de mais nada, a matemtica deveria
ser formalizada.
No h cartas ou anotaes que indiquem contato subseqente entre Turing e Wittgenstein e nenhuma evidncia de
que Wittgenstein tenha influenciado os conceitos de Turing
sobre as mquinas e a mente. Se se procurar alguma influn
cia nos dez anos seguintes, ela ser encontrada na Segunda
Guerra Mundial e no papel surpreendente que Turing desem
penhou nela.
O triunfo do computador
Uma caracterstica do pensamento de Turing bem pouco
tpica de um matemtico estabelecido em Cambridge que
30

seus interesses matemticos desembocavam no apenas na


filosofia, mas tambm na engenharia prtica, e isto apesar de
ele ser, em geral, muito desajeitado com as mos. As possibi
lidades das mquinas haviam conquistado sua imaginao.
Em 14 de outubro de 1936, Turing escreveu sua me:
Voc muitas vezes me perguntou sobre as possveis aplicaes
dos vrios ramos da matemtica. Acabei de descobrir uma aplica
o possvel do assunto em que estou trabalhando no momento.
Ele responde questo Qual o tipo mais geral de cdigo ou ci
fra possvel? e, ao mesmo tempo (bem naturalmente), me per
mite construir uma poro de cdigos particulares e interessan
tes. Um deles praticamente impossvel de decodificar sem a
chave e muito fcil de codificar. Suponho que poderia vend-lo ao
governo de Sua Majestade por uma soma bastante substancial,
mas tenho muitas dvidas a respeito da moralidade de tais coisas.
O que voc acha?7

Nada mais se sabe sobre esta investigao terica, mas,


em Princeton, ele se dedicou a construir uma mquina com
rels eletromagnticos que efetuavam multiplicao binria
como um dispositivo codificador, com alguma teoria de imu
nidade criptoanlise. Esta mquina de Turing no foi pre
servada nem sua teoria e tampouco conhecemos o desenrolar
de suas decises morais a respeito de sua aplicao. A prop
sito, para dar uma idia sobre o estilo da personalidade de Turing, ele estava nesta ocasio extremamente indignado com
Baldwin e o establishment britnico por se oporem ao casamento
de Edward VIII. ('No que se refere ao Arcebispo de Canterbury, considero seu comportamento vergonhoso.) Entretan
to, perdeu a simpatia pelo ex-rei ao saber que ele havia tido
comportamento imprprio com documentos oficiais. Enquan
to isso, era um perspicaz analista das perspectivas de guerra
com a Alemanha.

7 Carta a E. S. Turing, no Arquivo Turing, Kings College Cambridge.

31

De volta a Cambridge, Turing tambm projetou e em parte


construiu outra mquina, a qual aproximava por meio do mo
vimento de engrenagens a srie de Fourier funo zeta de
Riemann. Ela tinha por objetivo abreviar o trabalho duro de
encontrar as possveis localizaes dos zeros - o tpico da hi
ptese de Riemann que permanece hoje como, talvez, o mais
importante problema no resolvido da matemtica. Porm
Turing, enquanto isto, havia manifestado seu interesse em
criptografia, provavelmente atravs de canais do Kings College. Quaisquer que tenham sido os meios morais e prticos,
um milagre racional aconteceu, no qual uma pessoa desligada
do mundo encontrou uma ocupao perfeita no cerne de uma
crise mundial. Em setembro de 1938, ele comeou a trabalhar
em tempo parcial no importante problema com que se de
frontava o servio secreto britnico: a cifra alem chamada
Enigma. O avano, contudo, dependia do trabalho de mate
mticos poloneses, doado Gr-Bretanha aps a garantia bri
tnica Polnia em julho de 1939. Depois que Hitler pagou
para ver este blefe, Turing comeou a trabalhar em tempo in
tegral em Bletchley Park, a sede da organizao criptoanaltica no tempo da guerra.
Turing teve influncia substancial no decorrer da guerra.
Em resumo: (1) Ele se encarregou da verso naval do Enigma
em 1939, quando parecia no haver esperana, e encontrou
uma soluo. Ele prprio afirmou ter encarado o desafio por
que ningum mais estava fazendo coisa alguma em relao a
ele, e eu podia peg-lo para mim.8 A leitura das comunica
es com os submarinos, conseguida sob a direo de Turing,
foi, pode-se argumentar, o aspecto mais vital do trabalho em
Bletchley Park. (2) Turing coroou o projeto da mquina (cha
mada Bombe), central para a anlise de todas as comunica
es baseadas no Enigma, com a idia lgica que continha
um curioso eco da discusso com Wittgenstein, na medida

8 A. P. Mahon, History o f Hut 8 (1945), liberado do segredo pelos Natio


nal Archives, Washington DC, em abril de 1996.

32

em que dependia do fluxo de implicaes lgicas a partir de


uma hiptese falsa. (3) Turing criou uma teoria da informa
o e estatstica que fez da criptoanlise uma disciplina cien
tfica; foi o principal consultor e elemento de ligao no mais
alto nvel com o trabalho americano.
O trabalho prtico trouxe consigo a necessidade de coope
rao e organizao para as quais Turing no era uma pessoa
adequada; no incio da guerra, teve de travar uma difcil bata
lha em torno de questes de estratgia e recursos, em certo
momento aliando-se a outros analistas importantes para ape
lar a Churchill passando por cima da administrao. Mas ha
via um outro lado nesta situao desagradvel: a guerra rom
peu barreiras e lhe deu experincia prtica em tecnologia no
seu aspecto secreto mais avanado. Na paz, suas idias haviam
resultado em engenharia de pequena escala; na guerra, elas
conduziram ao computador eletrnico digital, em 1945.
As velocidades eletrnicas tiveram um primeiro impacto
no problema do Enigma em 1942 e, posteriormente, na cons
truo de mquinas eletrnicas chamadas Colossus, muito
avanadas e de grande escala, para quebrar a outra mquina
codificadora alem de alto nvel, a Lorenz. Note-se, a propsi
to, que a Colossus nada tinha a ver com o Enigma, como mui
tas vezes se afirma descuidadamente; tambm note-se que
Turing no colaborou no projeto das mquinas Colossus, em
bora tenha influenciado na definio de seu objetivo e tenha
testemunhado em primeira mo seu triunfo. Turing, por ou
tro lado, desenvolveu um projeto eletrnico prprio: em 1944,
junto com um tcnico assistente, ele construiu um scrambler de
voz usando um princpio elegante e avanado. Aparentemen
te, ao propor o scrambler de voz, que no era uma necessidade
urgente, ele tinha sua prpria agenda oculta: adquirir expe
rincia em eletrnica. O scrambler funcionou em 1945 e, ao
mesmo tempo, Turing combinou a lgica e a engenharia, ma
temtica pura e aplicada para inventar o computador.
E necessrio certo cuidado com palavras e alegaes: a pa
lavra computador mudou seu significado. Em 1936, e na
33

verdade em 1946, ela designava uma pessoa computando, e


uma mquina seria chamada um computador automtico.
At os anos 60, havia uma distino entre computadores digi
tais e analgicos; apenas a partir da, na medida em que os
computadores digitais passaram a predominar, a palavra pas
sou a designar uma mquina como a que Turing tinha em
mente. Mesmo agora, ela s vezes aplicada a qualquer m
quina de calcular. Ao mencionar o computador, tomo como
sua caracterstica distintiva a de que os programas e os dados
so igualmente considerados como smbolos que podem ser
armazenados e manipulados da mesma forma - o programa
modificvel armazenado - e esta a caracterstica sugerida
por Turing ao falar da mquina universal prtica, sua mane
ira de descrever a prpria idia.
Mesmo aqui, entretanto, necessrio tomar cuidado. Em
bora a mquina universal tivesse sido, em 1936, dotada de
instrues e rea de trabalho na forma comum da fita, as ins
trues s requeriam leitura, no manipulao ou modificao,
e assim no faria diferena se fossem armazenadas em algu
ma forma fsica inaltervel. Turing percebeu isto e conside
rou a Mquina Analtica de Babbage, em que as instrues
eram cartes fixos, como uma mquina universal. Na prtica,
contudo, o reconhecimento de que programas e dados podi
am ser igualmente armazenados em forma simblica, e mani
pulados, foi imensamente libertador. Marcou uma ruptura
com as mquinas do tipo Babbage, que haviam culminado no
ENIAC eletrnico de 1946. Ao enunciar o poder do conceito
da mquina universal, Turing estava bem frente do consen
so da poca; sua idia de que um nico tipo de mquina pode
ra ser usado para todas as tarefas encontrou vigorosa resis
tncia at o fim da dcada de 50.
As idias de Turing em tempos de paz fluam tambm em
direo filosofia. Como a guerra afetou a filosofia de Turing?
Em Alan Turing: the Enigma, afirmei que Christopher Morcom
havia morrido pela segunda vez em 1936, querendo dizer que
o conceito de esprito liberado do determinismo laplaciano,
34

que havia estimulado Turing em 1930, nunca mais seria lem


brado. Parecia-me notavelmente claro que a fascinao de Tu
ring, to emocionalmente carregada, com o problema da
mente era a chave para o mistrio de como ele, um jovem
margem, tinha dado uma contribuio definitiva e fundamen
tal com o conceito de computabilidade. Modelando a ao da
mente humana como uma mquina fsica, ele havia trazido
idias radicais e novas para o mundo da lgica simblica.
Depois de 1936, aparentemente, era o poderoso conceito de
mquina que havia conquistado sua imaginao, e os escritos
de Turing no ps-guerra apoiariam este ponto de vista. Mas,
na verdade, sua interpretao das lgicas ordinais, em 1938,
deixou a porta aberta para algo no-mecnico na mente, e
agora me parece que as opinies de Turing no mudaram de
uma vez s, em 1936, no sentido de abraar o poder total do
computvel.
Meu palpite que houve um ponto de inflexo por volta de
1941. Depois de uma luta encarniada para quebrar o Enigma
dos submarinos, Turing podia ento saborear o triunfo. M
quinas trabalhavam e pessoas desempenhavam tarefas mec
nicas sem pensar, com resultados notveis e imprevistos.
Nessa poca, ocorreu pela primeira vez uma conversa entre
Turing e o jovem I. J. Qack) Good a respeito de algoritmos
para o jogo de xadrez. Como descrevi em Alan Turing: the Enig
ma, essa viso da inteligncia mecnica deve ter provocado
grande entusiasmo; agora, vou alm e gostaria de sugerir que
foi nessa poca que ele abandonou a idia de que momentos
de intuio correspondem a operaes incomputveis. Em vez
disso, decidiu, o mbito do computvel englobava muito mais
do que poderia ser captado por meio de notas de instruo ex
plcitas, e o suficiente para incluir tudo o que os crebros hu
manos faziam, no importando quo criativos ou originais.
Mquinas de complexidade suficiente teriam a capacidade de
desenvolver comportamentos que nunca haviam sido explici
tamente programados. E foi neste perodo que ele tambm
perdeu o interesse pela lgica como uma ferramenta para exa
35

minar a realidade - embora deva ser dito que manteve um


vivo interesse na computabilidade terica no interior da mate
mtica, sendo um dos primeiros no campo quando esta foi
acoplada lgebra no fim da dcada de 40.
Foi possivelmente na mesma poca, ou dentro de meses,
que ele tambm presenciou a velocidade de megahertz em
componentes eletrnicos e o desempenho confivel do sis
tema scrambler de voz usado nas conversas telefnicas entre
Roosevelt e Churchill. Suspeito que havia apenas um peque
no passo a ser dado para perceber a possibilidade de construir
uma mquina universal de Turing real, baseada na eletrnica.
Com certeza, ao fim da guerra, ele foi cativado pela perspecti
va de explorar o domnio do computvel numa mquina uni
versal de Turing e, na verdade, usou a expresso construir
um crebro ao conversar sobre seus planos com o tcnico em
eletrnica que o assistia.
Turing foi para o National Physical Laboratory e trabalhou
em seu projeto detalhado para um computador,9 submeten
do-o a julgamento em maro de 1946. A Mquina Computadora Automtica [Automatic Computing Engine, ,4CE], como foi
batizada, veio cronologicamente em segundo lugar depois do
relatrio de junho de 1945 sobre o EDVAC, que levava o nome
de von Neumann; contudo, alm da originalidade de seu proje
to de hardware, ela era ideologicamente independente, uma vez
que: (1) foi concebida desde o incio como uma mquina uni
versal da qual a aritmtica seria apenas uma aplicao, e (2)
Turing esboou uma teoria da programao na qual as instru
es podiam ser manipuladas tanto quanto os dados.
Era uma idia extremamente estimulante, a de que a enge
nharia pudesse ser feita de uma vez por todas, de tal maneira
que novos problemas exigiram apenas trabalho mental. Tu-

9 A. M. Turing,"Proposed Electronic Calculator, relatrio do Natio


nal Physical Laboratory (1946). Publicado em B. E. Carpenter e R. W.
Doran (Org.) A. M. Turing ACE Report o f 1946 and Other Papers (MIT
Press e Tomash Publishers, 1986); republicado em Collected Works.

36

ring, claro, tomava Bletchley Park por um modelo de como


mquinas no-numricas e versteis poderam ser urgente
mente necessrias. Turing dramatizou o domnio de opera
es possveis com exemplos de longo alcance, dos quais o l
timo era o seguinte:
Dada uma posio no jogo de xadrez, seria possvel fazer a m
quina listar todas as combinaes vencedoras at uma profun
didade de trs lances de cada lado. Este problema semelhante ao
anterior, porm d origem questo: Pode a mquina jogar xa
drez?. Seria muito fcil faz-la jogar relativamente mal. Ela joga
ria mal porque o xadrez requer inteligncia. Afirmamos no incio
desta seo [ou seja, ao descrever como se faz a programao] que
a mquina deveria ser tratada como inteiramente desprovida de
inteligncia. H indicaes, entretanto, de que possvel fazer a
mquina manifestar inteligncia com o risco de cometer ocasio
nais erros srios. Explorando este aspecto, seria possvel fazer a
mquina jogar xadrez muito bem.

Esta uma afirmao crucial de seu pensamento que, a


meu ver, demonstra que, por volta de 1945, Turing havia pas
sado a acreditar que as operaes computveis tinham mbi
to suficiente para incluir comportamento inteligente, e havia
rejeitado firmemente a diretriz que havia seguido ao estudar
as lgicas ordinais. A referncia enigmtica a ocasionais er
ros srios faz sentido luz de seu argumento formulado
posteriormente (a ser considerado a seguir) para sustentar
que a incomputabilidade irrelevante para a inteligncia, e
prova que ele deve ter meditado sobre esta questo durante
a guerra.
Durante um ano Turing estabeleceu planos para a organi
zao prtica de um moderno centro de computao, com
uma biblioteca de rotinas e controle a partir de terminais re
motos, transpirando a confiana na colaborao da matemti
ca com a engenharia e a administrao adquirida em Bletchley
Park. Porm, tal plano, embora formalmente aceito, no foi
37

posto em ao; julgou-se que a mquina planejada (com cerca


de 32 kbytes, de armazenamento) era demasiado ambiciosa.
Tratada como um dbito, e no como um crdito, sua avidez
por falar abertamente da construo de crebros tornava-se
embaraosa. Em 1947, ele deixou Cambridge para um ano
sabtico.

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

10 A. M. Turing, Intelligent machinery", relatrio do National Physi


cal Laboratory (1948). A edio (de D. Michie) em Machine Intelligence, 5 (1969) p.3-23, foi reproduzida nas Collected Works.

38

nicao adequada. Mas a disciplina, com certeza, no suficiente


por si s para produzir inteligncia. O necessrio, alm disto, o
que chamamos iniciativa. Este enunciado deve fazer as vezes de
uma definio. Nossa tarefa descobrir a natureza deste resduo
... e tentar copi-lo nas mquinas.

A influncia do clima geral behaviourista parecia combi


nar facilmente com sua prpria formao na public school:
O treinamento da criana depende em grande parte de um siste
ma de recompensas e punies, e isto sugere a possibilidade de rea
lizar o processo de organizao com apenas duas entradas [nputs]
de interferncia, uma para o prazer, ou "recompensa", e outra
para a dor, ou punio ... A interferncia prazerosa tem a ten
dncia de fixar o carter, ou seja, de tornar mais difcil que ele
mude, enquanto os estmulos dolorosos tendem a perturbar o ca
rter, fazendo com que mudem caractersticas que haviam se fixa
do ... A inteno que os estmulos dolorosos ocorram quando o
comportamento da mquina errado, e os estmulos prazerosos,
quando este particularmente correto.

Supe-se, com freqncia, que os computadores tenham


comeado com aritmtica pesada e que, uma vez superada
esta etapa, os cientistas tenham se aventurado em campos
mais ambiciosos. Isto pode valer para outros, mas enfatica
mente no para Turing, que havia sempre se preocupado com a
modelagem da mente humana. (Alm do mais, nenhum com
putador no sentido moderno realizou uma nica adio at
1948.) O fato de que ele agora invadia as cincias do compor
tamento no por si s surpreendente; causa mais espanto
que tenha abraado to veementemente a opinio de que pas
sos aparentemente no-mecnicos de iniciativa eram apenas
um mecanismo oculto, dada sua prpria experincia de inspi
rao e seu conhecimento da sutileza da computabilidade. E
surpreendente tambm, a meu ver, que ele tenha usado uma
idia primitiva de educao de uma maneira acrtica, quase
exultante e perversa. Em sua experincia real de infncia, ele
havia ignorado tanto quanto possvel o treinamento social.
39

As idias de Turing no poderam ser testadas exceto


numa escala muito pequena no que ele chamou mquinas de
papel - a execuo de programas feita mo. Porm, elas fo
ram precursoras do programa conexionista ou das redes neurais
na pesquisa em inteligncia artificial, no qual o que Turing
chamou mquinas desorganizadas de suficiente complexi
dade podem ser treinadas para desempenhar tarefas para as
quais nenhuma instruo explcita foi jamais escrita e onde,
na verdade, a estrutura lgica em desenvolvimento desco
nhecida do treinador humano.
Seu relatrio de 1948, indito at 1968, no causou im
presso alguma no National Physical Laboratory, do qual,
de qualquer modo, pediu demisso abruptamente. Porm, as
idias voltam tona, expressas em termos mais gerais, no fa
moso artigo filosfico que passamos a considerar.

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.

11 A. M. Turing, Computing machinery and intelligence, Mind, 51


(1950), p.433-60; republicado em Collected Works. H pelo menos
duas tradues para o portugus deste artigo, nas coletneas Cibern
tica e comunicao (org. de Isaac Epstein; So Paulo, Cultrix/Edusp,
1973) e Crebros, mquinas e conscincia (org. de Joo de Fernandes Te
ixeira; So Carlos: Editora da UFSCar, 1996) (N. T.)]

41

0 argumento de Turing simplesmente o de que o crebro


deve tambm ser considerado uma mquina de estado discre
to. Em sua afirmao clssica, feita numa transmisso radio
fnica, em 1952:12 No estamos interessados no fato de que o
crebro tem a consistncia de um mingau frio. No desejamos
dizer: Esta mquina bem rgida, portanto no um crebro,
logo no pode pensar. A cor cinza ou o aspecto esponjoso e
mole do crebro como algo fsico so irrelevantes, e o mesmo
vale para a operao dos nervos:
Muitas vezes se atribui importncia ao fato de que os moder
nos computadores digitais so eltricos e que o sistema nervoso
tambm o ... Naturalmente, a eletricidade em geral comparece
quando se trata de sinalizao rpida, de modo que no causa sur
presa encontr-la nestes dois contextos. No sistema nervoso, os
fenmenos qumicos so pelo menos to importantes quanto os
eltricos. Em certos computadores, o sistema de armazenamento
principalmente acstico. Percebe-se, assim, que a caracterstica
de usar a eletricidade constitui apenas uma semelhana muito su
perficial. Se desejarmos encontrar tais semelhanas [ou seja, se
melhanas significativas entre o crebro e o computador], deve
mos procurar, em vez disso, analogias matemticas de funo.

A tese de Turing que as nicas caractersticas do crebro


relevantes para o pensamento ou a inteligncia so aquelas
situadas no nvel de descrio da mquina-de-estado-discreto. A materializao fsica particular irrelevante. No bem
explicitado, mas implcito em todas as afirmaes, o fato de
que a operao de uma mquina de estado discreto comput
vel. Vemos, agora, a extenso definitiva do argumento apre
sentado em 1936, o efeito da mudana de opinio que conjeturei ter ocorrido em 1941. O Turing do ps-guerra sustenta
que as mquinas de Turing podem imitar o efeito de qualquer
atividade da mente, no apenas da mente engajada num m
todo definido".

12 Transcrio no publicada, no Arquivo Turing, Kings College, Cambridge.

42

O termo de Turing, mquina de estado discreto, repre


senta uma escolha criteriosa. Ele evita expresses como es
trutura lgica que poderam transmitir conotaes falsas da
linguagem comum: o pensamento lgico como oposto do il
gico, informal ou inconsciente. Para Turing, claro que as
mquinas de estado discreto incluem mquinas com capaci
dade de aprendizagem ou auto-organizao, e ele enfatiza o
fato de estas ainda carem no domnio do computvel. Turing
chama a ateno para o conflito aparente com as tabelas de
comportamento fixas constantes da definio da mquina de
Turing, mas esboa uma prova de que as mquinas automodificveis ainda so, na verdade, definidas por um conjunto
imutvel de instrues, concluindo:
A explicao do paradoxo que as regras que so alteradas no
processo de aprendizagem so de um tipo bem menos pretensio
so, almejando apenas uma validade efmera. O leitor pode estabe
lecer um paralelo com a constituio dos Estados Unidos.

Se a tese de Turing sobre a funo do crebro aceita, en


to, de uma perspectiva materialista, o argumento fica quase
completo. O comportamento de uma mquina de estado dis
creto pode assim, pelo menos em princpio, ser registrado
numa tabela. Portanto, toda caracterstica do crebro relevan
te para o pensamento pode ser captada numa tabela de com
portamento e, assim, simulada por um computador. A nica
questo que pode restar se a velocidade e as dimenses es
paciais do crebro e a natureza de sua interface fsica com o
mundo so tambm essenciais para sua funo.
Entretanto, o restante do artigo, trazendo a definio do
teste de Turing, avana bastante no sentido de ilustrar a idia
de um crebro e sua funo como um objeto fsico cujas pro
priedades podem ser examinadas como as de qualquer outro,
e de sugerir mtodos construtivos por meio dos quais mqui
nas inteligentes poderam ser construdas. Com este objeti
vo, Turing dramatiza o ponto de vista operacional. Em vez de
43

considerar a questo Podem as mquinas pensar?, ele ex


plica: substituirei a questo por uma outra, estreitamente
relacionada a ela, que pode ser expressa em termos relativa
mente no ambguos:
A nova forma do problema pode ser descrita em termos de um
jogo que denominaremos "jogo da imitao. jogado por trs
pessoas, um homem (A), uma mulher (B) e um interrogador (C)
que pode ser de um ou de outro sexo. O interrogador permanece
numa sala separado dos outros dois participantes. O objetivo do
jogo para o interrogador determinar qual dos outros dois o ho
mem e qual a mulher.

Se a introduo de Turing para o problema da mente cria


tiva por meio de um jogo de salo com conotaes homosse
xuais havia sido calculada para ofender intelectuais bem-edu
cados, ela provavelmente teve sucesso. Infelizmente, Turing
conseguiu tambm criar uma confuso desastrosa. Embora
tivesse a inteno de esclarecer a situao do crebro sendo
testado como qualquer outro objeto fsico, para muitos leito
res o propsito do jogo da imitao obscurecido, na verdade
virado de cabea para baixo, em razo da sintaxe descuidada:
Agora, fazemos a pergunta: "Que ocorre quando uma mqui
na toma o lugar de A neste jogo?. A deciso do interrogador ser
errada com tanta freqncia quando o jogo disputado desta for
ma, em comparao a quando o jogo disputado por um homem e
uma mulher?

No tenho dvida de que o jogo disputado desta forma"


significa o jogo disputado entre um ser humano e um compu
tador fingindo ser humano. Mas existem, hoje em dia, muitos
livros, artigos, conferncias e pginas da Web afirmando que
no teste de Turing o computador desempenha o papel de um
homem que imita uma mulher. Este , na verdade, o signifi
cado literal das palavras uma mquina toma o lugar de A,
44

porm tal interpretao no se coaduna com a seguinte amos


tra de interrogatrio:
P: Por favor, escreva-me um soneto tendo por tema a ponte
Forth.
R: Estou fora desta. Nunca consegui escrever poesia.
P: Adicione 34957 a 70764.
R: (H uma pausa de 30 segundos e ento vem a resposta)
105621.
P: Voc joga xadrez?
R: Sim.
P: Tenho R em meu R, e nenhuma outra pea. Voc tem apenas
R em R( e T em T,. sua vez de jogar, qual seu lance?
R: (Depois de uma pausa de 15 segundos) T-Ts, mate.

As respostas no tm conotao alguma de gnero; so


destinadas a estabelecer inteligncia humana (inclusive uma sutileza - a adio incorreta*). O objetivo do jogo este:
se uma mquina no pode ser distinta de um ser humano nes
tas condies, ento devemos atribuir a ela uma inteligncia
humana.
Um problema mais srio que a analogia de Turing basea
da na adivinhao de gnero prejudica seu prprio argumen
to. No jogo do gnero, a enganao bem-sucedida do interro
gador nada prova sobre a realidade por trs da tela. Em con
traste com isto, Turing quer argumentar que a imitao bemsucedida da inteligncia inteligncia. De forma equivalente,
Turing define a essncia da inteligncia como aquilo que
pode ser completamente comunicado atravs da ligao com
o teletipo, em harmonia com sua tese de que o crebro rele
vante apenas na qualidade de mquina de estado discreto. Sm
bolos discretos atravs da ligao do teletipo podem repre
sentar fielmente todas as entradas e sadas de e para uma
* Ambas as tradues brasileiras (cf. nota 11) deixaram escapar a suti
leza: no percebendo que o erro era deliberado, corrigiram o original
colocando 105.721 no lugar da soma, em vez de 105.621. (N. T.)

45

mquina de estado discreto. Na formulao de Turing: O


novo problema tem a vantagem de traar uma linha relativa
mente ntida entre as capacidades fsicas e as mentais de um
ser humano.
O estabelecimento da comunicao por teletipo tem o ob
jetivo de separar a inteligncia de outras faculdades dos seres
humanos. No gostaramos de penalizar a mquina por sua
inabilidade de brilhar em concursos de beleza nem de penali
zar um homem por perder uma corrida com um avio. As
condies de nosso jogo fazem com que estas incapacidades
sejam irrelevantes". De tais condies resulta que qualidades
como gnero sejam irrelevantes e, do ponto de vista da clare
za, de se lamentar que sua introduo iconoclstica d a im
presso oposta.
Mas se o jogo de adivinhao de gnero mal compreendi
do, Turing com certeza cortejou tal confuso. Ele pintou as
pginas desta jornada ao ciberespao [cyberspace] com o
erotismo desajeitado e a curiosidade enciclopdica de sua per
sonalidade. Crticos culturais modernos empreenderam deli
ciados a psicanlise de suas passagens surpreendentes. O tex
to intelectual uma formulao austera da capacidade por
parte da mquina de estado discreto de ter inteligncia incorprea; o subtexto cheio de referncias provocativas sua
prpria pessoa, como se estivesse pondo em julgamento sua
inteligncia de carne-e-osso.
Pode-se dizer que a imitao intrnseca ao teste de Tu
ring tambm uma digresso do cerne do argumento. A an
lise da imitao levanta questes, no discutidas no texto,
tais como por que se deveria esperar de uma mquina inteli
gente que possa desempenhar um papel desonesto num jogo;
em minha opinio, isto sobrecarrega a ilustrao de Turing e
deixa escapar o ponto principal. A alegao real, como enfati
zei acima, que a funo do crebro a de uma mquina de
Turing de estado discreto, podendo, portanto, ser desempe
nhada por um computador. O colorido e o drama na escrita de
Turing so secundrios: tm a inteno de convidar uma grande
46

variedade de leitores a refletir construtivamente sobre esta


concluso, bastante antiintuitiva, porm difcil de refutar.
Imagens de tribunal percorrem o artigo: no apenas o teste
de Turing um interrogatrio, mas Turing coloca-se no ban
co dos rus e responde a objees dirigidas sua tese. Estas
diferem bastante em quo seriamente so levantadas e consi
deradas. Depois de uma resposta faceciosa aos crticos-avestruz [Heads in the Sand objectors], Turing enuncia:
A Objeo Teolgica. O pensamento uma funo da alma imor
tal do homem. Deus concedeu uma alma a cada homem e mulher,
mas no a qualquer outro animal ou s mquinas. Portanto, ne
nhum animal ou mquina pode pensar.

Esta no uma objeo feita ou respondida com seriedade,


mas usada para caoar do cristianismo, com uma referncia
heresia de Galileu como uma analogia com a sua prpria. Ele
escrevia como falava: um ateu orgulhoso, dado a tiradas antieclesisticas. Uma resposta mais sria poderia ter sido dirigi
da no apenas ao dogma religioso, mas s afirmativas mais
gerais feitas pela filosofia moral de que os seres humanos tm
propriedades (por exemplo, responsabilidade, autoridade)
que outros objetos no podem possuir. Da maneira como est
posto, o pargrafo pode divertir aqueles que concordam com
suas opinies, mas no convencer ningum que discorde.
H, contudo, um ncleo srio nesta interveno de sociedade
de debates, feita para liquidar a objeo teolgica, a de que
Deus poderia conceder alma a uma mquina. Do ponto de
vista operacional, Turing no precisava argumentar sobre se as
pessoas tm ou no almas"; ele precisava tratar apenas da
quilo que pode ser observado.
Embora enraizada em integridade intelectual, h algo de
pouco atraente na facilidade com que Turing descarta tais
questes. No perodo aps a Segunda Guerra Mundial, havia
boas razes para a preocupao com tratar pessoas como m
quinas. Em suas atitudes pessoais, Turing era um denodado
47

defensor da liberdade e da honestidade, qualidades difceis de


encaixar no contexto do jogo da imitao. Porm, questes ad
hominem sugerem a pergunta: que termos do discurso moral
teriam sido apropriados para um inocente e corajoso defensor
da verdade que havia dedicado sua mente privilegiada vit
ria sobre o nazismo, mas no podia deixar escapar uma pala
vra a respeito disto? A frivolidade tinha sua prpria seriedade
moral, o lavar as mos do mal dos anos 40. Como outros do
incio da dcada de 1950, Turing estava impaciente para ver o
futuro, tendo derrotado a tentativa de Hitler de destru-lo. E,
dadas suas referncias ao lugar das mulheres na teologia isl
mica, clonagem de seres humanos e questo da conscin
cia dos animais, no se pode acusar o artigo de ser carente de
prescincia quanto a questes morais.
Passemos agora passagem mais estranha em todos os es
critos de Turing.
O Argumento da Percepo Extra-sensorial. Suponho que o leitor
esteja familiarizado com a idia da percepo extra-sensorial e
com o significado de seus quatro itens, a saber, a telepatia, a clari
vidncia, a pr-cognio e a psicocintica. Tais fenmenos pertur
badores parecem negar todas as nossas idias cientficas usuais.
Como gostaramos de desacredit-los! Infelizmente, a evidncia
estatstica, pelo menos para a telepatia, avassaladora. muito
difcil rearranjarmos nossas idias para encaixar estes novos fa
tos. Uma vez aceitos, parece no ser um grande passo a crena em
fantasmas e bichos-papes. A idia de que nossos corpos se mo
vem simplesmente de acordo com as leis fsicas conhecidas, junto
com algumas outras ainda no descobertas mas algo semelhantes,
seria a primeira a cair.
Este argumento , em minha opinio, muito forte. Pode-se di
zer, em resposta, que muitas teorias cientficas parecem continuar
funcionando na prtica - apesar de estarem em conflito com a per
cepo extra-sensorial -, que se pode continuar a viver sem pro
blemas se se esquece de sua existncia. Este um consolo bem fra
co e h o temor de que o pensamento seja exatamente o tipo de
fenmeno em que a percepo extra-sensorial pode ser especial
mente relevante.

48

No fica claro quo srias so estas afirmaes. O ponto de


exclamao sugere ironia, a evidncia avassaladora soa lite
ral. Tudo considerado, ele parecia estar, na poca, convencido
pelas alegaes a respeito da percepo extra-sensorial como
algo observado. No h outras passagens sobre este tema nos
textos e cartas de Turing, embora fosse intenso seu interesse
por sonhos e acontecimentos estranhos. Em 1930, ele havia
tido um pressentimento da morte de Christopher Morcom no
preciso momento em que este caiu doente e, mais tarde, es
creveu: No difcil arranjar uma explicao para este tipo
de coisas que nega sua existncia - porm fico em dvida!.
Ele duvidava; era uma dvida natural.
H uma questo aqui que, embora expressa de forma elp
tica, tem um significado mais geral, a saber, que o modelo da
mquina de estado discreto se apia na operao do crebro
de acordo com as leis fsicas conhecidas, junto com algumas
outras ainda no descobertas mas algo semelhantes. Volta
remos mais tarde a esta questo.
Outras objees so colocadas mais claramente e respon
didas mais a srio, e dentre estas vou considerar primeiro a
que Turing chamou:
O Argumento da Conscincia. Este argumento est muito bem
expresso na conferncia Lister, do Prof. Jefferson, de 1949 ... Ape
nas quando uma mquina puder escrever um soneto e compor um
concerto a partir de pensamentos e emoes sentidas, e no por
uma combinao aleatria de smbolos, poderiamos aceitar que a
mquina se equipara ao crebro, ou seja, capaz no apenas de es
crever mas de saber que escreveu. Nenhum mecanismo poderia
sentir (e no apenas dar artificialmente sinais disto, um artifcio
trivial) prazer com seus sucessos, tristeza quando suas vlvulas
queimam, ficar alegre quando adulado, infeliz por causa de seus
erros, encantar-se com o sexo, ficar zangado ou deprimido quan
do no obtm o que deseja.
Este argumento parece negar a validade de nosso teste. De
acordo com a forma mais extremada desta concepo, a nica ma
neira que levaria uma pessoa a ter certeza de que uma mquina
pensa ser a mquina e sentir-se pensando. Ela poderia ento des

49

crever estes sentimentos para o mundo, mas naturalmente nin


gum estaria justificado em lhe dar ateno. Analogamente, de
acordo com esta concepo, a nica maneira de saber o que um ho
mem pensa ser este homem. Trata-se, na verdade, de uma viso
solipsista ...
No desejo dar a impresso de que penso no haver mistrio
algum sobre a conscincia. Existe, por exemplo, algo como um
paradoxo com respeito a qualquer tentativa de localiz-la. Mas
no acho que tais mistrios precisem ser esclarecidos antes de po
dermos responder questo em pauta neste artigo.

A objeo central de Jefferson a repugnncia do senso co


mum idia de se atribuir pensamento a mquinas, e seu
contedo semelhante ao da alegao de John Searle de que
falta s mquinas a intencionalidade humana. E interessan
te, ainda que anacrnico, tentar adivinhar como Turing teria
respondido parbola de Searle relativa ao Quarto Chins,
ela prpria um tipo de rplica ao drama do jogo da imitao.
Searle assume (1) que existe um algoritmo para traduzir do
chins para o ingls; (2) que este algoritmo executado no
por uma mquina, mas por uma ou mais pessoas num quarto,
trabalhando sem pensar. Ento, o texto chins traduzido,
porm nenhum dos tradutores tem o mais remoto conheci
mento ou compreenso: um paradoxo. A tese de Turing seria,
acredito, de que se isto fosse conseguido no constituira pa
radoxo algum, meramente uma dramatizao do verdadeiro
estado de coisas. Refletira o mecanismo do crebro, onde os
neurnios no tm compreenso alguma individualmente,
porm de alguma forma o sistema como um todo parece ter, e
esta aparncia tudo o que importa. Pode-se ir alm: a situa
o em Bletchley Park era estranhamente semelhante do
Quarto Chins, uma vez que, por razes de segurana, o pes
soal do servio secreto era treinado para levar a cabo algorit
mos criptoanalticos sem saber qual era seu propsito. Talvez
esta prpria viso, de juzo acertado emergindo de clculo
desprovido de pensamento, tenha servido de inspirao posi
tiva para Turing desenvolver sua concepo de inteligncia
50

mecnica, por volta de 1941. O esprito das concepes de


Turing de que o carter definido da conscincia uma ilu
so, uma qualidade que emerge da grande complexidade, e
deve, em ltima anlise, ser explicada por ela. Sua abordagem
no aceitaria a intencionalidade com uma explicao me
lhor que alma. Para um materialista, tais palavras consti
tuem uma reformulao do problema, no uma soluo.
Neste ponto, convm introduzir as idias de Roger Penrose, que compartilha a insatisfao materialista com explica
es que envolvem almas ou intencionalidade, porm consi
dera a conscincia um fato inegvel. Penrose levanta uma
questo fsica sobre a conscincia, provavelmente similar
que Turing tinha em mente ao se referir ao paradoxo na ten
tativa de localiz-la: deve-se supor que a inteligncia emerge
quando a mquina posta em funcionamento? Neste caso,
ela no consiste na mquina de estado discreto em si, porm
nisto mais sua implementao fsica. Ou residir a intelign
cia na tabela abstrata de comportamento? Mas, neste caso,
poderiamos escolher uma notao na qual o nmero 42 codi
fica a tabela de comportamento do crebro de Einstein; pode
42 ter a inteligncia de Einstein? Como diz Turing, sua pr
pria apresentao deixa tais mistrios sem soluo.
A contribuio mais positiva de Turing vem como uma
resposta ao que ele chamou:
A Objeo de Lady Lovelace. A informao mais detalhada de que
dispomos sobre a Mquina Analtica de Babbage vem de um rela
to de Lady Lovelace, no qual ela afirma: "A Mquina Analtica no
tem pretenso de originar coisa alguma. Ela pode fazer tudo o que
sabemos ordenar a ela que execute.

Esta a deixa para uma longa seo a respeito de mqui


nas que aprendem, com argumentos construtivos especifi
cando como mquinas podem fazer coisas aparentemente
no-mecnicas para as quais no se conhecem programas ex
plcitos: trata-se da primeira apresentao pblica do que de
51

nominei sua viso de 1941. Turing defende duas abordagens


diferentes - na terminologia moderna, de-cima-para-baixo
[top-down] e de-baixo-para-cima [bottom-up] - que, na verdade,
derivam de suas descries do modelo de mquina de 1936.
Notas de instruo explcitas tornam-se programao explci
ta; estados mentais implcitos tornam-se estados de mqui
nas atingidos via experincias de aprendizagem e auto-organizao. A firme segurana de Turing de que as mquinas so
capazes de tudo o que qualquer pessoa, inclusive ele prprio,
havia feito ilustrada por autodesvalorizao masoquista, e
uma passagem tem uma ressonncia particular:
A opinio de que as mquinas no podem dar origem a surpre
sas deve-se, acredito, a uma falcia que filsofos e matemticos
tendem a cometer. Trata-se da suposio de que to logo um fato
apresentado mente, todas as suas conseqncias acorrem a ela
imediatamente. A suposio bastante til em muitas circunstn
cias, porm esquece-se facilmente que falsa. Uma conseqncia
natural disto que passa-se a pensar que no h mrito algum no
mero extrair as conseqncias de dados e princpios gerais.

Turing dificilmente poderia ter datilografado tais palavras


sem uma aluso privada sua prpria contribuio dez anos
antes, num outro mundo, uma vez que seu avano decisivo
no Enigma envolveu o fluxo instantneo de implicaes, corporificadas em engenhosos circuitos eltricos. Ele estava atri
buindo ao mecnico uma capacidade de tudo, inclusive de
momentos de inspirao que abalam o mundo.
Chegamos, agora, a um grande conjunto de perguntas que
tm origem na questo de como o crebro interage com o
mundo exterior. Algumas delas so discutidas por Turing ao
lidar com as objees de Jefferson; outras, em conexo com
O Argumento das Incapacidades.
A incapacidade de saborear morangos com creme pode ter
dado ao leitor uma impresso de frivolidade. Talvez seja possvel
fazer a mquina deleitar-se com esta sobremesa deliciosa, mas

52

qualquer tentativa de implementar tal idia seria uma idiotice. O


importante nesta incapacidade que ela contribui para algumas
outras, por exemplo, a dificuldade de que possa haver entre o ho
mem e a mquina o mesmo tipo de relao amistosa encontrvel
entre dois homens brancos ou dois homens negros.

Da mesma forma como a resposta teolgica de Turing no


d conta dos temas da filosofia moral, esta passagem consiste
em observaes casuais feitas para se livrar de todo o conte
do das cincias sociais, em que pensamento e comportamen
to so dominados por influncias externas. A razo para isto
no era que Turing estava seguro de si neste terreno; ao invs,
nos tpicos relativos interao que ele se mostra mais in
seguro, preocupado com quais rgos sensoriais e motores
um crebro artificial deveria ser equipado. No avano de seu
pensamento para longe dos clculos matemticos de 1936,
ele relacionou primeiro o xadrez, a criptografia e (tentativa
mente) as lnguas, no relatrio de 1948, como tpicos onde
no necessria muita interao. Sua referncia ao fato de se
negar mquina sexo, esporte e outras atividades de inte
resse para os seres humanos deve ter soado como uma nota
bem pouco usual nos arquivos do National Physical Laboratory, e, novamente em seu relatrio de 1948, Turing distin
gue o crebro concentrado e no interagindo do processo de
interao que lhe permite aprender:
Na medida em que uma mquina, podemos dizer, o homem
uma mquina sujeita a muita interferncia ... recebendo cons
tantemente estmulos visuais e de outros tipos ... importante
lembrar que um homem embora estando concentrado pode se
comportar como uma mquina sem interferncia, seu comporta
mento neste estado em boa parte determinado pelo modo como
foi condicionado por interferncias prvias.

A no ser que o intelectual e o fsico, o interno e o externo


possam ser separados, o valor do modelo da mquina de esta
do discreta questionvel, pois a interface com o ambiente
53

torna-se crucial e os elementos robticos exigem tanta aten


o quanto simular a funo do crebro. No artigo de 1950,
Turing finalmente deixa de lado toda inibio e expe a m
quina conversa geral, porm o problema da interao fsica
ainda fonte de preocupaes:
Em vez de tentar produzir um programa para simular a mente
de um adulto, por que no a de uma criana? ... No ser possvel
aplicar mquina exatamente o mesmo processo de ensino apli
cado a uma criana normal. Por exemplo, ela no ser equipada
com pernas, portanto no se pode pedir a ela que v buscar um
balde de carvo. possvel que ela seja desprovida de olhos. Mas
no importando quo bem estas deficincias possam ser superadas
por um engenharia inteligente, no se poderia mandar a criatura
escola sem que outras crianas zombassem dela. Melhor seria ter
aulas particulares. No devemos nos preocupar demasiadamente
com pernas, olhos etc. O exemplo de Helen Keller demonstra que
a educao possvel...

Estas so preocupaes pouco tpicas de um matemtico.


Turing, porm, era mais um filsofo da natureza do que um
matemtico, e a conexo entre pensar e fazer havia inspirado
sua construo da mquina de Turing j de incio.
de esperar que as mquinas iro mais cedo ou mais tarde
competir com os homens em todos os campos puramente intelec
tuais. Mas com quais se deve comear? ... Muitos pensam que
uma atividade muito abstrata, como o xadrez, seria a melhor.
Pode-se tambm sustentar que seria mais conveniente equipar a
mquina com os melhores rgos dos sentidos disponveis no
mercado e, ento, ensin-la a entender e a falar ingls ... De novo,
no sei qual a resposta correta, mas creio que ambas as estrat
gias deveram ser tentadas.

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

Aparentemente, dado o estado inicial da mquina e os sinais


de entrada, sempre possvel prever todos os estados futuros.
Isto lembra a concepo de Laplace segundo a qual a partir do es
tado completo do universo em um momento, tal como descrito
pelas posies e velocidades de todas as partculas, seria possvel
prever todos os estados futuros. A previso que estamos conside
rando, contudo, bem mais praticvel do que a considerada por
Laplace. O sistema do universo como um todo" tal que erros
bem pequenos nas condies iniciais podem ter um efeito avassalador em momentos posteriores. O deslocamento em um nico
eltron de um bilionsimo de centmetro em determinado mo
mento pode fazer a diferena entre um homem escapar ou perder
a vida numa avalancha um ano depois. E uma propriedade essen
cial de sistemas mecnicos que denominamos mquinas de esta
do discreto tal fenmeno no ocorrer.

Talvez uma clarificao seja necessria: Turing quer dizer


que o pequeno deslocamento fsico de um eltron dentro de
um computador no afetar (exceto com um probabilidade
extremamente diminuta) o estado discreto que o computa
dor est representando. Portanto, no vai afetar a evoluo
futura da computao.
Com base nisto, Turing formula ento:
O Argumento da Continuidade no Sistema Nervoso. O sistema ner
voso certamente no uma mquina de estado discreto. Um pe
queno erro na informao sobre a intensidade do impulso nervo
so que chega a um neurnio pode fazer uma grande diferena para
a intensidade do impulso de sada. possvel argumentar que,
sendo assim, no ser possvel imitar o comportamento do siste
ma nervoso com um sistema de estado discreto.

As observaes de Turing a seguir indicam brevemente


como uma mquina digital pode imitar mquinas analgicas,
de tal forma que o carter discreto no seria uma desvanta
gem. Sobre este tpico, Penrose reforou o comentrio de Tu
ring com a observao de que efeitos de instabilidade e ampli
55

ficao tipo avalanche, hoje em dia mais bem conhecidos


atravs da anlise do caos, so desvantajosos para o crebro, e
no um argumento contra a viabilidade da inteligncia nas
mquinas.
Mas isto nos conduz objeo central de Penrose, que dirige-se no ao carter discreto do modelo da mquina de Turing, mas sua computabilidade. Penrose sustenta que a funo
do crebro deve ter evoludo atravs de processos puramente
fsicos, porm que seu comportamento - na verdade, deve
ser - incomputvel. Dada a impossibilidade de que as leis da
natureza sejam suspensas para os tomos do crebro, se
gue-se que as leis fsicas, atualmente conhecidas de modo in
completo, devem em geral ter aspectos no-computveis. Pen
rose enxerga a chave nas regras at agora desconhecidas que
governam a reduo da funo de onda na mecnica quntica.
Turing no considera tal possibilidade e, se procurarmos uma
discusso sobre quais leis fsicas ele supe servirem de base
para a funo do crebro, encontramos uma vagueza surpreen
dente, considerando o conhecimento de Turing sobre mate
mtica aplicada e teoria fsica. Alm da observao relativa
percepo extra-sensorial (contemplando a possibilidade de
leis da fsica diferentes das conhecidas at agora), h apenas o
comentrio de que mesmo que consideremos as mquinas
fsicas reais em vez das mquinas idealizadas, conhecimento
razoavelmente acurado do estado num momento resulta em
conhecimento razoavelmente acurado qualquer nmero de
etapas mais tarde. Isto pode ser elucidado por referncia a
seu relatrio de 1948 e diz respeito no mecnica quntica
mas incerteza na termodinmica clssica. A tendncia do ar
gumento de Turing, embora no enunciada explicitamente,
que uma vez atingido o modelo de mquina de estado discre
to, no importa quais exatamente so as leis fsicas. Contudo,
a discusso sobre a percepo extra-sensorial admite implici
tamente que a lei fsica est includa entre as pressuposies
subjacentes. O ponto de vista de Penrose completamente
56

diferente: para discutir o que a mente faz, como o caso de


Turing, fundamentalmente importante saber

o contedo

fsico fundamental do fazer" mental. Porm, a fsica funda


mental a mecnica quntica, no momento no totalmente
conhecida; aqui, segundo Penrose, deve residir uma incomputabilidade fundamental na natureza, da qual o crebro evo
luiu para tirar proveito.
Independentemente da teoria de Penrose, no claro como
aplicar a computabilidade a grandezas contnuas, como Tu
ring deve ter percebido desde que teve de abandonar, em
1937, sua inteno de reescrever a anlise contnua. A ques
to da computabilidade das leis fsicas, geralmente expressas
como equaes diferenciais para variveis contnuas, perma
nece um fio solto no argumento de Turing.
Com a computabilidade agora no proscnio, os problemas
da interao entre o crebro e o mundo externo merecem um
reestudo. Do ponto de vista de Penrose, eles so irrelevantes.
Se o mundo fsico computvel, ento, em princpio, o mun
do externo ao crebro pode ser simulado num computador e,
assim, todas as suas experincias poderam ser fielmente imi
tadas; conseqentemente, todas as questes referentes inter
face ficam em segundo plano em relao questo da com
putabilidade da lei fsica. A mesma opinio adotada pelos
mais confiantes proponentes da inteligncia artificial, embo
ra com o intuito oposto: eles no vem nada de errado em
conceber a simulao de todo o mundo externo, juntamente
com um nico crebro. Turing nunca sugere que se faa isto,
porm imagina uma mquina aprendendo a partir da intera
o com o mundo; neste ponto que se concentram suas
preocupaes. Penrose, considerando tais problemas irrele
vantes, concentra sua ateno nas questes da inteligncia
nas quais a interao no desempenha papel algum, questes
de matemtica pura. Na opinio de Penrose, a impossibilida
de da inteligncia mecnica pode ser vista considerando-se
apenas o domnio da matemtica, e esta impossibilidade pode
57

ser posta em termos dos nmeros incomputveis do prprio


Turing. Como nosso autor lida com esta objeo?
Como j sugeri, bem possvel que Turing tenha decidido,
no perodo de 1941, que o incomputvel, o improvvel [unprovable, no improbable] e o indecidvel eram irrelevantes
para o problema da mente. No artigo de 1950, ele expe e res
ponde ao que denomina a objeo matemtica, porm sua
resposta curta e, assim, cito a verso mais completa dada
por ele numa palestra dirigida a matemticos em 1947:
Demonstrou-se, por exemplo, que com certos sistemas lgi
cos no pode haver mquina alguma que distinga entre as frmu
las provveis e as improvveis, isto , que no h teste aplicvel
pela mquina dividindo com certeza as proposies nestas duas
classes. Assim, se uma mquina construda com este propsito,
em alguns casos ela falhar em dar uma resposta. Por outro lado,
se um matemtico se defronta com tal problema, ele pode procu
rar e encontrar novos mtodos de prova, de tal modo que deve ser
capaz de chegar a uma deciso sobre qualquer frmula dada. Seria
este o argumento. Em resposta, eu diria que se deve ser justo com
a mquina. Em vez de s vezes no dar resposta alguma, poderia
mos fazer um arranjo em que ela s vezes d respostas erradas.
Porm, o matemtico humano tambm cometera lapsos ao ten
tar novas tcnicas. fcil para ns descontar tais lapsos e lhe dar
mais uma chance, porm com a mquina provavelmente no se
teria misericrdia. Em outras palavras, se se espera que a mqui
na seja infalvel, ento ela no pode ser tambm inteligente.13

Essa passagem explica a alegao do relatrio ACE de


1946 a respeito de indicaes de inteligncia nas mquinas
ao custo de erros graves. Penrose contesta o argumento de
Turing: no esperamos que a inteligncia na matemtica de
penda de cometer erros e, mesmo se um resultado errado,
ele pode ser confiavelmente verificado e corrigido por outros

13 A. M. Turing, Conferncia para a London Mathematical Society, 20


de fevereiro de 1947. Texto no Kings College Archive, publicado no
volume da MIT Press (cf. nota 9); republicado nas Collected Works.

58

quando comunicado. De fato, a prpria essncia da intelign


cia matemtica consiste em ver a verdade. No artigo de 1950,
Turing acrescenta uma outra afirmao, tambm muito bre
ve: Seria impossvel triunfar simultaneamente sobre todas as
mquinas. Em resumo, pode haver homens mais inteligentes
do que qualquer mquina dada, mas, de novo, pode haver ou
tras mquinas mais inteligentes, e assim por diante. Pode-se
contrastar isto com a exposio detalhada e explcita de Penrose do triunfo humano sobre qualquer mquina de Turing
capaz de juzos parciais sobre o problema da parada por uma
argumentao que um desenvolvimento de ver a verdade
dos enunciados improvveis de Gdel. Isto, no argumento de
Penrose, estabelece que a mente capaz do incomputvel. A
assertiva seca de Turing, colocando o homem e a mquina no
mesmo p, nada mais que uma reafirmao de sua tese de
que a funo do crebro a de uma mquina de estado discre
to; ela no constitui evidncia adicional a seu favor.
Assim, no decorrer da guerra, Turing descartou o papel da
incomputabilidade na descrio da mente, a qual havia antes
explorado cautelosamente com as lgicas ordinais. As opi
nies de Turing encontraram um grande nmero de seguido
res no apenas na cincia da computao, mas tambm na fi
losofia e nas cincias cognitivas. Em grau surpreendente, a
matria da lgica matemtica, no tempo de Russell uma in
vestigao sobre a verdade fundamental, seguiu o exemplo de
Turing e veio a se justificar como um adjunto da cincia da
computao. Contudo, Turing teve cuidado em no apresen
tar suas concluses como um dogma, mas sim como conjeturas construtivas a serem testadas pela investigao cientfica.
Acredito que daqui a cerca de cinqenta anos ser possvel
programar computadores com uma capacidade de armazenamen
to de 109 e faz-los disputar o jogo da imitao to bem que um
interrogador mdio no ter mais de 70% de chance de fazer a
identificao correta depois de cinco minutos de interrogatrio. A
questo original, "Podem as mquinas pensar?, , a meu ver, por

59

demais desprovida de significado para merecer discusso. Creio,


contudo, que no fim deste sculo o uso das palavras e a opinio
esclarecida em geral tero mudado tanto que ser possvel falar de
mquinas pensantes sem esperar ser contestado. Acredito tam
bm no haver vantagem alguma em ocultar tais crenas. A con
cepo popular de que os cientistas procedem inexoravelmente
de fatos bem estabelecidos para fatos bem estabelecidos, no sen
do em momento algum influenciados por qualquer conjetura sem
prova, est completamente equivocada. Desde que se deixe claro
quais so os fatos provados e quais so as conjeturas, nada de mau
pode resultar. As conjeturas tm enorme importncia pois suge
rem frutferas linhas de pesquisa.

Uma caracterstica notvel da situao do teste de Turing


a de exigir no tanto um juiz, mas um jri: no um especia
lista, mas a humanidade comum. A democracia do pensa
mento de Turing se mostrou bem resistente. medida que
novas aplicaes dos computadores entram em circulao, a
tecnologia da Internet tornar ainda mais intenso o drama futurstico do teste de Turing. Poderemos todos julgar por ns
mesmos.
O nmero de cinqenta anos parece derivar de uma esti
mativa de sessenta pessoas trabalhando durante este perodo
de tempo na escrita dos cdigos necessrios: de forma algu
ma, uma proposta prtica de pesquisa e, de fato, nenhuma
proposta deste tipo foi feita. Em julho de 1951, Turing teve
acesso a uma mquina mais confivel em Manchester, mas
no h indicaes de que ele a houvesse usado para simular re
des neurais nem para codificar algoritmos para o jogo de xa
drez. Junto com um pequeno grupo sua volta, publicou arti
gos14 sobre o tpico Computadores digitais aplicados aos
jogos, em 1953, que constituem um pioneirismo na pesqui
sa sobre a inteligncia de mquinas. Porm, esse avano no

14 B. V. Bowden (Org.) Faster than Thought (Pitman, 1953). Turing con


tribuiu para a seo relativa ao xadrez (p.288-95), e o texto repro
duzido nas Collected Works.

60

teve impacto algum na outra iniciativa em direo intelign


cia artificial empreendida por Newell, Simon, Minsky e
McCarthy nos Estados Unidos. Turing nunca escreveu o li
vro sobre a teoria e a prtica da computao que teria estabe
lecido sua reputao. Tambm no estava disposto a argu
mentar e lutar por estratgia e apoio concreto: ele havia feito
isto com sucesso em 1940 para o Enigma naval, sem sucesso
em 1946 para o ACE; depois desta vez, no voltou a tentar.

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

15 A. M. Turing, "The Chemical basis of morphogenesis, Phil. Trans.


R. Soc. London B 237 (1952) p.37-72; reproduzido nas Collected
Works.

61

colha, na medida em que o problema continua sem soluo,


porm sua pesquisa, como o primeiro usurio da computao
eletrnica para uma investigao matemtica sria, estava
vinte anos alm de seu tempo e cheia de descobertas em po
tencial. Num olhar retrospectivo, notamos que a elucidao
da dinmica catica veio a surgir, mais tarde, precisamente
daquele tipo de experimento computacional.
Neste trabalho, Turing lutou contra uma catstrofe pessoal.
Em dezembro de 1951, encontrou um jovem em Manchester
e lhe falou a respeito do crebro eletrnico. Uma relao in
satisfatria levou a uma chantagem indireta, explorando o
fato de que toda relao sexual entre homens era na poca ile
gal. Resistindo a ela, Turing foi polcia, sendo detido. Impenitente, e sem se envergonhar durante o julgamento, teve de
concordar em ser submetido a injees de estrognio para su
postamente neutralizar sua suposta natureza antinatural. A
alternativa teria sido a priso. Considerado um risco de segu
rana pelos regulamentos do ps-guerra, ele foi impedido de
manter o trabalho que havia continuado a fazer para o GCHQ
[Government Communications Headquarters], o sucessor do Bletchley Park no tempo da Guerra Fria. Passou a ser vigiado e,
possivelmente, submetido a outras presses.
Turing reclamava de falta de concentrao; contudo, por
dois anos desenvolveu uma quantidade de idias geomtricas
e analticas; tambm se voltou para novos tpicos ou, me
lhor dizendo, velhos tpicos reviveram. Em particular, ficou
intrigado com a concepo ortodoxa da reduo da funo de
onda na mecnica quntica, notando o paradoxo de que a ob
servao contnua congela a dinmica. Contou a Robin Gandy
sua nova idia para a mecnica quntica: A descrio deve
ser no-linear, a previso linear.16 E possvel que ele tivesse
em mente uma teoria quntica no-linear na qual a reduo
16 Carta de junho de 1954 de Robin Gandy para M. H. A. Newman, no
Arquivo Turing, Kings College, Cambridge.

62

emergira como a quebra de simetria em sua teoria morfogentica no-linear.


Para aliviar a depresso e a raiva, voltou-se para a terapia
junguiana e encontrou um novo interesse em registrar seus
sonhos por escrito. Numa visita a Blackpool no comeo de
1954, com o terapeuta da famlia, consultou uma cartomante
cigana, e saiu branco como uma folha de papel. Permane
ceu calado durante o resto do dia; no deixou nota alguma ao
se suicidar na segunda feira de Pentecostes, 7 de junho de
1954. O simbolismo da ma envenenada com cianureto que
comeu foi sua linguagem. Que palavras teriam sido suficien
tes? As pilhrias, como talvez no artigo de 1950, constituam
sua defesa sria da ironia inefvel do mundo. Depois de sua
priso, escreveu:
Turing acredita que as mquinas pensam
Turing vai para a cama com homens
Portanto, as mquinas no podem pensar17

e, pouco antes de morrer, mandou cartes postais intitulados


Mensagens do Mundo Oculto - referindo-se explicitamen
te a Eddington, com algumas aluses de criana de escola, e
um verso relativista maneira de um hino religioso:
Hyperboloids of wondrous Light
Rolling for aye through space and time
Harbour those waves which somehow might
Play out Gods holy pantomime.18

Teria a agenda antiga da natureza do esprito voltado su


perfcie? Teria ele reconsiderado sua filosofia, trazendo um

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

substrato da mecnica quntica para o quadro do estado dis


creto? Em minha biografia, sugeri que a intensidade emocio
nal e a brutal interferncia deste perodo podem ter solapado
sua certeza no modelo mecnico da mente, mas no apresentei
evidncia alguma, pois elas no existem. Sua ltima publica
o,19 no Penguin Science News, foi escrita como um artigo mo
derno da Scientific American e intitulada Solvable and unsolvable problems. Escrita com vivacidade, mas da perspectiva de
um matemtico, suas palavras finais diziam respeito inter
pretao dos problemas insolveis, tais como o problema da
parada para as mquinas de Turing. Elas so pouco convin
centes: Estes ... podem ser considerados como avanando
um tanto rumo a uma demonstrao, no seio da prpria ma
temtica, da insuficincia da razo' no apoiada no senso co
mum. No h mais indicao alguma.
A filosofia de Alan Turing pode parecer como o extremo
do reducionismo, em sua atomizao do processo mental e
seu sarcasmo pelo no-material. Contudo, ela depende de
uma sntese de concepes que vai contra a corrente de um
mundo intelectual fragmentado em muitas especialidades
verbais, matemticas ou tcnicas. Ele pregou o computvel,
porm nunca perdeu a admirao natural; a lei matou e o es
prito deu vida.

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.

19 A. M. Turing, "Solvable and unsolvable problems, Penguin Science


News, 31 (1954), p.7-23. Reproduzido nas Collected Works.

64

Pontos de partida para outras leituras


Herken, Rolf (Org.) A Mquina Universal de Turing (Oxford
University Press, 1988) inclui artigos definitivos sobre o
conceito de computabilidade.
Hinsley, F. H., Stripp, Alan. (Org.) Codebreakers, the Inside
Story o f Bletchley Park (Oxford University Press, 1993).
Hodges, Andrew. Alan Turing: the Enigma (London: Burnett e
Hutchinson, 1983; Nova York: Simon & Schuster, 1983;
nova edio London: Vintage, 1992).
Hodges, Andrew. http://www.turing.org.uk Site com atualiza
es de informao e comentrios, bibliografia, links, ima
gens e mquinas de Turing.
Millican, P. J. R., Clark, A. (Org.) Machines and Thought: the Legacy o f Alan Turing (Oxford: Clarendon Press, 1996).
Penrose, Roger. Beyond the doubting of a shadow (Psyche,
electronic journal, 1996: http://psyche.cs.monash.edu.au/volume2-l/psyche-96-2-23-shadows-10-penrose.html) a melhor
introduo s idias desenvolvidas por Penrose em The
Emperofs New Mind (Oxford University Press, 1989) [ed.
bras.: A mente nova do rei: computadores, mente e as leis da
fsica. Rio dejaneiro: Campus, 1991] e Shadows o f the Mind
(Oxford University Press, 1994).

65

SOBRE O LIVRO

Coleo: Grandes Filsofos


Formato: 11 x 18 cm
Mancha: 20 x 38,2 paicas
Tipologia: IowanOldSt Bt 9/12
Papel: Plen 80 g/m2 (miolo)
Carto Supremo 250 g/m2 (capa)
Ia edio: 2001

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

Com fotolitos fornecidos pelo Editor

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

Alan Turing 1912-1954


O artigo de Alan Turing On Compulable \umbers. de 1956. em que se
apresenta a mquina de Turing. lui um marco no pensamento do
sculo X\: exps um problema profundo para os fundamentos da
matemtica, forneceu os princpios do computador eletrnico
desenvolvido no ps-guerra e propiciou, tambm, uma nova
abordagem da Filosofia da Mente.
Influenciado pelo seu crucial trabalho de desvendamento de cdigos
durante a Segunda Grande Guerra e pela pioneira elaborao dos
primeiros computadores eletrnicos, Turing sugeriu que todas as
operaes da mente poderam ser desempenhadas por computadores.
Sua tese. que se tornou famosa com o humor e drama do chamado
Teste de Turing. constitui o fundamento da moderna Inteligncia
Artificial.

Neste livro. Andrew I lodges prov uma anlise original e crtica do


desenvolvimento do pensamento de Turing. relacionando-o sua vida
extraordinria e tambm s mais recentes idias de Roger Penrose.
\ndrew I lodges professor no Wadham College. Oxford. A biografia
Alan Turing: lhe F.nignui, de sua autoria, foi publicada em 1985.