Alan Turing

Motivao de Christopher Morcom

Extremamente frente de seu tempo

Paixo desde novo pela Cincia e Matemtica

Criador de alguns dos principais fundamentos da rea da

Computao como os termos algoritmo e mquina computadora

Vtima da discriminao social da poca, suicidou-se

A maquina de Turing

dele, por exemplo, a definio de 1937 do que se constitui a

mquina digital abstrata (isto , existente em nossa mente ou no papel
no h sentido em construir-se uma, pois seria extremamente ineficiente)
mais elementar e geral que se pode imaginar: a Mquina de Turing (MT).
Esse nome foi dado pelo famoso lgico Alonzo Church, numa reviso de um
artigo de Turing de 1937, que se tornou um dos pilares da matemtica.
Nele, Turing mostra que, contrariamente conjetura feita em 1928 pelo
grande matemtico alemo David Hilbert, existem afirmaes da
matemtica que so indecidveis, isto , no existe um procedimento efetivo
para decidir se elas podem ser provadas dentro de um sistema matemtico
formal. Um exemplo clssico disso na computao que impossvel
elaborar um programa que examine um outro e decida se este termina a
sua execuo, para qualquer dado de entrada. Para isso, Turing teve uma
inspirao depois de uma de suas longas corridas tarde: pensou em
inventar uma mquina abstrata que pudesse provar qualquer afirmao
matemtica dada a ela. E a surgiu o famoso modelo, a MT com a qual ele
acabou provando que aquilo era impossvel. A MT um mecanismo abstrato
extremamente simples: pode-se imagin-la assumindo um nmero finito de
estados (uma lmpada com interruptor tem s dois: apagada ou acesa),
usando uma fita infinita dividida em clulas, onde inicialmente esto
gravados certos smbolos. Um cabeote de leitura e de gravao pode varrer
a fita, uma clula de cada vez. Se a mquina est em um certo estado, para
cada possvel smbolo na clula da fita examinada pelo cabeote, definida
uma transio, que consiste em mudar o smbolo dessa clula examinada
pelo cabeote (eventualmente para o mesmo que l estava), mover a fita
uma clula para a esquerda ou direita, e desviar para um estado
(eventualmente o mesmo de antes). O incrvel que no se consegue
inventar nenhuma mquina digital que consiga resolver mais problemas
matemticos que essa trivial MT consegue! (Essa a chamada Tese de
Church-Turing.) E tambm no se consegue imaginar uma mquina to
geral ainda mais simples. Ainda mais, sempre possvel programar uma MT
(isto , definir as suas transies) para simular qualquer outra MT, ou seja,
a primeira recebe na fita uma descrio das transies da segunda, mais os
dados a serem usados por esta ltima, e passa a executar o programa dela.
Da veio a noo de Mquina Universal. Essa universalidade aplica-se aos
computadores digitais modernos: qualquer um, com capacidade suficiente,
pode simular qualquer outro; a grande diferena entre eles e a MT que
esta tem uma fita infinita, e suas instrues so as mais elementares
possveis.

Em 1935, Alan Mathison Turing tinha 22 anos e era ainda estudante de matemtica, na
Universidade de Cambridge (Reino Unido), quando idealizou uma calculadora de capacidade infinita que
funcionaria com base numa srie de instrues lgicas, as quais seriam executveis atravs de um
sistema binrio. Da surgiu o conceito de algoritmo, um conjunto predeterminado de regras bem definidas
e operaes que permitem resolver um problema em sucessivas etapas. Turing tambm estipulou que o
aparelho podia ser usado para calcular qualquer sequncia computvel, um avano terico fundamental
que conduziria ao conceito de programa informtico armazenado. Por outras palavras, o brilhante e
excntrico cientista abrira caminho ao computador moderno.

A Bombe e a Enigma

Alm disso, revelou-se um perfeito pirata informtico ao colaborar, durante a Segunda Guerra Mundial, na
criao de um dispositivo de anlise criptogrfica, a que chamaram Bomba, que podia decifrar as
mensagens codificadas da clebre mquina alem Enigma, utilizada pelos nazis para dirigir as suas
operaes navais. Graas ao seu trabalho, os aliados venceram o confronto antes do previsto.

Trabalhou com criptoanlise durante a Segunda Guerra Mundial,

