O Barbeiro que se Barbeia
Quem barbeia o barbeiro?
O barbeiro não pode existir — é uma contradição lógica
Se o barbeiro se barbeia: ele está barbeando alguém que se barbeia — mas ele só barbeia quem não se barbeia. Contradição.
Se o barbeiro não se barbeia: ele é alguém que não se barbeia — mas ele barbeia todos que não se barbeiam. Então ele deveria se barbear. Contradição.
Não há saída. A premissa é logicamente impossível. O barbeiro descrito não pode existir.
🧬 O Paradoxo de Russell
Bertrand Russell criou este paradoxo em 1901 para demonstrar uma inconsistência fundamental na teoria dos conjuntos de Cantor. O "conjunto de todos os conjuntos que não contêm a si mesmos" — ele contém a si mesmo? Se sim, não deveria. Se não, deveria. Esse paradoxo abalou os fundamentos da matemática e levou ao desenvolvimento da teoria dos tipos e da lógica moderna.