Lean, novo tira-teima da matemática

DJ90
0 Min Read
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)
Share This Article