jeudi 29 décembre 2011

SAAC's cut

En matière de communication, la SAAC sait vivre avec son temps. Ainsi, dès l'apparition des premières caméra Super 8, la SAAC s'empare de ce petit bijou de technologie afin de tourner quelques clips promotionnels bien sentis. Présentation de l'axiome du choix, lutte contre l'intuitionnisme, portrait de Zermelo, défense de la sodomie, bienfaits du LSD, cours de cuisine thaï, etc., l'ensemble des activités y sera présenté avec toujours plus de créativité, d'innovation, d'élégance et de raffinement. Ils ne furent pas toujours très bien compris pas le public (lorsqu'ils furent projetés, fait assez rare au demeurant) mais les quelques bandes qui nous sont parvenues prouvent, une fois de plus, l'incroyable avant-gardisme d'une société savante qui sait ce qu'est le monde.

mercredi 28 décembre 2011

Axiome du choix de la paire

Tout le monde connaît l'axiome de la paire (l'un des fondements de l'axiomatique de Zermelo-Fraenkel). Ce que l'on sait sans doute moins, c'est qu'en avril 1956, un chercheur croate en logique molle tenta de réunir dans une même pièce le dit axiome de la paire avec l'axiome du choix. Il démontra ainsi l'existence d'un axiome alternatif (une sorte de regroupement des deux) qu'il nomma l'axiome du choix de la paire. Totalement oublié aujourd'hui car parfaitement inutilisable et sans aucun intérêt formel, cet axiome (et par là même cet vil chercheur croate) fut la risée de la SAAC pendant 17 jours. On se s'improvise pas axiomaticien...

lundi 19 décembre 2011

Intuition enfantine

Dans un souci de parfaite transparence, la SAAC se doit de reconnaître qu'elle mena, au cours des années 50, quelques expérimentations sur des enfants. Oh ! Trois fois rien cependant... Il fut prouvé toutefois que, soumis à de fortes concentrations de rayonnements Gamma sur un laps de temps assez long (17 heures en moyenne sans manger), l'enfant perd une partie de son intuition (il perd certes autre chose, mais la science a toujours un prix).
La mort du petit Valentin (de constitution fragile, rappelons-le) quelques jours après la 34ème série d'expériences mit fin prématurément à cette véritable avancée intellectuelle. L'éradication, dès le plus jeune âge, de toute forme d'intuition aurait permis une implantation stable et durable de l'axiome du choix, mais l'humanité est une radasse trouillarde et timorée. C'est un fait.

vendredi 16 décembre 2011

Les ravages de l'intuition

