#Godel
3 notas · última:
Incompletude e consistência: os dois teoremas de Gödel
Por que uma teoria que contém aritmética não pode ser completa nem demonstrar a própria consistência — os dois teoremas que Gödel provou em 1931.
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.
A numeração de Gödel
O truque que deixa a matemática falar de si mesma: dar a cada símbolo, fórmula e demonstração um número único e reversível, codificando sequências por potências de primos.