Daily Curiosity

Mathématiques · Question

La notion d’un « ensemble qui contient tous les ensembles qui ne se contiennent pas eux‑mêmes » est une idée paradoxale attribuée à quel philosophe anglais ?

Réponse

Bertrand Russell

Pour comprendre la réponse

Bertrand Russell a identifié le paradoxe de « l’ensemble de tous les ensembles qui ne se contiennent pas eux‑mêmes » (1901). Si un tel ensemble R existe, demander « R se contient‑il lui‑même ? » mène à une contradiction : s’il se contient, il ne doit pas ; s’il ne se contient pas, il doit. Cela a montré que la théorie naïve des ensembles — où toute collection définissable est un ensemble — est incohérente. La découverte de Russell a ébranlé les fondements des mathématiques, poussant Frege à réviser son système et inspirant de nouveaux fondements comme la théorie des ensembles de Zermelo–Fraenkel et la théorie des types de Russell. Un moyen mnémotechnique est le « paradoxe du barbier » : le barbier rase tous et seulement ceux qui ne se rasent pas eux‑mêmes — qui rase le barbier ?

À découvrir aussi