e cientista da computacao britanico, obcecado desde 1935 com a ideia de demonstrar matematicamente a insolubilidade do problema de decisao, foi fundamental no desenvolvimento da ciencia da computacao e proporcionou uma formalizacao do conceito de algoritmo, atraves do modelo matematico idealizado que ficou conhecido como "maquina de Turing". Tendo desempenhado importante papel na quebra do codigo criptografico da maquina ENIGMA utilizada pelo exercito alemao na Segunda Guerra Mundial, passou de heroi de guerra a um fora-da-lei sujeito a tratamento quimico-hormonal forcado devido a sua homossexualidade, pratica considerada ilegal a sua epoca na Gra-Bretanha.Encontrado morto em cenario indicativo de suicidio, Turing foi de fundamental importancia na consolidacao da ciencia da computacao, da nocao de maquina universal, assim como da teoria da decidibilidade de problemas matematicos, abrindo caminho para a demonstracao de que certos problemas da Matematica sao, de fato, insoluveis. A grande questao para Turing, no entanto, era saber se os limites do que pode fazer a mente humana seriam os mesmos que os limites do que uma maquina poderia fazer. Seriamos maquinas, e, em caso negativo, o que nos distinguiria delas?Alguns subprodutos de sua investigacao teorica, tais como o computador de proposito geral e a nocao de inteligencia artificial, serviram de base para os que alguns, tais como Luciano Floridi em Philosophy of Information (Oxford Univ Press, 2011), chamam de "Quarta Revolucao Tecnologica - A Revolucao da Informacao". Na Primeira Revolucao, Nicolau Copernico mostrou que nao estamos no centro do universo. Porem, seriamos ao menos seres privilegiados. Na Segunda Revolucao, no entanto, Charles Darwin revelou que nao somos animais superiores e totalmente desconectados dos outros animais. O consolo seria acreditar que nos humanos seriamos os unicos seres racionais. Veio a Terceira Revolucao com Sigmund Freud trazendo a constatacao de que nao somos seres totalmente racionais. Restaria o orgulho de que, no plano das ideias, nao haveria limites para os humanos. Qual o que: na Quarta Revolucao, Alan Turing demonstra que existem problemas matematicos insoluveis. E agora?A bem da verdade, antes de Turing outros personagens da historia da ciencia moderna ja questionavam a possibilidade de se alcancar a certeza cientifica.Em filme documentario de rara excelencia, tanto no que diz respeito a forma quanto ao que concerne o conteudo, intitulado Conhecimento Perigoso, e originalmente exibido na BBC 4 em 08/08/2007, o jornalista britanico David Malone conta a historia de quatro mentes brilhantes, entre eles Alan Turing, cuja busca obsessiva pelos limites da certeza cientifica os levou a beira da loucura e da autodestruicao. O roteiro comeca por Georg Cantor (1845-1918), matematico de origem germanica cujas teorias sobre infinitudes revelaram profundos paradoxos e abismos logicos nos fundamentos da Matematica, alem de confirmar matematicamente a existencia de numeros transcendentais tais como o numero pi. A seguir, Malone aborda as revelacoes sobre a incerteza na Fisica trazidas a tona pelo austriaco Ludwig Boltzmann (1844-1906), um dos principais responsaveis pela introducao do conceito de entropia, medida matematica da imprevisibilidade de um sistema dinamico. Antes de chegar a Turing, o filme relata a saga de um outro brilhante pensador austriaco, Kurt Godel (1906-1978), na busca por uma prova de