Les nombres réels dénombrables

Héhéhé
Modifié (May 2022) dans Fondements et Logique
C'est sur ce titre un brin provocateur que je partage un lien vers une présentation de Andrej Bauer "The countable reals" qui présente un topos dans lequel, si j'ai bien compris, les nombres réels (construits à la Dedekind) sont dénombrables. Je me suis dit que ça pouvait intéresser un certain nombre de personnes sur ce sous-forum.
Connectez-vous ou Inscrivez-vous pour répondre.