Alan Turing

(1912-1954)


Alan Turing

Página organizada e mantida pelo Prof. Luis Menasché Schechter

E-mail

Slides dos Seminários sobre a vida e as contribuições científicas de Alan Turing apresentados na UFRJ e no IMPA (atualizados em 06/2016)


Vídeo do Seminário apresentado no IMPA em 24/02/2015


Resenha escrita por mim para a revista "Ciência Hoje" de 03/2015 sobre Alan Turing e o filme "O Jogo da Imitação"


Artigos de autoria de Alan Turing

  1. "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936)

    Artigo em que Turing apresenta quatro pontos fundamentais da Teoria da Computação:

    1. Formalização de um "procedimento mecânico", ou um algoritmo, como uma tarefa que pode ser executada por uma Máquina de Turing.
    2. Apresentação da Máquina de Turing Universal, uma Máquina de Turing capaz de simular o funcionamento de qualquer outra Máquina de Turing.
    3. Prova de que existem problemas que não são algoritmicamente solúveis, mostrando que o Problema da Parada é um destes problemas.
    4. Prova (no apêndice) de que o seu modelo de Máquinas de Turing é completamente equivalente ao modelo do Lambda-Cálculo de Church.

  2. "Systems of Logic Based on Ordinals" (1938)

    Tese de Doutorado de Turing.

  3. "Visit to National Cash Register Corporation of Dayton, Ohio" (1942)

    Relatório escrito por Turing sobre sua visita aos EUA para observar a construção de máquinas Bombe por parte dos americanos.

  4. "Rounding-Off Errors in Matrix Processes" (1947)

    Artigo em que Turing apresenta a decomposição LU de matrizes.

  5. Manual do Computador Ferranti Mark 1 (1950)

    O Ferranti Mark 1 foi o primeiro computador disponível comercialmente e foi desenvolvido a partir do projeto da Universidade de Manchester. Este manual contém comentários e informações sobre o contexto histórico adicionados pelo autor da transcrição.

  6. "Computing Machinery and Intelligence" (1950)

    Artigo em que Turing apresenta o Teste de Turing de Inteligência Artificial.

  7. "The Chemical Basis of Morphogenesis" (1952)

    Artigo em que Turing apresenta o seu modelo de Equações Diferenciais Parciais (EDPs) para descrever a formação de padrões espaciais em tecidos biológicos.


Site de Bletchley Park

Pedido de Desculpas Público feito por Gordon Brown em 2009 em nome do Governo Britânico pelo mau tratamento dado a Turing


Implementações da Máquina de Turing

  1. Implementação feita com caneta e mata-borrão.
  2. Implementação feita com Lego.
  3. Simulador feito em Javascript.

Artigos sobre Alan Turing e suas contribuições científicas


Bibliografia sobre Alan Turing

  1. "Alan Turing: the Enigma", de Andrew Hodges (1983, atualizado em 2014).
  2. "Alan M. Turing", de Sara Turing, mãe de Alan (1959, atualizado em 2012).
  3. "Prof: Alan Turing Decoded", de Dermot Turing, sobrinho de Alan (2015).
  4. "Alan Turing: Unlocking the Enigma", de David Boyle (2014).
  5. "Turing: Pioneer of the Information Age", de B. Jack Copeland (2012).
  6. "The Man Who Knew Too Much", de David Leavitt (2006).
  7. "The Essential Turing: Seminal Writings", editado por B. Jack Copeland (2004).
  8. "Alan Turing: His Work and Impact", editado por S. Barry Cooper e J. van Leeuwen (2013).
  9. "The Once and Future Turing: Computing the World", editado por S. Barry Cooper e Andrew Hodges (2016).

Links sobre os Filmes a Respeito de Turing


Eventos do "Alan Turing Year"

  1. Site do "Alan Turing Year".
  2. Site da "Turing Centenary Conference" em Cambridge.
  3. Site da "Turing Centenary Conference" em Manchester.
  4. Gravação das palestras apresentadas na "Turing Centenary Conference" de Manchester.
  5. Site do "ACM Turing Centenary Celebration".
  6. Gravação das palestras apresentadas no "ACM Turing Centenary Celebration".
  7. Exposição sobre Turing no Science Museum de Londres.
  8. Doodle do Google em homenagem ao centenário de Turing (uma Máquina de Turing).
  9. Gravação de um ciclo de palestras sobre Turing realizado na Universidade de Calgary.
  10. Gravação de um ciclo de palestras sobre Turing realizado na Universidade de Oxford.
  11. Site do "Turing Festival" em Edimburgo.

Links com Material sobre Alan Turing

  1. Site com muitas informações sobre Turing mantido pelo Professor Andrew Hodges, autor da biografia "Alan Turing: the Enigma".
  2. Turing na "Stanford Encyclopedia of Philosophy".
  3. Arquivo digital com cartas, manuscritos, fotos e outros documentos relacionados à vida de Turing.
  4. Outro arquivo digital com muitas informações sobre Turing e suas diversas contribuições.
  5. Site com fotos de Turing.
  6. Placas Públicas em Memória de Turing.
  7. Vídeo produzido pelo CNRS francês sobre Turing (apresenta imagens interessantes, como a Enigma em funcionamento, e funciona melhor no Chrome).
  8. Turing na Wikipedia.
  9. Projeto coletivo para tentar terminar a última pesquisa que Alan Turing fez em vida (sobre números de Fibonacci na natureza).
  10. Postagem do Dicionário Oxford sobre as contribuições de Turing e a língua inglesa.
  11. Série de Posts da BBC sobre a vida e obra de Alan Turing.
  12. Hotel que funciona atualmente na casa onde nasceu Alan Turing (Endereço: 2 Warrington Crescent, Londres).
  13. Loja virtual holandesa que vende camisa com a estampa de Alan Turing e a frase "Vila la Computación".

Última Atualização: 25 de Junho de 2016