https://scholion.thluiz.com/tags/logica/Recent content in Logica on ScholionHugo -- gohugo.iopt-BR© 2026Tue, 30 Jun 2026 14:17:23 +0100https://scholion.thluiz.com/notes/incompletude-e-consistencia-godel/Tue, 16 Jun 2026 15:51:39 +0100https://scholion.thluiz.com/notes/incompletude-e-consistencia-godel/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.https://scholion.thluiz.com/notes/fundamentar-a-aritmetica/Tue, 16 Jun 2026 15:51:39 +0100https://scholion.thluiz.com/notes/fundamentar-a-aritmetica/Categoricidade, modelos não-padrão e a leitura estrutural: o que está em jogo quando se diz que cinco axiomas fundamentam os números.https://scholion.thluiz.com/notes/axiomas-de-peano/Tue, 16 Jun 2026 15:51:39 +0100https://scholion.thluiz.com/notes/axiomas-de-peano/Os cinco axiomas que Peano publicou em 1889, a aritmética que se constrói sobre eles, e o limite que Gödel impôs em 1931.https://scholion.thluiz.com/notes/peano-matematico/Tue, 16 Jun 2026 15:51:39 +0100https://scholion.thluiz.com/notes/peano-matematico/Além dos axiomas: a curva que preenche o plano, a notação lógica que Russell adotou, o Formulario Mathematico e o Latino sine flexione.https://scholion.thluiz.com/notes/numeracao-de-godel/Tue, 16 Jun 2026 15:16:10 +0100https://scholion.thluiz.com/notes/numeracao-de-godel/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.https://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.