La nozione di un «insieme che contiene tutti gli insiemi che non contengono se stessi» è un’idea paradossale attribuita a quale filosofo inglese?

La storia dietro la risposta

Bertrand Russell individuò il paradosso dell’«insieme di tutti gli insiemi che non contengono se stessi» (1901). Se esiste un insieme R di questo tipo, chiedersi «R contiene se stesso?» porta a una contraddizione: se sì, allora non dovrebbe; se no, allora dovrebbe. Ciò mostrò che la teoria ingenua degli insiemi — in cui ogni collezione definibile è un insieme — è incoerente. La scoperta di Russell scosse le fondamenta della matematica, spinse Frege a rivedere il suo sistema e ispirò nuovi fondamenti come la teoria degli insiemi di Zermelo–Fraenkel e la teoria dei tipi di Russell. Un utile promemoria è il «paradosso del barbiere»: il barbiere rade tutti e solo coloro che non si radono da soli — chi rade il barbiere?