jeudi 21 juillet 2011

Fange constructiviste

En 1963, Paul Cohen montre l'indépendance de l'axiome du choix et de l'hypothèse du continu de Cantor. Craignant des représailles des intuitionnistes (rendus ivres de joie par cette nouvelle et se vautrant, chaque jour un peu plus, dans la fange constructiviste), les membres de la SAAC prirent quelques précautions : se promener toujours à deux, n'utiliser le lemme de Zorn qu'en cas d'urgence et garder un cigare à la bouche afin d'éviter toutes provocations verbales. Une fois les intuitionnistes retournés dans leur cave, ces mesures furent levées. Sombre période, surtout pour les saaciens non fumeurs...

Aucun commentaire:

Enregistrer un commentaire