Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
Este artigo descreve a recriação de um interpretador IPL-V em Common Lisp e a reexecução histórica do programa Logic Theorist de 1956 a partir do código transcrito de um relatório de 1963, demonstrando sua capacidade de provar 16 dos 23 teoremas tentados do *Principia Mathematica*.
Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Imagine que você encontrou um manual de instruções de um carro dos anos 50, escrito em uma língua que ninguém fala mais, e decidiu construí-lo peça por peça para vê-lo rodar hoje. É exatamente isso que Jeff Shrager fez, mas em vez de um carro, ele reconstruiu o "carro" que deu início a toda a inteligência artificial: o Logic Theorist (O Teórico Lógico).
Aqui está a história dessa "arqueologia executável" em linguagem simples:
1. O Que é essa Máquina?
Em 1956, três gênios (Newell, Simon e Shaw) criaram o primeiro programa de inteligência artificial. Ele era capaz de provar teoremas matemáticos complexos, às vezes até encontrando soluções mais elegantes do que os próprios matemáticos humanos.
O problema é que esse programa foi escrito em uma linguagem chamada IPL-V. Pense no IPL-V como um "idioma morto". Ele foi o avô direto da linguagem Lisp (que ainda existe e é muito usada em IA), mas o IPL-V desapareceu nos anos 60. Não há mais computadores que falem essa língua nativamente. É como tentar fazer um filme antigo rodar em um projetor que ninguém fabrica há 60 anos.
2. A Missão: "Arqueologia Executável"
Jeff Shrager decidiu não apenas ler sobre essa máquina, mas fazê-la funcionar de novo. Ele chamou isso de "Arqueologia Executável".
- A Escavação: Ele pegou um relatório técnico de 1963 que continha o código original escrito em papel.
- A Tradução: Ele digitou esse código, linha por linha, em uma planilha, e depois o transformou em um formato que um computador moderno pudesse entender.
- A Construção: Como não existia mais o "motor" (o interpretador) que lia o IPL-V, ele teve que construir um novo motor do zero usando uma linguagem moderna (Common Lisp).
É como se ele tivesse encontrado as plantas de um motor a vapor de 1950 e, em vez de tentar achar o motor original, tivesse forjado um novo motor moderno que fosse capaz de ler exatamente as mesmas instruções antigas.
3. O Grande Desafio: O "Muro" e o Robô
A parte mais difícil não foi construir o motor, mas consertá-lo quando ele começou a funcionar, mas de forma errada.
- O Problema: O programa rodava, mas não provava os teoremas corretamente. Ele ficava preso em loops infinitos ou dava respostas estranhas.
- A Dificuldade Humana: Jeff tentou consertar sozinho por meses. Mas o código era tão complexo e o comportamento do programa tão imprevisível (como um labirinto giratório) que ele não conseguia achar onde estava o erro. Era como tentar achar uma agulha em um palheiro, onde a agulha muda de lugar a cada segundo.
- A Ajuda da IA (O Twist): Foi aí que Jeff pediu ajuda a uma Inteligência Artificial moderna (o Claude).
- O Paradoxo: A IA não sabia nada sobre IPL-V. Ela só conhecia o código que Jeff havia escrito (que continha erros).
- A Colaboração: A IA começou a ler milhares de páginas de registros de erro, tentar hipóteses e "aprender" a língua morta enquanto ajudava a consertá-la. Foi uma aula de "ensinar um robô a falar uma língua morta".
4. A Descoberta de Ouro: "Os J's de Simon"
O momento mais mágico aconteceu quando a IA encontrou um erro específico em uma função chamada "J74". Jeff e a IA não conseguiam entender por que o código estava errado, porque o manual de instruções parecia estar correto.
Então, Jeff teve uma ideia brilhante: ele consultou um museu de história da computação que guardava cartões perfurados originais de 1962 (a "versão de fábrica" do código).
- A IA, agora treinada, conseguiu ler esses cartões perfurados digitais.
- Ela comparou o cartão original de 1962 com o código que Jeff havia escrito.
- Resultado: A IA viu que havia uma pequena diferença que o manual não explicava. Com base nisso, Jeff corrigiu uma única linha de código.
- O Milagre: De repente, a máquina antiga, construída em 2025, começou a funcionar perfeitamente, provando teoremas matemáticos como se fosse 1957.
5. Por Que Isso Importa?
Este trabalho é importante por três motivos principais:
- História Viva: Não é apenas ler sobre o passado; é ver o passado funcionando. Isso nos dá uma janela real para como os pioneiros da IA pensavam e programavam.
- A Evolução da Linguagem: O projeto mostrou que o IPL-V já tinha todas as ideias geniais que o Lisp tem hoje (como listas, recursão e memória dinâmica), mas faltava a "beleza" e a facilidade de uso. Foi como ver o avô de uma família famosa antes de ele ficar famoso.
- O Futuro da Pesquisa: Mostra que podemos usar IAs modernas para ajudar a desenterrar e consertar softwares históricos que seriam impossíveis de entender para um humano sozinho.
Em resumo: Jeff Shrager usou uma IA moderna para "ressuscitar" um programa de 1956, traduzindo uma língua morta e consertando um motor antigo com a ajuda de cartões perfurados de 1962. É uma história de como o passado e o futuro da tecnologia podem se abraçar para revelar segredos esquecidos.
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.