O quê

Augusta Ada King, Condessa de Lovelace (1815–1852), foi uma matemática inglesa que, em 1843, publicou as Notes sobre a Analytical Engine de Charles Babbage. A Note G dessas anotações contém o que é tradicionalmente reconhecido como o primeiro algoritmo escrito para uma máquina — um procedimento para calcular números de Bernoulli usando o motor mecânico de Babbage.

Mais importante que o algoritmo em si: Ada foi a primeira pessoa a entender que uma máquina computacional não estava limitada a manipular números. Ela poderia, em princípio, manipular qualquer símbolo seguindo regras formais — incluindo letras, sons, e o que hoje chamaríamos de “dados”.

Ada não viveu para ver nenhuma máquina sua executando. Morreu aos 36 anos. A Analytical Engine nunca foi construída em vida de Babbage. As Notes ficaram esquecidas por mais de um século, até serem redescobertas nos anos 1950, quando seu nome retornou ao panteão da computação.

Como funciona

O contexto técnico das Notes é importante para entender o salto conceitual.

A Analytical Engine de Charles Babbage (projetada a partir de 1837) era um motor mecânico — engrenagens, hastes, cartões perfurados — projetado para executar sequências arbitrárias de operações aritméticas. Diferente da Difference Engine (anterior, especializada em polinômios), a Analytical Engine tinha:

1. Mill — a unidade aritmética (CPU mecânica).
2. Store — memória (até 1.000 números de 50 dígitos).
3. Cartões perfurados — instruções e dados, inspirados nos cartões de Jacquard usados em teares.
4. Controle de fluxo — branches condicionais e loops [VERIFICAR].

Em janeiro de 1843, o engenheiro italiano Luigi Menabrea publicou em francês um artigo descritivo sobre a máquina. Ada, que conhecia Babbage desde 1833 e estudava matemática com Augustus De Morgan [VERIFICAR — nome completo do tutor], aceitou traduzir o texto para o inglês. A pedido de Babbage, acrescentou Notes próprias.

As Notes, identificadas por letras de A a G, ficaram três vezes maiores que o texto original. A Note G descreve, passo a passo, como a Analytical Engine calcularia a sequência de números de Bernoulli — números racionais que aparecem em séries de Taylor de funções trigonométricas. Ada construiu uma tabela mostrando, para cada passo, qual operação a Mill executaria, quais registradores do Store seriam lidos ou escritos, e como o controle de fluxo iteraria sobre os termos.

Esse é o núcleo de um programa: estado, operações, e laços. Por isso a Note G é tratada como “o primeiro algoritmo destinado a ser executado por uma máquina”.

A passagem mais citada das Notes, porém, está na Note A:

“A Analytical Engine não tem nenhuma pretensão a originar o que quer que seja. Ela pode fazer tudo que sabemos ordenar a ela que execute. Ela pode seguir análise; mas não tem poder de antecipar qualquer relação ou verdade analítica.”

Esta é, sem hipérbole, a primeira formulação do problema da IA. Ada está dizendo, em 1843, exatamente o que Searle dirá em 1980 com o Chinese Room: a máquina executa instruções, mas não compreende. O debate moderno sobre LLMs e “raciocínio” começa aqui.

Por que importa

Três contribuições resistem ao escrutínio histórico moderno.

Primeiro: a generalidade simbólica. Ada escreveu, também na Note A:

“Supondo, por exemplo, que as relações fundamentais entre tons pitched na ciência da harmonia e da composição musical fossem suscetíveis de tal expressão e adaptações, o motor poderia compor peças musicais elaboradas e científicas de qualquer grau de complexidade ou extensão.”

Babbage pensava na máquina como calculadora poderosa. Ada viu computação geral sobre símbolos — música, texto, lógica, qualquer coisa codificável. Esse insight não retorna até Alan Turing (1936) e Claude Shannon (1948).

Segundo: a separação software/hardware. As Notes distinguem, sem usar essas palavras, entre o motor (hardware) e os procedimentos que ele executa (software). Ada articulou que o mesmo motor poderia executar infinitos procedimentos diferentes — a essência da programabilidade.

Terceiro: o limite epistêmico. A frase da Note A sobre “não originar coisa alguma” foi atacada por Turing em “Computing Machinery and Intelligence” (1950) sob o nome de “Objeção de Lady Lovelace”. Turing argumentou que máquinas podem, sim, surpreender seus programadores — pelo simples fato de que humanos não conseguem rastrear todas as consequências de regras complexas. O debate Lovelace × Turing é o primeiro round da discussão sobre criatividade-mecânica-vs-humana, hoje refeita toda semana sobre GPT e Claude.

Estado em 2026

• A figura de Ada Lovelace está culturalmente em alta. Ada Lovelace Day (segunda terça-feira de outubro) celebra mulheres em STEM desde 2009.
• A linguagem Ada (DoD, 1980) recebeu seu nome em homenagem — usada em sistemas embarcados críticos (aviação, defesa) por suas garantias de safety.
• Em 2022, foi redescoberto que ela trocava cartas com Charles Babbage discutindo apostas em corridas de cavalos usando análise estatística [VERIFICAR — pode ser folclore romântico, mas há cartas autênticas no arquivo Lovelace-Byron em Oxford].
• A historiografia recente (Hollings, Martin, Rice, 2018) moderou o mito da “primeira programadora”: Babbage e seus colaboradores já tinham escrito “programas” anteriores às Notes; o crédito de Ada está mais na visão conceitual que na precedência técnica.
• O algoritmo de Bernoulli na Note G continha um bug (índice trocado numa subtração). Foi corrigido por matemáticos modernos rodando o algoritmo simbolicamente — outro “primeiro” para Ada: o primeiro debug histórico [VERIFICAR data e referência específica da correção].

A figura de Ada na Magik LLM Gathering é a do manifesto inicial — quem diz, antes de qualquer um, que a máquina é genérica e que isso importa filosoficamente.

Tratamento de carta — proposta

Lovelace, The First Algorithm Avatar Lendário · Founders · custo 🟦🟦

2/3.

Quando entra em jogo: a primeira carta jogada por você em cada turno custa 1 ⚡ a menos.

“A Analytical Engine não tem pretensão a originar coisa alguma. Pode fazer o que ordenamos.”

A mecânica abre o turno: Lovelace estabelece o primeiro passo, exatamente como a Note G estabeleceu o primeiro algoritmo. Pertence ao set Founders por construção histórica.

Veja também

Charles Babbage · Alan Turing · The Turing Test