Alan Turing e a matemática

Alan Turing nasceu em Londres em 23 de junho de 1912 numa família de classe média alta. Ainda bebê foi “abandonado” pelos pais, deixado aos cuidados de um coronel reformado e sua esposa e depois educado em um internato. O pai de Alan estava no Serviço Civil indiano e junto com a mãe voltou para a Índia, na época colônia britânica, no ano seguinte ao nascimento do futuro matemático. Esse distanciamento precoce, que muitos pais ingleses viam como normal, trouxe sequelas para Alan, como uma gagueira acentuada e uma autossuficiência que caracterizava-se pela excentricidade.

Quando os pais dele definitivamente retornaram da Índia, optaram por morar na Bretanha (França). Alan aprendeu o francês rapidamente e ingressou numa prestigiosa escola pública em Dorset. Lá descobriu seu profundo interesse pela matemática. E também mostrou seu talento para corridas de longa distância. Por conta própria, estudava assuntos como relatividade e criptografia. Nessa época, conheceu Christopher Morton, estudante que era visto como o melhor matemático do colégio. Os interesses comuns pela matemática criaram uma forte amizade entre eles. Para Turing, no entanto, aquilo era mais do que uma amizade. Ele estava apaixonado por Christopher. Mas Turing não era capaz de admitir e quando Morton, alguns anos depois, morreu em função de uma tuberculose bovina, Turing ficou arrasado.

Contemplado com uma bolsa para o King’s College, em Cambridge, Turing enquanto estudava matemática tentava em silêncio compreender sua sexualidade. No King’s, ele voltou suas atenções para a lógica matemática. Algumas décadas antes, dois professores de Cambridge, Bertrand Russell e Alfred Whitehead, haviam publicado “Principia Mathematica”, uma obra que tentava fornecer um fundamento filosófico para a matemática. Desde então, ela tinha se desenvolvido a ponto do enfant terrible da lógica, o austríaco Kurt Gödel ter concluído que a matemática e a própria lógica eram ilógicas!

Turing começou então a se dedicar a descobrir quais eram os procedimentos mecânicos que poderiam ser usados para se determinar se uma proposição matemática era ou não suscetível de prova. Ele sugeriu o conceito de uma máquina capaz de identificar proposições arbitrárias num sistema matemático. Nesse conceito o cálculo era definido em termos matemáticos precisos. Turing estabeleceu o projeto teórico de uma máquina que poderia desempenhar essa tarefa. Com isso, ele definira os limites de tudo o que o computador poderia fazer no futuro.