Diferència entre revisions de la pàgina «Paradoxa de Burali-Forti»
De Wikisofia
m (bot: - nombres ordinals el + nombres ordinals, el) |
|||
| 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 | + | 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 ben 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ó de 12:34, 18 set 2018
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 ben 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.