Não, Alan Turing não “inventou o computador” sozinho. Em 1936, ele fez algo diferente e, para a história da computação, tão decisivo quanto construir uma máquina: definiu matematicamente o que significa executar um procedimento mecânico de cálculo e mostrou que uma única máquina abstrata poderia simular todas as outras máquinas desse tipo quando recebesse a descrição de suas regras. Essa é a ideia da máquina universal, hoje associada à noção de computador programável de uso geral.
O ponto importante é separar três histórias que costumam ser misturadas: a máquina abstrata do artigo On Computable Numbers, o trabalho de guerra de Turing em Bletchley Park e os computadores eletrônicos físicos que surgiram nos anos 1940 e 1950. A conferência Computable90, marcada para 16 a 18 de setembro de 2026 pelo The National Museum of Computing e pela London Mathematical Society, usa justamente esse marco para discutir 90 anos de influência do trabalho de Turing.
O que aconteceu em 1936 — e por que a referência bibliográfica diz 1937
Há uma pequena armadilha de datas. A London Mathematical Society registra que o artigo foi submetido em 28 de maio de 1936 e lido em 12 de novembro daquele ano, mas a ficha bibliográfica do periódico traz a primeira publicação em 1937, no volume 42 dos Proceedings of the London Mathematical Society. É por isso que o trabalho é chamado historicamente de “artigo de 1936” e, ao mesmo tempo, aparece em referências formais como Turing (1937). A própria LMS explica essa cronologia em sua página sobre o artigo e sobre o material usado na nota britânica de £50.
O texto original, On Computable Numbers, with an Application to the Entscheidungsproblem, não propõe um gabinete cheio de válvulas, relés ou cabos. Ele parte de uma pergunta de lógica: o que queremos dizer quando afirmamos que um número ou procedimento é computável por um método efetivo?
O que a máquina de Turing realmente era
Turing compara uma pessoa executando um cálculo passo a passo a uma máquina idealizada. No modelo, há uma fita dividida em casas, cada uma capaz de receber um símbolo; a máquina observa uma casa por vez, pode escrever ou apagar símbolos, mover-se para a esquerda ou para a direita e trocar entre um número finito de estados internos. O próximo passo é determinado pelo estado atual e pelo símbolo lido.
Isso é um modelo matemático de procedimento, não um projeto de engenharia. A fita é idealmente extensível conforme necessário; não há especificação de componentes eletrônicos, frequência de clock, memória física, fonte de alimentação ou circuito lógico. O objetivo era capturar a estrutura essencial de um cálculo mecânico: regras finitas aplicadas sucessivamente a símbolos.
Também vale uma precisão de vocabulário: no artigo, Turing fala em automatic machines e em uma universal computing machine. O nome “máquina de Turing” tornou-se a forma consagrada posteriormente para esse modelo.
O salto da máquina específica para a máquina universal
A parte revolucionária aparece quando Turing deixa de imaginar uma máquina diferente para cada tarefa. Na seção dedicada à máquina universal, ele afirma que é possível conceber uma única máquina capaz de computar qualquer sequência computável, desde que a fita traga uma descrição padronizada da máquina específica a ser simulada.
Em linguagem atual, a ideia é: as regras de outra máquina podem ser codificadas como dados, e uma máquina universal pode interpretá-las. Isso antecipa a separação entre uma máquina de propósito geral e as instruções que determinam o que ela fará. É uma raiz conceitual do software e da programabilidade.
Mas é importante não exagerar a equivalência histórica. A máquina universal de 1936 não é, por si só, um diagrama de um computador eletrônico de programa armazenado. Ela oferece a ideia formal de universalidade; a arquitetura física de memória, processador, dispositivos de entrada e saída e armazenamento de instruções foi desenvolvida por vários grupos nos anos seguintes.
O resultado não foi só “como calcular”, mas também “o que não pode ser decidido”
O artigo não serve apenas para dizer o que uma máquina pode fazer. Turing usa o próprio formalismo para mostrar que existem questões sobre máquinas para as quais não existe um procedimento geral que sempre produza a resposta. Em seguida, aplica esse raciocínio ao Entscheidungsproblem, o “problema da decisão” da lógica matemática, concluindo que não há um método mecânico universal capaz de decidir todas as fórmulas do sistema em questão.
Esse é um dos motivos pelos quais o trabalho permanece central: ele dá uma linguagem para falar ao mesmo tempo sobre capacidade e limite. Computação não é apenas velocidade de hardware; envolve distinguir problemas que admitem algoritmo de problemas para os quais não existe algoritmo geral.
Guerra: Bletchley Park não transformou a máquina de 1936 em hardware
Quando a Segunda Guerra Mundial começou, Turing foi para Bletchley Park. Segundo a biografia oficial de Bletchley Park, ele trabalhou na análise da Enigma naval e, aproveitando avanços anteriores de criptógrafos poloneses, projetou a Bombe, depois aperfeiçoada com contribuições de Gordon Welchman. A Bombe acelerava a busca por configurações possíveis da Enigma.
A Bombe, porém, não era a materialização da máquina universal de 1936. Era uma máquina eletromecânica especializada em uma tarefa criptanalítica. O próprio material educativo de Bletchley Park ressalta que ela não era um computador de uso geral. Turing também trabalhou com métodos para o tráfego Lorenz, mas a mesma biografia registra que ele não foi diretamente responsável pelo desenvolvimento do Colossus, associado sobretudo ao trabalho de Tommy Flowers e à equipe de Max Newman.
Portanto, há continuidade intelectual — lógica, algoritmos, mecanização de procedimentos —, mas não uma linha simples em que “Turing inventa uma máquina universal em 1936 e constrói o computador em Bletchley”.
Depois da guerra: o ACE foi a passagem de Turing para um computador físico
A transição de Turing da teoria para o projeto concreto ocorreu com mais clareza no Automatic Computing Engine (ACE). O National Physical Laboratory informa que ele entrou no NPL em 1945 e produziu os planos do ACE em 1946. Aqui, sim, Turing estava desenhando um computador eletrônico real, com programa armazenado e preocupação prática de desempenho.
O projeto integral não foi construído enquanto ele permaneceu no NPL. Turing saiu em 1948; um Pilot ACE, baseado em suas ideias, foi concluído em 1950 e usado em aplicações reais. A Science Museum Group Collection preserva o equipamento e descreve a máquina como baseada no projeto de Turing.
Essa etapa é importante para responder ao mito com justiça: dizer que Turing não construiu “o primeiro computador” não diminui sua contribuição. Ele ajudou a estabelecer tanto a teoria da computação universal quanto projetos concretos de computadores eletrônicos.
Onde entram ENIAC e Manchester Baby
A pergunta “quem inventou o computador?” fica enganosa porque “computador” pode significar coisas diferentes: automático, digital, binário, eletrônico, programável, de uso geral ou de programa armazenado. O Computer History Museum observa que diferentes combinações desses critérios produzem diferentes candidatos a “primeiro”.
Dois marcos ajudam a organizar a comparação. O ENIAC, concluído em 1946 nos Estados Unidos, reuniu computação eletrônica de alta velocidade e uso geral, mas originalmente era programado por conexões e chaves, não por um programa armazenado na mesma memória operacional. Já o Manchester Baby executou em 21 de junho de 1948 um programa armazenado eletronicamente na memória. A Universidade de Manchester atribui o projeto do Baby a Freddie Williams, Tom Kilburn e Geoff Tootill.
Turing chegou a Manchester em setembro de 1948, portanto depois dessa primeira execução. Ele passou a contribuir para programação e para o Manchester Mark 1/Ferranti Mark 1. Isso reforça a conclusão: Turing foi uma figura central, mas a construção dos computadores modernos foi uma história coletiva.
Linha do tempo: da máquina abstrata aos computadores físicos
| Data | Marco | O que significa |
|---|---|---|
| 1936 | Turing submete e apresenta On Computable Numbers | Formaliza computabilidade e a ideia de uma máquina universal. |
| 1937 | Publicação bibliográfica do artigo nos Proceedings | É a data que aparece em referências acadêmicas formais. |
| 1939–1945 | Bletchley Park | Turing aplica matemática e mecanização à criptanálise; a Bombe é especializada, não um computador universal. |
| 1945–1946 | Projeto ACE no NPL | Turing passa a projetar um computador eletrônico físico de propósito geral. |
| 1946 | ENIAC | Marco da computação eletrônica de uso geral, inicialmente sem programa armazenado na memória de trabalho. |
| 1948 | Manchester Baby | Primeira execução de um programa em um computador digital eletrônico de programa armazenado. |
| 1950 | Pilot ACE | Máquina operacional construída a partir do projeto de Turing no NPL. |
O que Turing definiu — e o que veio depois
| Turing em 1936 | O que a engenharia posterior precisou resolver |
|---|---|
| Um modelo formal de cálculo passo a passo | Como realizar esses passos com relés, válvulas e depois transistores. |
| Fita, símbolos, estados e regras de transição | Memórias físicas, registradores, circuitos, temporização e entrada/saída. |
| Uma máquina universal que simula outras descrições de máquinas | Arquiteturas programáveis práticas e maneiras eficientes de armazenar e executar instruções. |
| Limites formais do que pode ser decidido por procedimento mecânico | Decidir quais problemas vale a pena automatizar e como lidar com limites de tempo, memória e computabilidade. |
Por que a máquina universal ainda importa 90 anos depois
O conceito continua útil porque separa o dispositivo físico da tarefa descrita por regras. Um mesmo computador pode ser navegador, editor de texto, sistema de controle ou ferramenta científica porque sua função muda com o programa. Os computadores reais não são literalmente fitas infinitas com uma cabeça que anda uma casa por vez, mas a ideia de que uma máquina geral pode executar procedimentos codificados permanece fundamental para a ciência da computação.
Além disso, a máquina de Turing ainda é usada para raciocinar sobre algoritmos, linguagens, complexidade e decidibilidade. A Computable90, em setembro de 2026, não celebra uma peça de hardware de 90 anos; celebra uma forma de pensar sobre computação que ainda organiza perguntas atuais.
A formulação mais precisa
Se “inventar o computador” significa ser a única pessoa que construiu o primeiro computador físico moderno, a resposta é não. Se a pergunta é se Turing forneceu uma das ideias teóricas mais profundas que tornaram inteligível o computador programável de uso geral, a resposta é sim.
A melhor síntese é esta: Turing não inventou sozinho o computador; ele formalizou a computação universal e depois participou diretamente da passagem dessa ideia para projetos de máquinas reais. O computador moderno nasceu da convergência entre essa teoria, a engenharia eletrônica, novas formas de memória e o trabalho de várias equipes em diferentes países.
