Diferència entre revisions de la pàgina «Paradoxa de Burali-Forti»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} La primera de les paradoxes modernes, publicada per Cessés Burali-Forti, en 1987, que juntament amb la paradoxa de Russell|paradoxa...».) |
m (bot: - l' anomena també + l'anomena també) |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | La primera de les [[paradoxa|paradoxes]] modernes, publicada per Cessés Burali-Forti, en 1987, que juntament amb la [[paradoxa de Russell|paradoxa de Russell]] i la [[paradoxa de Cantor|paradoxa de Cantor]], constitueixen el grup pincipal de les paradoxes en teoria de conjunts. Molt semblada a la de [[Autor:Cantor, Georg|Cantor]] (paradoxa del nombre cardinal màxim), l' anomena també paradoxa del nombre ordinal màxim. Si s'ordena el conjunt de tots els nombres ordinals el resultat és també un conjunt bé ordenat. L'ordinal d'aquest conjunt ha de ser major que qualsevol ordinal dins del conjunt. I així, el conjunt de tots els conjunts ha de tenir un ordinal major que el de qualsevol subconjunt. Però no pot ser-ho, perquè, per definició, el conjunt inicial de nombres ordenats ja conté dit ordinal. | + | La primera de les [[paradoxa|paradoxes]] modernes, publicada per Cessés Burali-Forti, en 1987, que juntament amb la [[paradoxa de Russell|paradoxa de Russell]] i la [[paradoxa de Cantor|paradoxa de Cantor]], constitueixen el grup pincipal de les paradoxes en teoria de conjunts. Molt semblada a la de [[Autor:Cantor, Georg|Cantor]] (paradoxa del nombre cardinal màxim), l'anomena també paradoxa del nombre ordinal màxim. Si s'ordena el conjunt de tots els nombres ordinals el resultat és també un conjunt bé ordenat. L'ordinal d'aquest conjunt ha de ser major que qualsevol ordinal dins del conjunt. I així, el conjunt de tots els conjunts ha de tenir un ordinal major que el de qualsevol subconjunt. Però no pot ser-ho, perquè, per definició, el conjunt inicial de nombres ordenats ja conté dit ordinal. |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió del 18:54, 10 ago 2017
La primera de les paradoxes modernes, publicada per Cessés Burali-Forti, en 1987, que juntament amb la paradoxa de Russell i la paradoxa de Cantor, constitueixen el grup pincipal de les paradoxes en teoria de conjunts. Molt semblada a la de Cantor (paradoxa del nombre cardinal màxim), l'anomena també paradoxa del nombre ordinal màxim. Si s'ordena el conjunt de tots els nombres ordinals el resultat és també un conjunt bé ordenat. L'ordinal d'aquest conjunt ha de ser major que qualsevol ordinal dins del conjunt. I així, el conjunt de tots els conjunts ha de tenir un ordinal major que el de qualsevol subconjunt. Però no pot ser-ho, perquè, per definició, el conjunt inicial de nombres ordenats ja conté dit ordinal.