🎟️ A peça
A peça desta sala é uma única palavra, em latim, escrita por um filósofo alemão há mais de trezentos anos.
Calculemus. “Vamos calcular.”
Parece pouco pra encher uma sala de museu. Mas dentro dessa palavra cabe a aposta mais ousada da história sobre o que é pensar. É a aposta que a inteligência artificial está tentando ganhar até hoje.
❓ O gancho
Por que a gente diz que a IA “computa” uma resposta? Por que conversar com um modelo de linguagem é, lá no fundo, fazer conta? De onde saiu a ideia de que raciocinar e calcular podem ser a mesma coisa?
Saiu da cabeça de um homem que sonhou com o computador trezentos anos antes de existir eletricidade.
🕰️ A história
Gottfried Wilhelm Leibniz, que viveu de 1646 a 1716, era o tipo de gênio que irrita os outros. Inventou o cálculo mais ou menos na mesma época que Newton, e os dois passaram anos brigando sobre quem tinha chegado primeiro. Mas o sonho mais ousado de Leibniz não era de matemática. Era um sonho bem humano. Ele queria acabar com as discussões.
Tudo começou com a leitura do nosso personagem anterior. Aos vinte anos, Leibniz escreveu um livro chamado Da Arte Combinatória, em 1666, inspirado diretamente nas rodas de Llull. A semente era a mesma, combinar ideias básicas pra produzir conhecimento. Só que Leibniz quis consertar o que faltava em Llull. Faltava precisão.
Ele olhava pros filósofos, teólogos e advogados gastando a vida inteira brigando com palavras, e desconfiou que o problema estava na própria linguagem. Palavra é vaga, escorregadia, cada um entende uma coisa. Então ele imaginou uma língua perfeita, onde cada ideia fosse um símbolo exato, sem espaço pra mal-entendido. Chamou essa língua de characteristica universalis. E, junto com ela, um método pra operar esses símbolos seguindo regras, que ele chamou de calculus ratiocinator, um cálculo do raciocínio.
Junta as duas coisas e o resultado é de tirar o fôlego. Se toda ideia vira um símbolo exato, e raciocinar vira aplicar regras a esses símbolos, então uma discussão vira uma continha. Quem está certo deixa de se decidir no grito e passa a se decidir na conta. Leibniz escreveu mais ou menos assim:
Se surgirem controvérsias, não haverá mais necessidade de discussão entre dois filósofos do que entre dois contadores. Bastará pegar os lápis nas mãos, sentar-se diante das mesas, e dizer um ao outro: calculemos.
E ele não ficou só no sonho. Leibniz construiu com as próprias mãos uma máquina de calcular que somava, subtraía, multiplicava e dividia. E foi mais fundo ainda. Foi ele quem desenvolveu o sistema binário moderno, os zeros e uns, num trabalho de 1703. Ficou encantado ao perceber que dava pra escrever qualquer número usando só dois símbolos.
🔗 A revelação
Olha de novo essa lista, devagar. Uma língua de símbolos exatos. Regras pra combinar esses símbolos. O código binário. E uma máquina que executa as operações.
Você acabou de ler a planta de um computador, desenhada nos anos 1700.
Quando você manda um prompt e o modelo “computa” uma resposta, você está dentro do sonho de Leibniz, com uma reviravolta que ele não previu. Leibniz imaginou símbolos exatos e regras de lógica, cada ideia com seu sinal. A IA que você usa hoje foi por outro caminho. Ela transforma as suas palavras em números e funciona na base da estatística, prevendo o que costuma vir depois do quê. Caminho diferente, mas a aposta de fundo é a mesma, a de que pensar pode virar cálculo. E, no fim, os dois caminhos rodam sobre os mesmos zeros e uns que saíram da cabeça do próprio Leibniz.
E aqui vem a parte que arrepia. Leibniz não só sonhou que o pensamento poderia virar conta. Ele inventou, com as próprias mãos, o alfabeto que faz essa conta acontecer na máquina que você usou hoje. O sonho e o primeiro tijolo do prédio saíram da mesma cabeça.
Aristóteles viu que o pensamento tem regras. Héron gravou regras numa máquina. Llull fez a máquina gerar. Leibniz foi quem disse, com todas as letras, que raciocinar é calcular, e desceu até o alfabeto da máquina pra provar que dava.
🪞 O GEB
Hofstadter passa boa parte do livro brincando com essa mesma aposta, de que símbolos sem significado, movidos por regras mecânicas, podem fazer surgir algo que se parece com pensamento. O sonho de Leibniz é o lado otimista dessa ideia. Se pensar é mexer em símbolos seguindo regras, então uma máquina pode pensar.
Essa aposta vai longe. Mais pra frente, na sala do Gödel, você vai descobrir que ela esbarra num limite, e que foi um teorema, não um filósofo, que encontrou a parede. Boa parte desta história vive na tensão entre o “vamos calcular” de Leibniz e um “nem tudo se calcula” que ainda está por vir.
🛠️ Leve com você
A IA transforma o seu prompt em números e calcula a continuação mais provável. Leibniz já tinha sacado o ponto fraco de qualquer máquina de pensar, linguagem vaga estraga a conta. No LLM isso aparece de um jeito específico, palavra ambígua faz o modelo apostar na leitura mais comum do treino dele, que nem sempre é a sua. Quanto mais claro e específico o prompt, mais a estatística pende pro lado que você quer.
Na prática, antes de mandar, reler o prompt caçando o que está ambíguo rende mais do que qualquer truque. Onde uma palavra pode ser entendida de dois jeitos, o modelo vai escolher a leitura mais provável, não a que você tinha na cabeça. Dar contexto e ser específico é inclinar a estatística a seu favor.
🤔 Pra pensar
Leibniz apostou que pensar e calcular são a mesma coisa, e a IA moderna é a maior aposta da história nessa ideia. Pelo que você já viu usando essas ferramentas, onde essa aposta parece estar ganhando, e onde você sente que tem alguma coisa no pensar humano que nenhuma conta parece alcançar?
⏭️ Para onde ir agora
Leibniz deixou o sonho desenhado, raciocinar é calcular. Mas continuou sendo um sonho, grande demais pra ele terminar. Faltava alguém pegar um pedaço concreto desse sonho, a lógica, e mostrar que ela podia virar conta de verdade, com símbolos e operações que qualquer um faz no papel.
Esse alguém apareceu quase dois séculos depois, um professor inglês que resolveu tratar o pensamento como álgebra. George Boole.