Descoberta: um livro do século XIX mostra como Alice no País das Maravilhas — de Lewis Carroll — escondia ideias matemáticas que, séculos depois, ajudaram a moldar conceitos em IA e teoria da computação 🧠📚🧵

Imagem indisponível

A história vira ainda mais curiosa quando lembramos que Charles Lutwidge Dodgson era, antes de tudo, matemático e professor em Oxford. Seus textos sobre jogos lógicos, provas e paradoxos eram brinquedos intelectuais — mas também ferramentas formais.

Entre chá das 17h e cartas falantes, Carroll camuflou ideias: auto-referência (espelhos e provas infinitas), bijeções implícitas (trocas e transformações) e puzzles de lógica. Conceitos que, mais tarde, aparecem em linguagens formais e modelos computacionais.

Imagem indisponível

Por que isso importa para tech? Porque fundamentos teóricos — lógica, recursão, estruturas algébricas — são a base de compiladores, linguagens e até parte dos conceitos usados em IA simbólica. Hoje, mesmo em modelos estatísticos, essas estruturas ajudam a interpretar linguagem.

A narrativa é dupla: a fantasia inspira a formulação de problemas, e a matemática formal transforma brincadeira em método. Pense em como a ideia de 'entrar no buraco' virou metáfora para recursão ou como jogos de linguagem anteviram o estudo de gramáticas formais.

Imagem indisponível

Há uma lição prática e social nessa história: trazer literatura e pensamento lúdico para o ensino de matemática e computação pode democratizar o acesso à ciência. Tornar esses conceitos acessíveis ajuda a formar talentos diversos, longe do fechamento por monopólios do saber.

Reflexão final: antes de linhas de código e grandes corporações, inovação muitas vezes nasce da curiosidade e da brincadeira. Alice nos lembra que imaginar mundos estranhos pode ser o primeiro passo para construir tecnologias que sirvam a mais gente.

Imagem indisponível