De quantas páginas você precisaria para provar que 1 + 1 = 2?

 De quantas páginas você precisaria para provar que 1 + 1 = 2?

Para a maioria de nós, a resposta parece óbvia e cabe em uma única linha. No início do século XX, os filósofos Bertrand Russell e Alfred North Whitehead decidiram reconstruir toda a matemática do zero absoluto, usando apenas a lógica pura. O resultado foi o monumental "Principia Mathematica", onde a prova formal de que 1 + 1 = 2 só aparece na página 379 do primeiro volume.

O esforço não era para ensinar aritmética, mas para criar as ferramentas lógicas que garantissem que a matemática era um sistema seguro, livre de contradições. Logo abaixo da montanha de símbolos que compõem a demonstração, Russell deixou uma nota quase irônica: "A proposição acima é ocasionalmente útil".

Muitas vezes, aquilo que aceitamos como a mais simples das verdades exige uma fundação invisível e monumental para se sustentar. É na busca pelos fundamentos mais profundos que a ciência e o pensamento estruturado se constroem, transformando o óbvio em genialidade.

​WHITEHEAD, Alfred North; RUSSELL, Bertrand. Principia Mathematica. Cambridge: Cambridge University Press, 1910. Vol. 1.