Thomas Messias pour Slate a écrit :Cantor a permis d'aplanir les choses. Il y avait au moins deux sortes d'infinis : l'infini dénombrable (celui de N, de l'ensemble des nombres pairs, etc.) et l'infini indénombrable (comme celui de R). La question qui planait depuis environ 70 ans était la suivante: y avait-il d'autres types d'infinis entre ces deux grandes catégories? Des sortes d'infinis intermédiaires? Malliaris et Shelah viennent brillamment de démontrer que non, ce que Cantor avait supposé sans parvenir à le démontrer. Cette propriété, nommée hypothèse du continu, est la première des 23 problèmes présentés par le mathématicien David Hilbert en 1900 comme tenant en échec le monde des mathématiques.
Puis en me reportant à une source citée, j'ai lu que non, l'hypothèse du continu n'avait pas été démontrée.
Voilà, c'est tout, à part que je n'ai rien compris à la définition des pseudo-intersections, et donc aussi à p et t, qui permettraient d'en donner une "mesure".