Alan Turing
(1912-1954)
Alan Turing trabalhou com
Claude Shannon e
John von Neumann para concretizar fisicamente sua ideia de 1937 de um computador universal, a "Máquina de Turing".
Partindo dos teoremas da incompletude de Kurt Gödel, ele reformulou os resultados de Gödel sobre os limites da prova e da computação, substituindo a linguagem formal universal baseada em aritmética de Gödel pelos dispositivos hipotéticos formais e simples que ficaram conhecidos como Máquina de Turing.
Turing não resolveu o problema da decisão de David Hilbert ( Entscheidungsproblem ), mas o reformulou em termos de sua máquina computacional como o problema de saber se um computador algum dia pararia (com um resultado), conhecido como o problema da parada. Von Neumann afirmou que o conceito central do computador moderno se deve ao artigo de Turing.
Turing recebeu seu doutorado em Matemática pela Universidade de Princeton em 1938, onde estudou com Alonzo Church, que também publicou trabalhos sobre o problema da parada. Von Neumann queria contratar Turing como seu assistente de pós-doutorado, mas ele retornou ao Reino Unido, onde realizou seu famoso trabalho em Bletchley Park, construindo máquinas capazes de decifrar os códigos das máquinas Enigma nazistas.
Herbert Simon sugere que o ensaio de Turing de 1950, "Computing Machinery and Intelligence", seja considerado o início da Inteligência Artificial (IA).
Normal |
Professor |
Pesquisador
|
