lundi 30 janvier 2012

Théorème du bon ordre

Première publication sérieuse sur la SAAC. Bientôt traduite en français par votre serviteur.

mardi 3 janvier 2012

Le Train Intuitionniste

Le Train Intuitionniste (aussi appelé Manoir Constructiviste ou encore Roule ma poule !, bien que cette dernière appellation fait encore débat aujourd'hui) fut installé par la SAAC en 1957 sur un terrain vague, dans la banlieue de Vesoul. Il avait pour objectif, outre un bon fendage de gueule, l'appréhension pour tout un chacun de l'horreur intuitionniste. Sans vouloir révéler les "trucs" de cette formidable machinerie, nous pouvons tout de même indiquer quelques éléments ignobles qui se trouvaient à l'intérieur : un véritable intuitionniste, deux démonstrations constructivistes, un squelette d'axiome du choix, une citation de Poincaré, un mur de logique floue et une vision fugace d'un monde dirigé par des intuitionnistes.
Ceux qui ont pénétré dans le Train Intuitionniste en ont conservé un souvenir indélébile.
Le suicide par pendaison à l'intérieur du train d'un jeune homme (le mot que l'on retrouva sur lui, "Mort à Zermelo", ne fait aucun doute sur ses penchants intuitionnistes) contraint la SAAC à fermer son animation.

lundi 2 janvier 2012

2012, année de la SAAC !

Une année de plus pour la SAAC et pourtant, la voilà toujours aussi jeune, drôle, souple et fringante...
Mort à l'intuitionnisme et que le règne de l'axiome du choix soit célébré comme il se doit.
2012 sera l'année de la SAAC ou ne sera pas.