vendredi 28 septembre 2012

De quoi l'intuitionnisme est-il le nom ?




Chaque année, un membre de la SAAC est désigné volontaire pour infiltrer les réseaux intuitionnistes. Le choix n'est pas démocratique (rires), c'est en règle général le membre le moins sympa. Il doit répondre à une triple interrogation : Qui sont-ils ? Où se cachent-ils ? Pourquoi sont-ils ?, qui finalement n'en forme qu'une : Comment peut-on les éradiquer ?
Malgré la perte d'un grand nombre de membres (qui ne sont jamais revenus de leur quête), le membre désigné se doit d'être fier et heureux de se voir une mission d'une si grande importance pour la survie de l'axiome du choix. Il peut naturellement refuser la mission (rires), mais s'il l'accepte, il se doit d'enfiler une tenue adéquate. L'intuitionnisme a un nom : il s'appelle "grosse teuhon".

mardi 18 septembre 2012

La Maison du Choix

En 1964, un logicien chauve tenta de réfuter le résultat de Cohen énoncé l'année précédente (et naturellement celui de Gödel de 1938), comme quoi, l'hypothèse du continu serait indécidable dans la théorie ZFC (théorie axiomatique de Zermelo-Fraenkel auquel on ajoute l'axiome du choix). Un truc qui peut prêter à sourire tout de même.
Après avoir tenté en vain de le faire avec des outils mathématiques classiques de la logique formelle, il utilisa des outils de jardinage dont la fameuse binette retrouvée sur le palier de l'appartement de Cohen. Ce n'est que lorsqu'il arriva au local de la SAAC avec une scie circulaire que le bureau de l'époque décida de le placer, provisoirement, dans la Maison du Choix.
Cette maison, fondée en 1910 pour garder sous la main Georg Cantor, accueille encore aujourd'hui des logiciens errants, des formalistes dans le doute et des klismaphiles lecteurs de Marc Lévy.
Au dernière nouvelle, il se serait pris d'amour pour l'émission les Z'amours, émission sur laquelle la SAAC préfère garder le silence.