En mars 1985, au cours d'une séance ordinaire de la SAAC (qui vit toutefois l'adoption de la règle dite de "la matrice creuse", stipulant l'utilisation systématique de la méthadone pour tous les formalistes de plus de 75 ans), un intriguant (pour rester poli) fit le malin en prétendant que Zorn n'était pas l'auteur du Lemme de Zorn. Il avança le nom de Kazimierz Kuratowski, obscur logicien polonais et prétendit que ce dernier avait publié une version de ce lemme en 1922, alors que nous savons tous que Zorn la publia en 1935.Une fois la poilade un peu calmée et comprenant que l'impétrant était prêt à tout, les membres de la SAAC décidèrent de prouver, in situ, la stupidité d'une telle idée. La preuve eut lieu le mois suivant sur l'étang de Pissevaches, étang dans lequel les restes de l'impétrant pourrissent encore aujourd'hui, lui et son polak !
Aucun commentaire:
Enregistrer un commentaire