Llm on Scholionhttps://scholion.thluiz.com/tags/llm/Recent content in Llm on ScholionHugo -- gohugo.iopt-BR© 2026Tue, 16 Jun 2026 18:12:12 +0100O teorema da incompletude de Gödelhttps://scholion.thluiz.com/notes/teorema-da-incompletude-de-godel/Tue, 16 Jun 2026 15:16:10 +0100https://scholion.thluiz.com/notes/teorema-da-incompletude-de-godel/Em 1931, Gödel provou que todo sistema formal capaz de aritmética é incompleto ou inconsistente: há verdades que ele não alcança a partir das próprias regras. O que isso significa, e onde encosta nos LLMs.Pesquisa Viva: A Characteristica Universalis de Leibniz e os Vetoreshttps://scholion.thluiz.com/research/leibniz-characteristica-vetores/Tue, 16 Jun 2026 14:58:39 +0100https://scholion.thluiz.com/research/leibniz-characteristica-vetores/Até onde Leibniz chegou com a characteristica universalis, e até onde um LLM, na prática, realiza o que ele almejava? Ele foi um visionário a quem só faltava poder computacional, ou o projeto era de outra natureza?