O quê

Alan Mathison Turing (1912–1954) foi um matemático britânico que definiu o que significa computar. Em um único artigo de 1936, On Computable Numbers, ele construiu o modelo formal de máquina universal — a Turing Machine — e provou que existe um limite intrínseco do que essa máquina pode decidir (o Halting Problem). Toda a ciência da computação descende deste artigo.

Quatorze anos depois, em 1950, Turing publicou Computing Machinery and Intelligence, propondo o Jogo da Imitação — uma forma operacional de perguntar se uma máquina pode “pensar” sem precisar definir o que pensar significa. É o documento fundador da IA.

Entre as duas publicações, Turing trabalhou em Bletchley Park quebrando o cifrador alemão Enigma — contribuição que historiadores estimam ter encurtado a Segunda Guerra Mundial em pelo menos dois anos [VERIFICAR — estimativa de Hinsley, 1996].

Em 1952, Turing foi processado pelo Reino Unido por homossexualidade. Foi condenado a castração química. Morreu em 1954 com 41 anos, por envenenamento por cianeto — oficialmente suicídio, embora a circunstância exata permaneça debatida. O Reino Unido pediu desculpas oficiais em 2009 e Turing recebeu perdão real póstumo em 2013.

Como funciona

A Máquina Universal (1936)

Turing queria responder ao Entscheidungsproblem de Hilbert: existe um procedimento mecânico que decide, para qualquer proposição matemática, se ela é demonstrável? Para responder, ele precisava primeiro definir “procedimento mecânico”. Sua resposta:

Uma Turing Machine é uma fita infinita dividida em células, cada célula com um símbolo de um alfabeto finito. Uma cabeça percorre a fita, lê o símbolo da célula atual, e — com base em um estado interno e numa tabela de transição finita — escolhe:

1. Escrever um novo símbolo na célula.
2. Mover a cabeça uma célula para esquerda ou direita.
3. Mudar para um novo estado interno.

Quando atinge um estado de parada, o conteúdo da fita é o output. Esse é o modelo. Toda definição moderna de “algoritmo” reduz a isso.

O insight central de Turing: existe uma Máquina Universal — uma única Turing Machine que recebe, como input, a descrição de qualquer outra Turing Machine + os dados que essa outra processaria. A Universal simula qualquer máquina específica. Esta é, em linha reta, a ideia de computador de propósito geral. Todo PC, todo smartphone, toda GPU H100 executa uma instanciação física da Máquina Universal de 1936.

Turing então provou o Halting Problem: não existe nenhuma Turing Machine que, dada a descrição de uma máquina M e um input I, decida em tempo finito se M para em I. Esse é um limite duro — não algorítmico, lógico. Significa que a computação tem fronteiras que nenhum hardware mais rápido remove.

O Jogo da Imitação (1950)

Em 1950, Turing escreveu para a revista Mind um artigo perguntando: “Máquinas podem pensar?”. Em vez de definir “pensar”, ele propôs um jogo operacional.

Três participantes: um juiz humano (C), um humano (A) e uma máquina (B). C se comunica com A e B apenas por texto. C precisa decidir qual é a máquina. Se a máquina conseguir ser identificada como humana com a mesma frequência que um humano qualquer, a máquina passou no teste.

Turing previu (em 1950!) que por volta de 2000, máquinas com 10⁹ bits de armazenamento teriam ~30% de sucesso em enganar juízes por 5 minutos de conversa. Subestimou: ChatGPT, em 2022, atingiu esse patamar com folga em testes informais; estudos formais (Jones & Bergen, 2024) mostraram GPT-4 sendo julgado humano em 54% dos casos em testes de 5 minutos [VERIFICAR número exato — 2024 paper UCSD].

Turing antecipou e respondeu nove objeções ao teste, incluindo a Objeção de Lady Lovelace (“máquinas não originam nada”) e a Objeção Teológica (“apenas humanos têm alma”). O artigo permanece o documento mais relevante para discussões filosóficas sobre IA — você ainda lê Computing Machinery and Intelligence numa graduação de ciência cognitiva.

Bletchley Park (1939–1945)

Turing liderou a Hut 8, que decifrava mensagens do Enigma naval alemão. Sua contribuição central foi a bombe, uma máquina eletromecânica que automatizava a busca pelas configurações diárias do rotor do Enigma. O design da bombe veio em parte do trabalho anterior do criptoanalista polonês Marian Rejewski [VERIFICAR — Rejewski projetou bomba kryptologiczna, predecessora].

Quando processo de quebra do Enigma foi desclassificado nos anos 1970, ficou claro que a guerra teve um teatro invisível maciçamente dependente de computação aplicada.

Por que importa

Turing definiu o objeto de estudo da computação. A Turing Machine é o substrato matemático sobre o qual toda a teoria da complexidade (P, NP, PSPACE), toda a análise de algoritmos, toda a noção de “Turing-completo” se constrói. Quando você ouve “esta linguagem é Turing-completa” — é Turing.

Turing converteu IA em ciência empírica. Antes de 1950, “pensamento mecânico” era filosofia. O Teste de Turing tornou a pergunta operacionalizável: rode o experimento, conte juízes enganados, publique. Isso definiu o método dos próximos 75 anos. Mesmo críticos do teste (Searle, Dennett, Block) escrevem contra Turing — não contra ninguém anterior.

Turing inventou a engenharia computacional aplicada. A bombe não era teoria — era hardware vencendo uma guerra. A combinação de matemática formal + máquina física executando código + escala industrial (200+ bombes em operação ao fim da guerra) é o template do que hoje é a indústria de software.

Estado em 2026

• Teste de Turing é considerado, em 2026, ou passado (LLMs modernos enganam consistentemente) ou obsoleto (sucesso por imitação não implica inteligência). A comunidade de IA migrou para benchmarks substantivos (MMLU, GPQA, ARC-AGI, FrontierMath) e para avaliações de capacidade real em tarefas profissionais.
• Turing-completude continua sendo o sanity check de qualquer linguagem nova. Curiosidade: o systema de tipos de TypeScript é Turing-completo (descoberto em 2017); macros C++ idem; SQL puro não é, mas com CTEs recursivas, é.
• Imitation Game, o filme de 2014 com Benedict Cumberbatch, é a referência cultural pop mais comum sobre Turing. Historiadores criticam liberdades dramáticas, mas o filme aumentou consciência pública sobre tanto a contribuição técnica quanto a perseguição que ele sofreu.
• Prêmio Turing (ACM, desde 1966) é o “Nobel da Computação”. Hinton, LeCun e Bengio dividiram o prêmio em 2018 por Deep Learning; Yoshua Bengio ganhou um segundo de honra em 2025 por AI Safety [VERIFICAR — Bengio recebeu Turing 2018; segundo prêmio não confirmado].

Turing é o arquétipo do fundador no jogo. Avatar Lendário, único entre Lovelace e Shannon. Sua mecânica reflete a Máquina Universal: ele se transforma no que precisar ser.

Tratamento de carta — proposta

Turing, The Universal Avatar Lendário · Founders · custo 🟦🟦🟦

3/3.

Imitar: uma vez por turno, escolha um Modelo no campo. Turing copia o nome, custo e habilidade ativa daquele Modelo até o fim do turno.

Halting: quando o oponente joga uma Técnica de loop ou repetição, anule.

“A máquina pode fazer qualquer coisa que possamos descrever. Mas há coisas que não podemos descrever.”

A mecânica “Imitar” instancia o Jogo da Imitação literalmente. “Halting” é o limite que o próprio Turing provou.

Veja também

The Turing Test · Ada Lovelace · Claude Shannon