mardi 4 décembre 2012

Le temps de la réflexion


Nous sommes le 4 décembre 2012, il est à peu près 16h15.
Le président réfléchit toujours à l'avenir de la SAAC.

vendredi 9 novembre 2012

Tu as juste le choix de fermer ta gueule

D'aucuns pensent (et naturellement, ils se fourrent gravement le doigt dans l'oeil) que l'axiome du choix a quelque chose à voir avec l'idée naïve de choix. Genre : "Oui, tu sais, dans la vie, tu as toujours le choix." Que nenni ! Cette phrase est une connerie et l'axiome du choix n'a absolument rien à carrer de ta petite vie de merde. 
L'axiome du choix est une possibilité, une potentialité. Il constitue, au sein de l'infini (qui te dépasse, ne cherche pas), la seule promesse possible d'un bon ordre. C'est tout. C'est en soi le seul axiome sur lequel nous puissions réellement compter tout en étant (et ce n'est en rien un paradoxe) un simulacre. Il est l'illusion d'une pseudo-volonté dont il n'a que faire.
Viens. Rejoins la SAAC, accepte l'axiome du choix comme unique moteur et apprend, un tout petit peu, à fermer ta grande gueule.

mercredi 31 octobre 2012

Le maître, l'adepte et l'amour de l'axiome

Entrer à la SAAC, pénétrer le monde envoûtant de la logique formelle, découvrir l'axiome du choix, la love et la décontraction en toutes circonstances... oui, bien-sûr, tu peux le faire. C'est possible. Mais pour cela, tu devras laisser de côté tes intuitions de merde et faire confiance au maître.
Tu as toujours le choix.

jeudi 25 octobre 2012

Vigilance et réactivité

Le premier cours de "Logique Formelle et amours transfinis" s'est plutôt bien déroulé. La présence d'un intuitionniste n'a finalement pas trop perturbé le fil du cours car il a été repéré assez vite. Vigilance et réactivité, telles sont les mamelles de la SAAC.

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.

jeudi 28 juin 2012

Toi aussi

Adhérer à la SAAC, c'est bien-sûr faire allégeance à Zermelo, adorer l'axiome du choix et lutter de toutes ses forces contre l'intuitionnisme.
Mais c'est bien autre chose aussi. C'est un pas formel vers l'autre, une plongée logiciste dans le monde tel qu'il est, l'abandon de toutes nos peurs constructivistes et la découverte, sans cesse renouvelée, des plaisirs infinis d'une axiomatisation du monde.
Cela ne va évidemment pas sans contrepartie, mais c'est un jeu à somme nulle.
Si, toi aussi, tu veux en croquer, envoie un message en MP Inbox avec comme sujet "Toi aussi".
Zermelo est ton ami.

mardi 26 juin 2012

Fraenkel et les Logiciennes

Le 11 février 1952, l'incontournable Abraham A. Fraenkel donne une conférence à Louvain (au Centre National de Mathématiques) dont le titre est tout simplement : L'Axiome du choix. La SAAC en fut, naturellement.
Trois membres de la SAAC se rendirent donc dans la ville de la bonne humeur, essentiellement pour le groupe de country axiomatique prévu en after, Les logiciennes. Mais, malgré un manque évident d'attention, ils écoutèrent un peu l'orateur. Et ils ramenèrent cette phrase au bureau parisien de la SAAC, sorte de bonne parole axiomatique :
"Passant au caractère existentiel de l'axiome, on peut dire : abstraction faite des critiques intuitionnistes, qui sont justifiées de leur propre point de vue, la plupart des nombreuses attaques dirigées contre notre axiome sont dues au fait qu'on a perdu de vue que l'axiome a un caractère purement existentiel." [c'est nous qui soulignons].
Après un bon fendage de gueule et le rangement du texte intégral de la conférence de Fraenkel dans le tiroir étiqueté "Pas con" (ce texte ne fut lu qu'en 1998 par un membre de la SAAC qui avait oublié son Journal l'Equipe pour aller aux toilettes), les touristes du formalisme sortirent de leur sac ce qui allait forcer l'admiration de la SAAC pendant plusieurs mois : un 33t des Logiciennes.
La SAAC est clairvoyante.

dimanche 24 juin 2012

Limite-limite

En 1956, la SAAC, usant de moyens aussi malhonnêtes que justes, arriva à faire arrêter Kurt Gödel pour ses travaux limites-limites datant des années 40. Elle utilisa cette jeune fille innocente, en la contraignant à accuser Gödel de propos intuitionnistes au sein d'une famille monoparentale. Il eut beau se défendre, plaider un formalisme indéboulonnable, arguer de ses articles prônant un pur logicisme, rien n'y fit. Il resta en prison 18 heures. Le temps pour lui de réfléchir un peu à toutes les conneries qu'il avait pu écrire dans ses articles. L'idée était qu'il en ressorte grandi, formalisé.
Les membres du bureau de l'époque durent admettre qu'ils n'avaient pas lu les écrits de Gödel quand ce dernier les accusa de dénonciation calomnieuse. Il n'en reste pas moins, et cela reste vrai encore aujourd'hui, que Gödel est limite-limite.

samedi 23 juin 2012

Dans le cul de la SAAC




Vers le milieu des années 70, la SAAC décida d'aller porter la bonne parole formelle au sein de ce qu'elle considérait comme un véritable repère d'intuitionnistes, l'école publique. Les émissaires logicistes n'hésitaient pas à utiliser tous les moyens pour ramener cette petite vermine constructiviste : insultes, violence physique, humiliation corporelle et psychologique et, naturellement, lecture intégrale des oeuvres de Zermelo (sans autorisation d'aller au petit coin, stratagème aussi méprisable qu'inutile).
C'est au cours d'une de ses visites pédagogiques que l'équipe de la SAAC rencontra celui qui, quelques années plus tard, allait devenir le président de cette belle institution : votre serviteur.
La SAAC est grande, bien plus que toi.

vendredi 22 juin 2012

Lebesgue, indéfinissable

Extrait d'une lettre de Lebesgue à Borel (à propos de l'axiome du choix entre autre). Mais, en fait, n'importe quoi !

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.