Re: [EDUC] Du constructivisme

[Pierre Yann Baco <pbaco AT carlit.net>]

Le 05/02/2018 à 14:07, Alain Wazner a écrit :
> Si vous lisez selement  contenu des pdf  (avec sûrement des fautes
> d'orthographe) de la signature vous constaterez qu'en logique le numérique R
>
> est inconstructible avec axiome du choix et constructible avec axiome du
> choix dépendant et ce
>
> en utilisant les notion de quasi-morphisme et la logique Zermelo-Frankel
> dont je ne suis qu'un commentateur
Chacun fait ce qu'il veut de sa vie privée, mais prenons tout de même 
comme postulat que le quasi-morphisme ne serait rien sans les 
difféomorphismes hamiltoniens, et que messieurs Zermelo et (surtout) 
Frankel doivent, comme tout un chacun sait, une bonne partie de leur 
carrière au paradoxe de ce bon vieux Russel ("l'ensemble des ensembles 
n'appartenant pas à eux-mêmes appartient-il à lui-même ?")...

Mais je peux me tromper.
> --
> Pour vous désinscrire de cette liste : 
> https://listes.april.org/wws/sigrequest/educ
>
> Pour connaître la configuration de la liste, gérer votre abonnement à la 
> liste educ et vos informations personnelles :
> http://listes.april.org/wws/info/educ

--
Pierre Baco
Carlit.net
06.30.58.69.29