Lean, novo tira-teima da matemática

Uma coisa que sempre me atraiu na matemática é que o único domínio do conhecimento em que é possível dar respostas definitivas a, virtualmente, qualquer questão: quando um matemático prova (ou "desprova") um teorema, esse debate se encerra e, simplesmente, avançamos para novas questões.Leia mais (04/21/2026 - 23h00)