Matemático inglês conhecido sobretudo graças à sua Máquina de Turing e ao Teste de Turing, dizendo ambos respeito à relação entre a computação e a mente. O trabalho de Turing em lógica matemática, nos finais da década de 1930, sistematizou ideias de Gödel e Church quanto a uma descrição abstracta do que um agente finito idealizado poderia computar. Na segunda guerra mundial Turing trabalhou na decifração dos códigos alemães, e em particular nas máquinas de computação necessárias para essa tarefa. Depois da guerra trabalhou nos primeiros computadores digitais e em 1950 publicou o artigo "Computing Machinery and Intelligence" na revista Mind. Neste artigo, propõe um teste para o pensamento: uma máquina pode pensar se não for possível distinguir as suas respostas a perguntas das respostas de um ser humano. (In The Oxford Companion to Philosophy, Oxford University Press, 1995.)
Nenhum comentário:
Postar um comentário