samedi 31 août 2013

La rentrée de la SAAC


C'est la rentrée de la SAAC. 
Mieux sapée, plus combative que jamais, adoptant une démarche résolument cool mais sûre d'elle-même, la SAAC affirmera cette année haut et fort les valeurs humanistes de l'axiome du choix.
Le monde est prévenu.

lundi 22 avril 2013

Le poids de l'intuition


Les premières expériences visant à mettre en évidence un lien (évident mais peu accepté par le grand public) entre le surpoids et la dégénérescence intuitionniste furent menées par la SAAC dans les années 30. Le protocole expérimentale était assez sommaire : le sujet était un enfant au surpoids incontestable (car l'enfant au coeur naïf ne possède pas encore les ruses et les masques de l'intuitionniste adulte). Passer discrètement une barre chocolaté au-dessus de sa tête. Le test est concluant lorsque l'enfant a l'intuition de la barre et qu'il cherche maladroitement (pataud qu'il est) à l'attraper.
Filmées par un logicien féru de cinéma formel, ces expériences furent projetées dans toutes les salles de cinéma Pathé afin de convaincre le grand public du bien-fondé de l'hypothèse de la SAAC. Les personnes de forte corpulence (ainsi que les intuitionnistes) connurent quelques heures bien sombres, mais assez méritées entre nous. 
Aucune expérience n'est venue contredire cette hypothèse et à ce jour, raison pour laquelle aucune personne en surpoids ne peut être acceptée au sein de la SAAC.

vendredi 19 avril 2013

Logic formail pour la mor dé intuisioniste


Chère mademaoiselle A.
La SAAC est heureuse de vous informer qu'elle a bien reçu votre vidéo et se réjouit de tant d'enthousiasme de votre part. Oui, vous avez bien raison, la logique formelle est à la fois le passé, le présent et naturellement l'avenir de l'homme. Et oui, vous êtes dans le vrai dans votre volonté d'éradiquer l'intuitionnisme.
Toutefois, la section Vidéos formelles & Messages subliminaux a courageusement étudié votre vidéo et a vainement cherché une corrélation avec son titre : "kri transsefini kontre lé boloss intuissioniss". Dans le doute (et parce qu'un refus se doit d'être justifié par un rapport rédigé en logique booléenne), elle a validé votre soumission, qui sera ainsi projetée lors du colloque "La logique formelle à l'heure du numérique" qui se tiendra en Biélorussie en décembre prochain.
Bien à vous et, surtout, ne changez rien.

mardi 9 avril 2013

Faut pas se gêner, l'autre !


Au début des années 1960, Alexander Grothendieck, fort de son côté je-suis-un-peu-un-génie-et-je-t'emmerde, tente un hold-up épistémologique sur les mathématiques. La SAAC, toujours vigilante au moindre dérapage, participe, à sa modeste échelle, à son exclusion du monde mathématique.
Ce coquin de Grothendieck, après avoir chamboulé la géométrie algébrique, poursuit son travail de sape avec la théorie des catégories. Et voilà-t'y-pas que Môsieur propose de remplacer la théorie des ensembles par la théorie des catégories comme fondement des mathématiques. Eh ouais ! Rien que ça ! Faut pas se gêner, hein, t'as qu'à chier dans nos bottes aussi !
Bourbaki, tête pensante et bras armé de la formalisation des mathématiques, tente de convaincre Grothendieck de l'erreur dans laquelle il se fourvoie. La rupture entre les deux est très vite consommée et on sait aujourd'hui où a fini l'inconscient téméraire, dans une cabane aux fonds des bois.
Ce que l'on sait moins, c'est que la SAAC a oeuvré en sous-mains afin d'accélérer la dite rupture : pétage de gueule, menaces de mort, lettres de dénonciation d'activités subversives (élevage de poules immatures, écriture de traités de mathématiques incompréhensibles, utilisation répétée de sandales en hiver, etc.), introduction de livres de mathématiques appliquées dans son bureau et vols de toutes les substances hallucinogènes lui appartenant. 
La SAAC fait ce qu'elle peut, mais elle le fait bien.

mardi 19 mars 2013

Solidarité surconvergente


La SAAC n'abandonne pas ses membres vieillissants. Elle ne l'a jamais fait et ne le fera jamais. Même si, parfois, cela lui en coûte.
Paul D. a passé sa vie (et sa carrière de chercheur en bonheur durable) à tenter de démontrer l'incomplétude du théorème d'incomplétude de Gödel. Il semblerait que la seule chose que ce brave Paul ait réussi à monter est bien qu'il est lui-même incomplet.
Relégué à la tête de la section Chorégraphie & Poussière de Cantor de la SAAC, Paul D. fait désormais des vidéos dans son bureau car il n'a plus le droit de sortir. L'embargo quant à son approvisionnement en nourriture décidé en bureau extraordinaire devrait aboutir à une solution rapide et juste.
La SAAC est solidaire, mais peu patiente.

samedi 2 mars 2013

La bave rampante du peut-être


Cette machine, fabriquée par la Cellule Intuitionniste du 17e arrondissement de la capitale de la France, montre bien (s'il était encore nécessaire de la prouver) la saloperie que peut constituer le rejet du principe du tiers-exclu. Cette cellule fut attaquée par les membres de la SAAC la 2 mars 1983 (la machine fut détruite et les intuitionnistes enfermés dans les égouts de Paris où ils doivent, encore aujourd'hui, bien regretter leur putain de perversion) et, en cette année du trentième anniversaire de cette belle journée, nous pouvons tous hurler ce qui fut le cri de guerre des membres de la SAAC de l'époque : " Peut-être que tu pourrais fermer ta grande gueule d'intuitionniste, aussi.".

jeudi 28 février 2013

La p'tite bite de l'intuitionnisme


Le 27 février 1881 naissait Luitzen Egbertus Jan Brouwer, mathématicien, père fondateur de l'intuitionnisme et, par le fait, petite bite impuissante. La SAAC a plutôt eu l'habitude de fêter en grandes pompes son décès (le 2 décembre), mais une fois n'est pas coutume, elle a tenu à marquer le coup hier.
Démonstration de puissance formelle, cette pyramide logiciste, réalisée en uniquement 5 heures par la sous-commission Vacuité de l'étant  & Pyramides logicistes, a permis au président de la SAAC de déclamer son discours avec une certaine hauteur : "Eh ! P'tite bite ! C'est qui qu'a gagné ?".

lundi 7 janvier 2013

Appel à contributions formelles


2013, année de la SAAC ? Oui, peut-être. Mais cela dépend aussi de toi.
Si tu as rencontré l'axiome du choix, si tu as déjà fracassé le nez d'un intuitionniste, si tu estimes que notre monde manque cruellement de formalisme et que le combat contre l'intuitionnisme est nécessaire, si tu as envie de participer à la naissance de cette revue indispensable que sera La Gazette de la SAAC, dis-moi et après, je te dis afin que tu me dises quand et quoi tu comptes dire.
La SAAC n'a pas besoin de toi, certes, mais ce serait fort dommage de laisser passer l'occasion.