Turing

Alan Turing foi um dos maiores matemáticos ingleses de sempre. Quem não conhece o célebre teste de Turing sobre a consciência? Alan Turing teve um papel decisivo na segunda guerra, ao liderar o grupo que decifrou a máquina de codificação alemã, "Enigma". No final da guerra, este lógico desenhou vários computadores e é considerado por muitos como o pai da "teoria da informação" e dos actuais computadores. Alan Turing era homossexual e foi, por issso, acusado de perversidade, sendo condenado a um tratamento hormonal. Directa ou indirectamente (hipótese plausível: suicídio) morreu por causa desta "cura". No dia 28 de Maio de 1936, Turing publicou um dos seus ensaios mais célebres "On Computable Numbers, with an Application to the Entscheidungsproblem (problema de decisão)", discutindo um dos sonhos mais caros a Leibniz, a saber, um algoritmo que determinasse os valores de verdade dos enunciados aritméticos.