https://scholion.thluiz.com/tags/fundamentos-da-matematica/Recent content in Fundamentos-Da-Matematica 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.