desenvolvendo em 1940 a mquina chamada Bombe, usada para decifrar o
cdigo produzido na Enigma, utilizada pelos alemes para comunicao.
 Desta forma, Alan Turing foi uma importante jogada para a vitria dos
aliados.

O Teste de Turing

humano ou no?

Em 1950, o matemtico ingls props uma experincia, conhecida como teste de Turing, cujo objetivo
era determinar se uma mquina pode ser considerada inteligente. Consiste em colocar um operador e um
computador numa sala e um rbitro noutra. Este faz uma srie de perguntas e, consoante as respostas,
deve descobrir se pode atribu-las ao ser humano ou mquina. Estes tm a opo de mentir.

A tese de Turing que, se forem igualmente hbeis a responder, o rbitro no conseguir distinguir quem
quem. At agora, nenhum computador conseguiu passar no teste, mas alguns especialistas em
inteligncia artificial no o consideram relevante, pois acham que avalia o comportamento humano de
uma mquina, e no o seu comportamento inteligente, o que diferente.

Teoria da Computao

Em 1928, David Hilbert propos o chamado Entscheidungsproblem, que

pergunta se existe um metodo mecanico (automatico) para determinar
se uma dada sentenca logica segue ou nao de um conjunto de axiomas
(axioma = premissas hipoteticamente verdadeiras)

Alonzo Church forneceu uma modelagem baseada em funcoes matem

aticas (o -Calculo). I Na mesma epoca (1935-1937), e de forma
independente, Turing forneceu uma modelagem baseada em uma maquina
com um pequeno conjunto de operacoes simples: a Maquina de Turing.
I O trabalho de Turing foi publicado no artigo On Computable Numbers,
with an Application to the Entscheidungsproblem, submetido em maio de
1936. I Neste artigo, Turing apresenta quatro pontos fundamentais da Teoria
da Computacao:

1) Turing formaliza um procedimento mecanico ou um algoritmo, como

uma tarefa que pode ser executada por uma Maquina de Turing.

2) Turing apresenta a Maquina de Turing Universal, uma Maquina de Turing

capaz de simular o funcionamento de qualquer outra Maquina de Turing.

3) Turing mostra que existem problemas que nao sao algoritmicamente

soluveis, mostrando que o Problema da Parada e um destes problemas.

4) Turing mostra (no apendice) que o seu modelo de Maquinas de Turing

e completamente equivalente ao modelo do -Calculo.

Inteligencia Artificial Fraca e Forte

Explicar a questo da lngua chinesa entre uma pessoa fora do quarto e

outra dentro. Como comprovar que a traduo que vem de dentro uma
pessoa? Pode ser NO possvel. Porm, entre o ser humano e a maquina,
quem realmente compreende o que est falando? A mquina utiliza de
regras PREDEFINIDAS. Isso se chama IA fraca.

Computador Super-Turing e Church-Turing

Entre tantas dificuldades no desenvolvimento de uma inteligncia artificial

forte, Hava Siegelmann, especialista em redes neurais, surge com uma
tcnica conhecida como Super-Turing, que vem sendo aprimorada por ela
desde 1993.

Hava e Jeremie demostraram que, quando o sistema instalado em um

ambiente que fornece estmulos sensoriais constantes, como no mundo real,
e quando todos os pares de estmulo-resposta so levados em conta pelo
tempo de vida da mquina, o modelo SuperT u r i n g p r o d u z u m c o n j
u n t o d e comportamentos que cresce exponencialmente em relao ao
que gerado por uma computao clssica de Turing. Isso, segundo eles,
mostra que esse modelo superior para para o aprendizado e para a
execuo de tarefas similares s dos humanos.

mundo psTuring

Propostas

- Uma Mquina de Turing que pode completar infinitamente muitos passos.

Simplesmente ser capaz de executar por um numero infinito de passos no
suficiente. Um modelo matemtico a "mquina Zeno" ou Zeno machine
(inspirada no Paradoxos de Zeno).

- A mquina de Turing com orculo, definida por Turing em 1939.

- modelos permitiram alguns conjuntos no-recursivos de nmeros ou linguagens

(inclusive todos os conjuntos recursivamente enumerveis de linguagens) de
serem "aprendidos no limite"; enquanto que, por definio, apenas conjuntos
recursivos de nmeros ou linguagens poderiam ser identificados por uma Mquina
de Turing

- Uma tcnica proposta conhecida como "no-determinismo ilimitado"(unbounded

nondeterminism) pode permitir a computao de funes no-computveis.