O quê

John McCarthy (1927–2011) foi um matemático e cientista da computação americano que fez duas coisas que definiram um campo inteiro: cunhou o termo “Artificial Intelligence” e inventou o LISP, a linguagem-mãe da IA simbólica.

Em 1955, ainda jovem professor de matemática em Dartmouth, McCarthy redigiu — com Marvin Minsky, Nathaniel Rochester (IBM) e Claude Shannon — uma proposta de seminário de verão. Foi nesse documento que a expressão “artificial intelligence” apareceu pela primeira vez. McCarthy a escolheu deliberadamente para separar o campo de rótulos concorrentes como “cibernética” e “teoria dos autômatos”. O Dartmouth Summer Research Project de 1956 é considerado o evento fundador da IA.

McCarthy ganhou o Turing Award em 1971 e fundou o Stanford AI Laboratory (SAIL) em 1965.

Como funciona

O Dartmouth Workshop (1956)

A proposta de 1955 apostava numa conjectura ousada: “todo aspecto do aprendizado, ou qualquer outra característica da inteligência, pode em princípio ser descrito com precisão suficiente para que uma máquina o simule”. Os organizadores pediram financiamento à Rockefeller Foundation para reunir ~10 pesquisadores por oito semanas. Receberam metade do pedido. Foi o suficiente para fundar uma disciplina.

LISP (1958)

McCarthy projetou o LISP (LISt Processor) a partir de 1958. Suas ideias eram radicais para a época: código e dados na mesma forma (listas), recursão como cidadão de primeira classe, garbage collection automática, funções de ordem superior. Por décadas, LISP foi a linguagem da IA simbólica — sistemas especialistas, planejadores, Symbolic AI (GOFAI) inteira foi escrita nele.

McCarthy também contribuiu com a ideia de time-sharing (vários usuários compartilhando um mainframe, prenunciando a computação interativa) e com lógica de senso comum e raciocínio não-monotônico (circumscription).

Por que importa

Ele deu o nome — e nomes fundam campos. A citação do Turing Award nota a ironia: o matemático avesso a hype fez sua contribuição mais reconhecida no marketing, ao batizar “AI”. Mas o nome organizou financiamento, identidade e comunidade por 70 anos.

LISP moldou como se pensa programação. Recursão, abstração funcional, metaprogramação, REPL interativo — ideias que LISP popularizou e que hoje são padrão de qualquer linguagem moderna.

Definiu a aposta simbólica. A linha McCarthy/Marvin Minsky apostava que inteligência seria construída com lógica e símbolos manipuláveis — paradigma que dominou a IA até o deep learning estatístico vencer nos anos 2010. O ciclo histórico symbolic ↔ connectionist começa aqui.

Estado em 2026

• “Artificial Intelligence” segue sendo o guarda-chuva de tudo — apesar de cobrir hoje predominantemente IA estatística/conexionista, não a IA simbólica que McCarthy tinha em mente.
• LISP raramente é usado em produção, mas vive em dialetos (Clojure, Scheme/Racket) e na própria ideia de homoiconicidade (código como dado), que reaparece em metaprogramação moderna.
• O sonho de raciocínio de senso comum e lógica formal voltou ao centro do debate em 2026, com tentativas de combinar LLMs estatísticos com componentes simbólicos (neuro-simbólico) — exatamente a síntese que McCarthy defenderia.
• No jogo, McCarthy é o Avatar que nomeia: define categorias, define regras de tipo.

Tratamento de carta — proposta

McCarthy, The Namer Legendary Avatar · Founders

Ao entrar em jogo, escolha um tipo de carta (Modelo, Técnica, Site). Cartas desse tipo custam 1 ⚡ a menos para você enquanto McCarthy estiver em campo (ele definiu a categoria).

“Chamei-a de inteligência artificial para distingui-la da cibernética.”

Veja também

Marvin Minsky · Symbolic AI (GOFAI)