Sujet : Re: La série des infinis
De : om+news (at) *nospam* miakinen.net (Olivier Miakinen)
Groupes : fr.sci.mathsDate : 27. Sep 2023, 11:49:52
Autres entêtes
Organisation : There's no cabale
Message-ID : <uf0ts1$15vi$1@cabale.usenet-fr.net>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 SeaMonkey/2.49.4
Le 27/09/2023 08:11, Thomas Alexandre a écrit :
À ce que je crois avoir compris, Cantor avait une preuve que les aleph
représentent une suite « bien ordonnée », alors même qu'il n'a jamais
rien su dire de l'hypothèse du continu. Cette preuve est donc forcément
indépendante de la dite hypothèse du continu.
Cette page me semble répondre à ta question (que j'espère avoir bien
comprise cette fois) : <https://en.wikipedia.org/wiki/Successor_cardinal>
C'est en anglais, ce que complique un peu pour moi la compréhension d'une
chose déjà non triviale, mais je vais essayer de comprendre tout ça.
En tout cas il semblerait que la preuve s'applique d'abord aux ordinaux,
puis qu'on en déduise (alors facilement) une preuve pour les cardinaux.
Bon je vais regarder tout ça, merci.
-- Olivier Miakinen