Categoria: Matemática e Lógica
Artigos sobre matemática, lógica, cálculo, álgebra e fundamentos formais aplicados à ciência e à computação.
Quando a Reta Real Desaparece - Uma Hipótese Contável
E se a reta dos números reais for apenas uma ilusão? Exploramos a hipótese de uma hierarquia matemática contável.
A Falha do Cloudflare e o Haskell
Análise técnica do incidente da Cloudflare: entenda como uma mudança de permissões causou uma falha catastrófica em sistemas de alta performance.
Teoria das Categorias e Monads em Haskell
Aprenda como a matemática abstrata e a Teoria das Categorias explicam os Monads na linguagem de programação funcional Haskell.
Praticando Cálculo Lambda: Exercícios e Soluções
Inicie seu treinamento prático em Cálculo Lambda com nossa seleção de exercícios resolvidos.
Praticando Cálculo Lambda: Exercícios e Soluções 2
Mais exercícios práticos para você testar seus conhecimentos em Cálculo Lambda e operações funcionais avançadas.
Usando a logica para somar números naturais
Entenda a construção formal dos números naturais usando a teoria de conjuntos ZFC e os axiomas de Peano.
Em Busca da Diagonalização de Cantor
Explore os artigos seminais de Georg Cantor e descubra a verdadeira origem da técnica matemática da diagonalização.
