Alan Turing
Matemático britânico e considerado o pai da Ciência da Computação, dedicou-se a comprovar teoremas e à Teoria da Computabilidade. Foi responsável pelo projeto Colossus, computador inglês utilizado na Segunda Guerra Mundial, cuja missão era decifrar códigos alemães produzidos por um tipo de máquina de codificação chamada Enigma. Consagrou-se com a criação de um dispositivo teórico: a Máquina de Turing, que de acordo com um sistema formal, pudesse fazer operações computacionais.
A Máquina de Turing, é um modelo abstrato de um computador, que se restringe apenas aos aspectos lógicos do seu funcionamento (memória, estados e transições) e não à sua implementação física. Numa máquina de Turing pode-se modelar qualquer computador digital. Através dela, Turing mostrou ser possível o processamento de símbolos, ligando a abstração de sistemas cognitivos e a realidade concreta dos números, tarefa buscada até hoje por pesquisadores de sistemas com Inteligência Artifical (IA).
Para comprovar a inteligência artificial ou não de um computador, Turing propôs o Teste de Turing. Isto é, um programa é inteligente se a pessoa que participa no teste não for capaz de dizer se foi o programa ou o ser humano que respondeu às suas perguntas.
Obras:
- Turing, A.M. (1950). Computing machinery and intelligence. Mind, 59, 433-460. Mais aqui!
- Turing, A. M (1936). On Computable Numbers with an Application to the Entscheidungs problem. Proc. London Math Society, 2(4):230-265, 1936. Reprinted in Martin Davis, Ed., The Undecidable (New York: Raven, 1965), pp. 116-151. Veja em pdf.