Foto de Alan Turing sorrindo

Alan Turing

(1912-1954)

Página organizada e mantida por Luis Menasché Meu endereço de E-mail

Materiais elaborados por mim

  1. Seminário desenvolvido e apresentado por mim sobre a vida e as contribuições científicas de Alan Turing (apresentado na UFRJ, no IMPA e virtualmente):
    1. Slides do Seminário (atualizados em 11/2021)
    2. Vídeo da apresentação realizada no Google Meet em 28/05/2020
    3. Vídeo da apresentação realizada no IMPA em 24/02/2015
  2. 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 e livros

  1. Artigos escritos por Alan Turing:
    1. "On Computable Numbers, with an Application to the Ent­scheidungs­pro­blem" (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.

  2. Artigos escritos sobre Alan Turing:
    1. Artigos de cunho geral:
      1. "The Incomputable Alan Turing" - S. Barry Cooper (2004)
      2. "Incomputability after Alan Turing" - S. Barry Cooper (2012)
      3. "A Celebration of Alan Turing's Achievements in the Year of His Centenary" - Edward Hermann Haeusler (2012)
      4. "Alan and I" - Christos H. Papadimitriou (2012)
    2. Artigos sobre o trabalho de Turing em morfogênese:
      1. "Watching the Daisies Grow: Turing and Fibonacci Phyllotaxis" - Jonathan Swinton (2003)
      2. "The Impact of Turing's Work on Pattern Formation in Biology" - Philip K. Maini (2004)
      3. "The Turing Model Comes of Molecular Age" - Philip K. Maini, Ruth E. Baker e Cheng-Ming Chuong (2006)
      4. "Alan Turing's Patterns in Nature, and Beyond" - Brandon Keim (Revista Wired, 2011)
      5. "Turing's Mathematical Theory of Morphogenesis" - Philip K. Maini (2012)
      6. "Hox Genes Regulate Digit Patterning by Controlling the Wavelength of a Turing-Type Mechanism" - R. Sheth, L. Marcon, M. F. Bastida, M. Junco, L. Quintana, R. Dahn, M. Kmita, J. Sharpe, M. A. Ros (2012)
      7. "Testing Turing’s theory of morphogenesis in chemical cells" - Nathan Tompkins, Ning Li, Camille Girabawe, Michael Heymann, G. Bard Ermentrout, Irving R. Epstein, and Seth Fraden (2014)
  3. Livros biográficos sobre Alan Turing:
    1. "Alan M. Turing", de Sara Turing, mãe de Alan (1959, atualizado em 2012).
    2. "Alan Turing: the Enigma", de Andrew Hodges (1983, atualizado em 2014).
    3. "The Man Who Knew Too Much", de David Leavitt (2006).
    4. "Turing: Pioneer of the Information Age", de B. Jack Copeland (2012).
    5. "Alan Turing: Unlocking the Enigma", de David Boyle (2014).
    6. "Prof: Alan Turing Decoded", de Dermot Turing, sobrinho de Alan (2015).
  4. Livros acadêmico-científicos sobre Alan Turing:
    1. "The Essential Turing: Seminal Writings", editado por B. Jack Copeland (2004).
    2. "The Annotated Turing", editado por Charles Petzold (2008)
    3. "Alan Turing: His Work and Impact", editado por S. Barry Cooper e J. van Leeuwen (2013).
    4. "The Once and Future Turing: Computing the World", editado por S. Barry Cooper e Andrew Hodges (2016).

Filmes a respeito de Alan Turing (em ordem cronológica reversa)

  1. "O Jogo da Imitação" ("The Imitation Game") (2014):
  2. "Codebreaker" (2011):
  3. "Breaking the Code" (1996):

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.

Locais importantes na vida de Turing

  1. 1912 (Nascimento): Hotel que funciona atualmente na casa onde nasceu Alan Turing (Endereço: 2 Warrington Crescent, Londres)
  2. 1926-1931 (Juventude): Página com a listagem de ex-alunos "famosos" da Sherborne School
  3. 1939-1945 (Trabalho com Criptografia): Site de Bletchley Park (atualmente transformado em museu)

Legado de Alan Turing

  1. 1966 (Homenagem): Criação do Prêmio Turing pela ACM (concedido anualmente desde então)
  2. 1996 (Filme): "Breaking the Code"
  3. 2009-2017 (O Caminho até o Perdão):
    1. Pedido de desculpas público feito por Gordon Brown (então primeiro-ministro) em 2009 em nome do Governo Britânico pelo mau tratamento dado a Turing: página 1 e página 2
    2. Perdão Real dado pela Rainha Elizabeth II a Alan Turing no Natal de 2013.
    3. Trecho do "Policing and Crime Act 2017", sancionado pela Rainha Elizabeth II em 31 de janeiro de 2017, que contém a chamada "Alan Turing Law" estendendo perdão a todos os homens (em torno de 50 mil) condenados por crimes semelhantes ao atribuído a Turing.
  4. 2011 (Filme): "Codebreaker"
  5. 2012 (Centenário de Nascimento): Eventos do "Alan Turing Year"
  6. 2014 (Suíte Musical): "A Man from the Future" (Pet Shop Boys)
  7. 2014 (Filme): "O Jogo da Imitação" ("The Imitation Game")
  8. 2019 (Homenagem): Cédula de 50 libras homenageando Turing (anunciada em 2019 e colocada em circulação em 23/06/2021, aniversário de Turing)
  9. 2021 (Homenagem): Coletânea de desafios de decifragem em celebração à cédula com Turing disponibilizada pelo GCHQ, sucessor contemporâneo do serviço de inteligência onde Turing trabalhou durante a Segunda Guerra
  10. 2021 (Homenagem): Obra de arte inaugurada na sede do GCHQ

Eventos do "Alan Turing Year" (2012, centenário de seu nascimento)

  1. Site do "Alan Turing Year"
  2. Site da "Turing Centenary Conference" na Universidade de Cambridge
  3. "Turing Centenary Conference" na Universidade de Manchester:
    1. Site
    2. Gravação das palestras apresentadas
  4. "Turing Centenary Celebration" da ACM:
    1. Site
    2. Gravação das palestras apresentadas
  5. Site do "Alan Turing Centenary" na Universidade de Calgary
  6. Site do "Alan Turing: Centenary Lectures" na Universidade de Oxford
  7. Vídeos produzidos pelo CNRS francês pela ocasião do centenário de Turing:
    1. Alan Turing
    2. Máquina de Turing
  8. Exposição sobre Turing no Science Museum de Londres
  9. Série de cinco artigos encomendados pela BBC sobre a vida e obra de Alan Turing por ocasião do seu centenário:
    1. Artigo de Vint Cerf (ganhador do Prêmio Turing)
    2. Artigo de Jack Copeland (biógrafo de Turing)
    3. Artigo de Simon Lavington (historiador da computação)
    4. Artigo de Noel Sharkey (pesquisador de inteligência artificial)
    5. Artigo de Andrew Hodges (biógrafo de Turing)
  10. Doodle do Google em homenagem ao centenário de Turing (uma Máquina de Turing):
    1. Visualização
    2. Código fonte (JavaScript)

Outros materiais sobre Alan Turing

  1. Sites com materiais biográficos:
    1. Site com muitas informações sobre Turing mantido pelo Professor Andrew Hodges, autor da biografia "Alan Turing: the Enigma"
    2. Arquivo digital com cartas, manuscritos, fotos e outros documentos relacionados à vida de Turing
    3. Outro arquivo digital com muitas informações sobre Turing e suas diversas contribuições
    4. Placas Públicas em Memória de Turing
  2. Enciclopédias:
    1. Turing na "Stanford Encyclopedia of Philosophy"
    2. Turing na Wikipedia