Paradoxa de Russell: diferència entre les revisions
Contingut suprimit Contingut afegit
→La paradoxa en termes del barber: correcció d'una variable lògica "y" traduida per la lletra "i" |
m neteja i estandardització de codi |
||
Línia 1:
La '''paradoxa de Russell''' descrita per [[Bertrand Russell]] el [[1901]] demostra que la teoria originària de conjunts formulada per [[Georg Cantor|Cantor]] i [[Gottlob Frege|Frege]] és contradictòria.
Suposem un conjunt que consta de conceptes que no són membres de si mateixos. Un exemple descrit és el conjunt que consta d'"idees abstractes", que és membre de si mateix perquè el conjunt és ell mateix una idea abstracta, mentre que un conjunt que consta de "llibres" no és membre de si mateix perquè el conjunt no és un llibre. En la seua paradoxa, Russell preguntava (en carta escrita a Frege el [[1902]]) si el conjunt de conceptes que no formen part de si mateixos formen part de si mateix. Si no forma part de si mateix, pertanyen al tipus de conjunts que sí que formen part de si mateixos.
| |||