Paradoxa de Burali-Forti
Es coneix com a paradoxa de Burali-Forti a la suposició, dins d'una teoria de conjunts axiomàtica, de que la totalitat dels números ordinals forma un conjunt. Dita suposició du a una contradicció en la teoria. Deu el seu nom al matemàtic Cessara Burali-Forti, que la va descobrir en 1897.[1]
Enunciat
[editar | editar còdic]Hui en dia s'interpreta dita contradicció com l'enunciat de la següent teorema:
És immediat demostrar-ho per reducció a l'absurt.
Este enunciat és paradòxic si pot demostrar-se que existix tal conjunt. Est era el cas abans de l'introducció de sistemes axiomàtics com ZF o NBG, en els que açò no ocorre.
Referències
[editar | editar còdic]- ↑ Vore Cantini, Andrea. Edward N. Zalta (ed.): «Paradoxes and Contemporary Logic». The Stanford Encyclopedia of Philosophy (Summer 2012 Edition). Archivat des d'el original, el 30 de juliol de 2012. Consultat el 30 de juliol de 2012.
- Erro en la seqüencia d'órdens: no existix el mòdul «Citas»..
Bibliografia adicional
[editar | editar còdic]- (1897).Rendiconti del Circolo Mat. vaig donar Palermo.11
- 154-164.doi:10.1007/BF03015911. L'artícul original de Burali-Forti.
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Paradoja de Burali-Forti» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.