Formalizou a computação antes de o computador existir. Quebrou códigos nazistas que ajudaram a encurtar a Segunda Guerra. Propôs o teste que define o debate sobre máquinas pensantes. Depois, foi condenado por seu próprio país. A história de Alan Turing é genialidade e injustiça na mesma medida.
máquina de Turing
Máquina de Turing: o que é e por que ela é universal?
A máquina de Turing é um modelo abstrato criado para definir o que significa calcular. Sua versão universal mostrou que uma única máquina pode executar diferentes procedimentos — uma ideia fundamental para entender os computadores e, muito depois, a inteligência artificial.