Sobre a Conjectura de Birch e Swinnerton-Dyer (Conjectura de BSD), um dos Problemas do Prêmio Millennium, explicamos detalhadamente e matematicamente desde os fundamentos das curvas elípticas até sua profunda conexão com as funções L.
Uma explicação detalhada de toda a história da 'Conjectura de Poincaré', que desafiou os matemáticos por mais de 100 anos, os fundamentos da topologia e a dramática história de sua demonstração por Grigori Perelman.
Explicamos detalhadamente a Conjectura de Hodge, um dos Problemas do Prêmio Millennium do Clay Mathematics Institute, desde o seu papel como ponte entre a geometria algébrica e a topologia até o seu profundo contexto matemático.
Explicação detalhada sobre a Conjectura dos Primos Gêmeos, um problema não resolvido na matemática, incluindo sua história, resoluções parciais e tendências recentes de pesquisa.
O problema não resolvido mais famoso da história da matemática, o 'Último Teorema de Fermat'. Como este problema difícil, que frustrou o desafio de vários matemáticos geniais durante 360 anos após a morte de Pierre de Fermat, foi provado por Andrew Wiles? Explicamos detalhadamente sua história dramática e o contexto matemático.
O que é a Teoria de Galois? Por que não existe uma fórmula geral para resolver equações de grau 5 ou superior? Explicamos de forma acessível os fundamentos da teoria dos grupos deixados por Évariste Galois e a beleza da simetria na matemática.
Um mergulho profundo na visão geral da Conjectura ABC e na abordagem revolucionária do Professor Shinichi Mochizuki com a Teoria de Teichmüller Inter-Universal (Teoria IUT).
Uma explicação detalhada da 'Conjectura de Goldbach', um dos problemas não resolvidos mais famosos da matemática, cobrindo sua história, significado e importância na matemática moderna.
Aprofundamento na história, no contexto matemático e nas provas de independência de Gödel e Cohen sobre a Hipótese do Contínuo (CH), proposta por Georg Cantor.
Uma explicação profunda do contexto e significado da Identidade de Euler, considerada a mais bela da história da matemática.
Uma explicação detalhada sobre a história, a abordagem de prova e a importância da prova assistida por computador do problema das quatro cores, um desafio na matemática.
Uma explicação da Lei dos Grandes Números, um teorema crucial na teoria das probabilidades. Aprofundamos nas estruturas de lucro dos cassinos e em definições matemáticas rigorosas (leis fraca e forte), com diagramas e código em Python.
Explicaremos dois algoritmos probabilísticos representativos que utilizam números aleatórios: o método de Monte Carlo e o método de Las Vegas. Resumimos implementações de algoritmos específicos e a diferença entre cada um, de forma fácil de entender.
Em que ponto da história humana nos encontramos? Explicamos o 'Argumento do Juízo Final', que prevê de forma probabilística a extinção da humanidade usando o Princípio de Copérnico e a Inferência Bayesiana, utilizando fórmulas e diagramas.
O 'Paradoxo do Ancestral', onde o número de ancestrais ao recuarmos gerações excede a população mundial da época. Explicaremos detalhadamente o 'Colapso do Pedigree' (Pedigree Collapse) que desvenda este mistério, através de uma abordagem matemática e da perspectiva da genética.
Será possível criar um "sistema eleitoral justo para todos"? Através do "Teorema da Impossibilidade de Arrow", provado pelo economista Kenneth Arrow, explicaremos os limites matemáticos da democracia e como devemos encarar as eleições e a tomada de decisões.
Explicamos de forma clara e simples os históricos Teoremas da Incompletude de Gödel, que demonstraram os limites da matemática, utilizando exemplos concretos e diagramas para ilustrar o seu significado e a mecânica da prova.
Explicaremos um dos problemas matemáticos não resolvidos mais famosos em computação (já provado como insolúvel): o Problema da Paragem. Faremos a prova pelo absurdo (Proof by Contradiction), usaremos exemplos intuitivos, além de fórmulas e diagramas.
Explicaremos detalhadamente o famoso 'Algoritmo de Deteção de Ciclos de Robert Floyd' (Algoritmo da Lebre e da Tartaruga), utilizado para detetar ciclos em listas ou grafos, utilizando diagramas, fórmulas matemáticas e implementações em C++ e Rust.
O Demónio de Maxwell, uma experiência mental que parece quebrar a Segunda Lei da Termodinâmica. Explicaremos detalhadamente, com fórmulas e diagramas, como este paradoxo foi resolvido pela 'Física da Informação'.
