No início do século 20, o filósofo e matemático Bertrand Russell apresentou ao mundo um problema que parecia um simples jogo de palavras, mas na verdade escondia uma falha catastrófica nos fundamentos da matemática moderna.
É conhecido como «O Paradoxo do Barbeiro» e apresenta a seguinte situação:
Em uma aldeia distante há um único barbeiro. Nesse lugar existe uma lei absoluta e inquebrável: o barbeiro só faz a barba de homens que NÃO fazem a barba sozinhos.
O problema surge quando nos fazemos a pergunta definitiva: O barbeiro faz a própria barba?
- – Se o barbeiro faz a própria barba: Ele quebra a lei, porque a regra diz que ele só pode fazer a barba daqueles que não fazem a própria barba. Portanto, ele não deveria fazer a própria barba.
- – Se o barbeiro NÃO faz a própria barba: Ele imediatamente entra no grupo dos homens que não fazem a própria barba. E como a lei diz que o barbeiro faz a barba desse grupo, então ele é obrigado a fazer a própria barba.
É um loop infinito. Se ele faz isso, não pode fazer; e se não faz, tem que fazer. Seu cérebro acabou de entrar em colapso.
Qual é a resposta real para o problema?
Durante anos, as pessoas tentaram encontrar brechas na história: «que o barbeiro era uma mulher», «que o barbeiro era careca e não tinha barba», ou «que um barbeiro de outra aldeia apareceu por lá». Mas, na lógica pura, essas respostas são trapaças.
A verdadeira resposta científica e matemática para o paradoxo é tão simples quanto devastadora: o barbeiro não existe. É uma impossibilidade lógica.
Russell inventou essa história para demonstrar que a «Teoria dos Conjuntos» usada pelos matemáticos de sua época tinha uma falha grave. Ele mostrou que você pode escrever uma regra que parece perfeitamente lógica no papel, mas quando tenta aplicá-la à realidade, ela se destrói.
O paradoxo é resolvido ao aceitar que a condição que define o barbeiro é contraditória; portanto, a existência de um personagem que cumpra essa lei é matematicamente impossível.
Graças a essa dor de cabeça, os cientistas tiveram que reescrever as regras da matemática moderna para impedir que esses «buracos negros da lógica» acontecessem novamente.