#Llm
2 notas · última:
O teorema da incompletude de Gödel
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 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?