Mais combien de fois faudra-t-il le répéter ? Combien de fois la SAAC devra rattraper le coup, une fois que c'est trop tard ? Combien de vies brisées, de rêves détruits ?
L'intuition est une vraie saloperie. C'est comme cela. Ne voulez laisser pas prendre dans les griffes intuitionnistes car, après, le pire peut advenir.
(Samatha, sur la photo, se soigne depuis maintenant dix ans mais n'arrive toujours pas à arrêter la peinture).

jeudi 15 décembre 2011

La SAAC, un accueil chaleureux

La SAAC, comme nombre d'entre vous sans doute, s'est longtemps posée la question du lien entre l'hypothèse du continu généralisée et l'axiome du choix au sein de la théorie ZF (Zermelo-Fraenkel, bien-sûr). Car oui, rien n'est moins simple, rien dévident là-dedans. C'est bien joli d'avoir ces deux outils si magnifiquement ourlés si on ne sait pas quel est le rapport entre les deux ! Un sacré casse-tête, qui en rendit fou plus d'un !
C'est en 1947 que Waclaw Sierpinski démontre que l'axiome du choix est en fait une conséquence de l'hypothèse du continu généralisée dans la théorie ZF. Putain, juste une conséquence ! Dingo ! Il présenta immédiatement sa preuve à l'Académie des Sciences, qui se fouta un peu de sa gueule. Il se résolut donc à l'amener à la secrétaire de la SAAC qui, elle, lui fit l'accueil qu'il méritait. La SAAC est juste et gracieuse.

mercredi 14 décembre 2011

Immanence de la SAAC

La permanence de la SAAC est ouverte tous les jeudis 15 décembre, de 5h30 à 5h45 et de 22h à 23h12. Vous y trouverez tout ce que vous pouvez chercher, toutes les réponses à vos questions. Des brochures sur l'axiome du choix y sont à votre disposition, ainsi que le Guide de survie en milieu intuitionniste. Possibilité de restauration rapide sur place. Maillot de bain obligatoire.
Adresse de la permanence uniquement sur demande justifiée et argumentée.

mardi 13 décembre 2011

Espoir formel

Aller à la rencontre de l'intuitionniste est un devoir pour le membre de la SAAC. Expliquer, convaincre, raisonner, s'armer de patience, recommencer, expliquer de nouveau, ne pas le regarder tel qu'il est, dans son chemin d'errance, mais bien comme ce qu'il pourrait être, une fois lavé de son infamie, donner son amour formel, offrir l'axiome du choix comme un don de soi et espérer. Oui, espérer, car sinon il devra mourir.

lundi 12 décembre 2011

Formalisme en commun

Il n'est jamais très facile pour un membre actif de la SAAC de prendre les transports en commun. Néanmoins, il lui arrive parfois d'y être contraint. La consigne (formulée en 1965 par la commission en charge des Affaires Humaines) est d'être dans ce cas-là le plus discret possible, de se fondre dans la masse des humains, en un mot de redevenir, l'espace d'un voyage, monsieur-tout-le-monde. Si pour les logicistes, c'est relativement faisable, il en va tout autrement pour les formalistes.

dimanche 11 décembre 2011

La cachette de l'intuitionnisme

Tu peux bien te cacher où tu veux, intuitionniste, la SAAC te retrouvera.
La SAAC, destructrice d'intuition depuis 1904.

samedi 10 décembre 2011

L'axiome de la chiale

La SAAC tient à remercier chaudement les participants aux Journées annuelles 2011 de la SAAC (consacrées, mais est-ce besoin de le rappeler, à l'influence de l'axiome du choix dans le cinéma expérimental des Balkans avant 1954)... faudra pas s'étonner après, hein ? Faudra pas dire : "Mais, on savait pas... fallait prévenir..."... faudra pas venir chialer comme des... chialeuses parce que, oui, après, il sera trop tard...
Les Journées annuelles 2012 de la SAAC (dont le thème provisoire est Intuitionnisme et Petite Vérole) auront lieu en 2012. Vous êtes prévenus.

vendredi 9 décembre 2011

Le jeu de l'axiome

La SAAC, dont l'un des buts est bien l'éveil des consciences par ingestion de l'axiome du choix, organise un jeu-concours dont le gagnant deviendra membre perpétuel de la SAAC, affecté au service courrier. Il pourra également s'asseoir sur le Pouf de Zermelo (pour voir ce pouf, c'est ici) pendant 17 secondes.
Le règlement du jeu est simple, même toi tu peux le comprendre.
Regarde la photo ci-dessus et trouve, en utilisant uniquement l'axiome du choix, l'intuitionniste qui s'y cache telle une lâche et une pleutre.
Envoie ta réponse par FedEx ou, si t'es un pauvre, en répondant simplement à ce message. En cas d'égalité, le vainqueur sera celui qui arrivera à démontrer le Lemme en Zorn sans utiliser le mot "sphincter".
A toi de jouer !

jeudi 8 décembre 2011

Le logicien de Pissevaches

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 !

mercredi 7 décembre 2011

L'infini à portée de main

L'axiome du choix, dès sa naissance en 1904, fut source de nombreux débats, voire de luttes fratricides. Derrière la difficulté pour certains d'accepter ce véritable cadeau (qui n'apporte, in fine, que bonheur et prospérité) se cache un autre obstacle théorique : le statut de l'infini. Considéré jusqu'alors comme potentiel (genre, il existe, oui, mais c'est pas pour nous pauvres mortels, ce truc est un brin transcendant), il devint avec l'axiome du choix (et les travaux de Cantor) foutrement actuel (genre, vas-y, te gênes pas, t'as qu'à manipuler l'infini tant que tu y es !).
Face à cette difficulté et afin de convaincre les derniers irréductibles, un membre de la SAAC eut l'idée tout à fait géniale de créer une machine à mouvement perpétuel purement humaine. L'idée était bien sûr de montrer la parfaite actualité de l'infini, l'infini à portée de main quoi. Passé les premiers bleus, les forces de frottement (aussi bien physiques que morales) mirent un terme à cette expérience. L'obscurantisme a encore de beaux jours devant lui.

lundi 5 décembre 2011

Un geste qui soulage

En mai 1890, Peano publie un article sur la démonstration de l'intégrabilité des équations différentielles ordinaires dans lequel il fait mention explicite, de manière négative, à ce qui deviendra 14 ans plus tard, sous la plume de Zermelo, l'axiome du choix. Face à cet infamie, deux activistes du formalisme, futurs membres de la SAAC, décidèrent de frapper un grand coup. Le geste fut salué par certains comme la première grande victoire sur l'intuitionnisme rampant. Nous ne les oublierons pas.

jeudi 27 octobre 2011

La queue de l'axiome

En 1931, suite à la grande dépression, la SAAC décida de faire un geste. Comme toute société savante digne de ce nom (Rose-Croix, Franc-maçonnerie, Amicale des boulistes d'Arcachon, etc.), elle a toujours eu pour mission, entre autres, d'aider son prochain. Elle mit donc, gracieusement, à la disposition de qui le souhaitait l'article fondateur de Zermelo concernant l'axiome du choix. C'est en des temps de dénuement le plus complet que tout un chacun peut retrouver le chemin de l'essentiel. La SAAC le sait.

mercredi 26 octobre 2011

Ton sourire est comme un axiome

Les réunions de la SAAC ont toujours eu lieu dans des endroits tenus secrets. Tenir à l'écart l'engeance intuitionniste est vital pour pouvoir, sereinement, construire les moyens de leur destruction. Arrière-salle d'une boulangerie de Vaucresson, station de métro abandonnée, peep-show, appartement de Jean Amadou (paix à son âme), restaurant tamoul, etc,. le lieu importait du moment qu'il était discret et introuvable sur une simple intuition. Ceci dit, les invités s'y rendaient toujours le sourire aux lèvres, car, in fine, le membre de la SAAC est drôle.

lundi 26 septembre 2011

Une cure de formalisme

Adhérer à la SAAC, vouloir profiter pleinement des bienfaits de l'axiome du choix, buter impunément quelques intuitionnistes, humilier des personnes de petites tailles, détourner les fonds publics à des fins logicistes et sexuelles, oui, nous le savons, cela fait envie. Mais cela a également un prix. Disproportionné diront certains... peut-être... mais la SAAC ne cherche pas à plaire...
Ecouter les Cure (groupe majeur de la scène formaliste minimale tendance réfrigérateur) n'est pas si difficile... enfin, si peut-être, mais c'est comme ça.
La SAAC est juste, ne l'oublie pas.

mercredi 21 septembre 2011

Le poète et le formaliste

"- On lui a bien refait la gueule à ce foutu intuitionniste !
- L'orthodontie, même longue, n'y pourra rien changer (rires) !
- Comme dit si bien Verlaine, au vent mauvais...
- Poète."
Extrait du compte-rendu de l'assemblée générale de la SAAC en date du 12 octobre 1956.

lundi 19 septembre 2011

Intuitionniste impénitent, mort au tournant

"Un bon intuitionniste est un intuitionniste mort". Cette phrase de Zermelo sonne encore aujourd'hui dans la tête de chaque membre de la SAAC comme une invitation à faire la fête et à se rejouir, comme des fous. La mort par accident compte aussi bien-sûr, mais moins.

lundi 12 septembre 2011

Un tapis zermelien

La réunion de rentrée de la SAAC (qui avait pour objectif l'axiomatisation du chanvre) n'a pas rencontré un immense succès. Soit. Nous nous en souviendrons.
Quoiqu'il en soit, le président en exercice a pu, à son aise, testé le nouveau tapis acheté par la section "Formalisme et Tapis". Il a conclu son test avec ces mots (qui font chaud au coeur) : "Ce tapis est quasi zermelien".

vendredi 9 septembre 2011

SAACtaire ?

En 1972, bien avant que l'Etat ne mette son nez dans les affaires des autres, la SAAC fût accusée de dérives sectaires. Rions un peu. Ah. Ah. Ah.
Le président de l'époque, un formaliste tendance épicurienne, accepta volontiers de répondre aux questions des enquêteurs. Deux disciples furent conviées à l'entretien afin de montrer, si cela eût été nécessaire, que l'ambiance au sein de la SAAC était pour le moins groovy.
La plainte fût classée sans suite faute de preuves constructivistes. Le déposant est encore aujourd'hui activement recherché par les membres de la SAAC afin de lui "faire bouffer sa morgue intuitionniste", est-il noté sur l'avis de recherche remis à chaque nouveau membre.

jeudi 8 septembre 2011

Pas de vacances pour la SAAC

Les membres de la SAAC ne sont jamais en vacances, concept bourgeois qu'il faut combattre tant que faire se peut. Travail et plaisir, formalisme et poilade, amour, gloire et beauté ne sont que les différentes facettes d'une seule et même chose : la lutte contre l'intuitionnisme. Et cet été fut un bon été pour ce vaste chantier. De nombreux intuitionnistes ont été dénoncés, débusqués et/ou torturés. Il ne sera pas dit que la SAAC oeuvre pour le bien commun.
Réunion de rentrée prévue courant septembre. Thème : Le chanvre et toi, comment faire ?

mardi 2 août 2011

Le crachat intuitionniste n'atteint pas le blanc formaliste

Refusant l'accélération perpétuelle du monde moderne, trois membres de la SAAC décidèrent de se rendre au colloque "L'intuitionnisme est une belle saloperie" (Vesoul, du 8 mars au 4 septembre 1935) à cheval. Malheureusement, n'ayant jamais pratiqué l'équitation, ils durent se rabattre sur un animal plus bas-de-caisse mais assez docile tant qu'on ne le provoque pas : le lama. Ils arrivèrent à bon port le 17 juillet et durent repartir le 25 du même mois. Cependant, leur intervention "Le rejet de l'axiome du choix ou la marque du diable" marquera un tournant dans la recherche en logique formelle. Le lama peut te cracher à la gueule, certes, mais lui n'est pas un suppôt de Satan.

samedi 30 juillet 2011

A l'ombre de la justice

Le 7 juillet 1972, deux chercheurs en logique formelle (et membres émérites de la SAAC) furent arrêtés au petit matin pour pétage de gueules d'intuitionnistes fourbes et retors. Leur ligne de défense s'appuya naturellement sur le principe du tiers-exclu et sur l'axiome du choix. Malheureusement, la justice, vérolée par un constructivisme rampant, condamna les deux logiciens à apporter une preuve nouvelle au théorème de Gödel. Ils ne furent sauvés que par le fait que le juge pensait que ce théorème était en fait une recette de cuisine. La justice a parfois ses zones d'ombres, la logique aussi. Tant mieux.

vendredi 29 juillet 2011

Un bureau pantouflard

Traditionnellement, chaque 29 juillet à 15h30, le bureau de la SAAC pose pour la gazette du mois d'août. Le président, le trésorier et le secrétaire (ainsi qu'un joueur de cricket et un boucher spécialisé en viande chevaline) se prêtent bien volontiers, depuis la création de la SAAC, à cette coutume finalement bien sympathique. C'est toujours un moment de partage, de convivialité et de pantoufles (pour ces dernières, cela dépend toutefois des années et sont de toutes les manières réservées aux membres du bureau). Et oui, la SAAC est constituée d'humains, aussi fragiles que des pétales de fleurs.

mardi 26 juillet 2011

Le pouf de Zermelo

Accepter le poste de président de la SAAC, en dehors de procurer une immense fierté, est un véritable sacerdoce. Les charges sont infinies et les gains instables. La défense de l'axiome du choix, la lutte contre l'intuitionnisme et le combat pour la reconnaissance des médecines douces sont autant de batailles que le président en exercice est souvent seul à assumer. En contrepartie toutefois, il est le seul à pouvoir utiliser le "Pouf de Zermelo". Le combat est juste et le repos mérité.

jeudi 21 juillet 2011

Fange constructiviste

En 1963, Paul Cohen montre l'indépendance de l'axiome du choix et de l'hypothèse du continu de Cantor. Craignant des représailles des intuitionnistes (rendus ivres de joie par cette nouvelle et se vautrant, chaque jour un peu plus, dans la fange constructiviste), les membres de la SAAC prirent quelques précautions : se promener toujours à deux, n'utiliser le lemme de Zorn qu'en cas d'urgence et garder un cigare à la bouche afin d'éviter toutes provocations verbales. Une fois les intuitionnistes retournés dans leur cave, ces mesures furent levées. Sombre période, surtout pour les saaciens non fumeurs...

mercredi 20 juillet 2011

Pilosité formaliste

La SAAC accepta, non sans quelques réticences, la cooptation des hommes de petite taille. Certains membres refusèrent pendant de nombreuses années selon le principe qu'une telle aberration de la nature ne pouvait qu'aller de paire avec un intuitionnisme farouche. Ils ne cédèrent finalement qu'avec l'obligation du port de la moustache. Contre mauvaise fortune, bon coeur. Telle est la SAAC.

mardi 12 juillet 2011

La liberté du formaliste

Le centre d'entraînement au formalisme et aux techniques de bases de lutte contre l'intuitionnisme fût inauguré en 1958. La partie théorique de l'enseignement était dispensée par des bourbakistes de la première heure, tandis que la partie pratique fût confiée à un ancien chasseur alpin renvoyé de l'armée pour meurtre. Le centre fût fermé après une visite surprise de la Ligue des Droits de l'Homme, les raisons de cette fermeture ne furent jamais éclaircies. Foutus droits-de-l'hommistes !

mardi 5 juillet 2011

Nage libre

En 1975, la SAAC participa aux championnats inter-régionaux de Natation à Sec. Le président de l'époque s'engagea dans le 200m figures imposées au cours duquel son logicisme bourbakiste et son élégance naturelle firent merveille. Il arriva certes dernier mais il n'en marqua pas les moins les mémoires. La SAAC profita de cette occasion pour faire connaître les activités de la société en envoyant à l'hôpital un concurrent du plongeon sur matelas (ils ne firent d'ailleurs que retirer le matelas, geste purement formel), ce dernier ayant, selon certaines sources, prétendu (nous citons) : "Zermelo, on s'en fout !".

dimanche 3 juillet 2011

Cachez ce sein que nous ne saurions voir

Dans sa célèbre conférence de Vienne en 1930 sur "la structure du continu", Jan Brouwer énonça les éléments qui allaient donner vie à l'école intuitionniste (en opposition au formalisme et au logicisme). Il épousa quelques années plus tard Greta (photo ci-dessus), véritable preuve vivante, selon lui, que le rejet du principe de tiers-exclu était le bon choix. Elle fût enlevée par des membres de la SAAC (branche Action Directe) qui opérèrent une ablation du sein central. La malheureuse Greta perdit la raison à la suite de l'opération, réalisée sans anesthésie et uniquement avec une pelle à tartes. Manquerait plus que les membres de la SAAC soient aussi médecins !!!

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.

mercredi 29 juin 2011

Le manteau, arme formaliste

Le manteau du formaliste n'est pas un simple manteau. Ooooh non. Non content de tenir chaud lorsqu'il fait froid et d'être élégant en toutes circonstances, le manteau est une arme redoutable contre le vil intuitionniste. Une fois le félon débusqué, un large mouvement rotatif du bras droit et notre petite salope en sera pour ses frais. Il est à noter, qu'une fois l'ordure constructiviste neutralisé, un bon coup de poing dans le ventre lui fera certainement comprendre tout l'intérêt de l'hypothèse du continu. Il ne faut pas bouder son plaisir tout de même !

mardi 28 juin 2011

Brigade Transfinie

Le formaliste (et membre de la SAAC) est un observateur attentif du monde qui l'entoure. Son regard est dit de lynx et son cou de poulet. Il axiomatise le monde afin de le comprendre pleinement, ceci dans l'unique but de le rendre meilleur. Parfois, sa grande lucidité (ainsi que le travail de sape des intuitionnistes) le contraint à prendre un peu de repos, voire beaucoup de repos. Pour les soutenir lors de ces périodes difficiles, la SAAC a mis en place une brigade d'aide psychologique (dénommée la Brigade Transfinie) qui, avouons-le, n'a jamais fait ses preuves.

lundi 27 juin 2011

Liberté chérie

Au mois d'août, la SAAC fait relâche. Chacun est alors libre de faire ce qui lui plaît. Ceci dit, la réintégration à la rentrée n'est pas automatique. La liberté a toujours un prix.

vendredi 24 juin 2011

Le style d'abord

Il est une légende qui traîne dans les couloirs de la SAAC depuis de nombreuses années et, comme toutes les légendes, personne ne peut certifier de sa véracité. Ceci dit la notion de vérité étant assez floue au sein de la SAAC, elle a fini par se transformer en rite initiatique.
Il est donc raconté que c'est en se séchant les cheveux que Georg Cantor, sentant le souffle chaud et apaisant sur son crâne dégarni, eut la révélation de l'hypothèse du continu. Et c'est ainsi que chaque nouveau membre de la SAAC se doit d'acquérir un séchoir digne de ce nom et d'avoir tous les jours une coiffure impeccable. L'idée que ce même membre se devrait d'apporter sa pierre à l'axiomatique et la logique formelle est finalement assez anecdotique.
A la SAAC, c'est d'abord le style.

jeudi 23 juin 2011

La SAAC déconne

Il ne faut pas croire ce qui se raconte ici et là, les membres de la SAAC aime rire. Georges G., trésorier de la SAAC et responsable de la commission Axiome du choix & Gastronomie, fut invité à la fête de la saucisse en 1956 et le moins que l'on puisse dire, c'est qu'il ne s'en laissa pas compter. Un sacré déconneur, ce Georges.

Hadamard, amour de la SAAC

mercredi 22 juin 2011

Mens perturbata in corpore perturbato

La SAAC n'a jamais considéré la devise Mens sana in corpore sano comme ayant un quelconque sens, l'idée même d'un esprit sain étant même l'un de ses sujets de poilade favori. Elle ne prôna donc ni le sport, ni une hygiène de vie quelconque. Cependant, elle favorisa au cours de son histoire les rapprochements avec le monde de la culture physique et incita fortement ses membres à sculpter leurs corps tels des dieux grecs. Le président de la SAAC de 1966 à 1966 et demi (en photo ici) montra l'exemple en atteignant une sorte de nirvana du bodybuilding.

mardi 21 juin 2011

Le membre de la SAAC et son double

Très pris par la lutte contre l'intuitionnisme, les membres de la SAAC prirent l'habitude de se faire remplacer au sein de leur confortable foyer. Les choix des remplaçants furent plus ou moins convainquant mais certains membres ne purent jamais rentrer chez eux. Ils devinrent les plus farouches défenseurs de l'axiome du choix (et vouèrent une haine durable aux moutons notamment).

lundi 20 juin 2011

Tolérance zéro

Attention, l'intuitionnisme refait son apparition. Soyez vigilant. Une simple morsure et les premiers symptômes apparaissent : rejet du principe du tiers-exclu, bouffées délirantes de logique floue et remise en question de l'axiome du choix.
Luttez efficacement contre ce fléau, mettez des bottes.

samedi 18 juin 2011

Membre bienfaiteur

Membre bienfaiteur de la SAAC pendant 10 ans, Pierre-Paul D. apporta à la société une vision novatrice de la logique formelle et de l'axiomatique. Il produisit également des résultats importants sur la notion d'infini actuel qui ébranlèrent nombre de théoriciens fumeux qui prétendaient n'accepter l'idée d'infini que pour Dieu. Il fait, encore aujourd'hui, la fierté de la SAAC. Merci à toi, Pierre-Paul.

vendredi 17 juin 2011

Les débats de la SAAC

Il n'est point douteux que Claudia F. se souviendra longtemps de son incroyable prétention à vouloir expliquer aux membres de la SAAC que l'intuitionnisme n'est peut-être pas une perversion de l'esprit et que l'axiomatique de Zermelo-Fraenkel n'est sans doute pas la seule à pouvoir refonder les mathématiques. Pfff, quel toupet.

jeudi 16 juin 2011

Organigramme axiomatique

Le poste de secrétaire générale de la SAAC a toujours été très convoité. Si bien que les dossiers de candidatures sont étudiés à la loupe et les critères sont drastiques : haine de l'intuitionnisme et amour de l'axiome, connaissance assez sérieuse de la logique formelle et de la robotique, grande capacité d'écoute et d'empathie avec les membres de la SAAC, quelques connaissances en cuisine appréciées, pratique de sports tels que le cricket ou le lancer de nains. Quelques photos des candidates sont fortement recommandées.

mercredi 15 juin 2011

Aux sources de א

Unique image de la première exposition organisée par la SAAC, "Mythologie(s) de l'axiome du choix, aux sources de א". Très avant-gardiste, cette exposition connut un succès d'estime mais fût rapidement fermée pour cause de heurts violents entre formalistes et intuitionnistes, ces derniers ne comprenant décidément rien à la beauté formelle.

lundi 13 juin 2011

Un cadeau est un cadeau est un cadeau

Il est vrai que cette "chose" fut découverte après le bombardement du local de la SAAC en 1945. Mais un cadeau ne se refuse pas... Et puis, le président de l'époque avait toujours cru que cette oeuvre était un hommage à l'axiome du choix, la puissance de l'aigle représentant la puissance du continu... tout le monde peut se tromper !

mercredi 8 juin 2011

Nuage Sombre

Afin de percer le mystère du calme, de la conscience de soi et de l'incroyable solidité apparente de l'indien Navajo (et faisant l'hypothèse que cela était dû à une forte propension au formalisme), la SAAC kidnappa le chef Nuage Sombre. Les résultats pitoyables obtenus lors des séances réalisées avec l'aspire-âme découragèrent les plus tenaces des saaciens. Nuage Sombre fût prêté au Musée Grévin qui l'utilisa un temps à des fins publicitaires.

dimanche 5 juin 2011

L'axiome de la paix

La SAAC ne s'est jamais défilée face aux grands bouleversements du monde dans lequel elle évolue. Ainsi elle participa, à sa manière, à la grande manifestation pour la paix dans le monde de 1914. Une présence incomprise mais remarquée. Telle est la SAAC.

samedi 4 juin 2011

L'intuition venue d'ailleurs

En 1931, la SAAC eut l'immense honneur d'accueillir un extra-terrestre. Pourquoi ce petit être venu du fin fond de l'univers (un trou paumé, vraiment) choisit-il la SAAC pour ce premier contact avec la Terre, nul ne le sait ? Un choix audacieux ceci dit.
Le dialogue fut laborieux, les membres de la SAAC refusant, par éthique, de parler tout autre langage que les mathématiques. Ce qui, par contre, apparut très vite comme une évidence était que ce petit bonhomme n'était qu'une boule d'intuition. Il intuitait à tour de bras, en veux-tu en voilà.
Par peur que la nouvelle d'une intuition extra-terrestre ne se répande comme une traînée de poudre ou simplement parce qu'il était laid, il fût abattu d'une balle dans la tête et enseveli sous 10 mètres de terre.