#Incompletude
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.
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.