vendredi 1 juillet 2011

La politique de l'autruche

L'intuitionnisme est partout et l'intuitionniste est malin. La SAAC sait cela. Afin de lutter efficacement contre ce fléau, il est nécessaire de débusquer l'intuitionniste là où il se cache. Et parfois, ses atours sont trompeurs.
En 1966, la commission "Débusquage" mit au point un test qui n'a jamais été mis en défaut depuis. Simple et efficace, il ne nécessite que la présence d'une autruche, animal dont les penchants politiques sont, pour le moins, teintés d'intuitionnisme. Le test consiste à mettre en présence l'autruche et l'individu douteux puis de lire à voix haute, le plus distinctement possible, le lemme de Zorn. Après un court instant, les deux entités en présence vont se regarder dans le blanc des yeux. Le premier qui détourne le regard est le plus intuitionniste des deux.
Les mailles du filet se resserrent.

Aucun commentaire:

Enregistrer un commentaire