samedi 30 avril 2011

La tension vers la connaissance

Dans les années 70, certains logiciens tentèrent des approches plus didactiques de l'axiome du choix. Avec des résultats mitigés.

vendredi 29 avril 2011

Les Cantoriens Transfinis

1938 : un groupe de membres radicaux de la SAAC (les Cantoriens Transfinis) célèbre le théorème de Gödel (consistance de l'axiomatique ZFC) en effectuant la ronde de la complétude et de l'amour.

jeudi 28 avril 2011

Donne à la SAAC, s'il te plaît

La SAAC est une société quasi-savante, fondée en association loi 1901 (arrondie à l'unité près) et reconnue d'utilité privée. Dans ces conditions, elle fut de tous temps habilitée à recevoir des dons. Bien sûr, comme le dit le formaliste, chaque époque a les dons qu'elle peut. Sans faire sa mijaurée, la SAAC tient à préciser toutefois qu'elle a fait le plein en crânes, téléphones portables usagé, disques de Michel Sardou et pots de yaourts en verre de la marque La Laitière.
Soyez généreux, soyez inventifs, envoyez de l'argent. L'éradication des intuitionnistes est juste mais onéreuse.

mercredi 27 avril 2011

Les chaussettes de le SAAC

Membres du bureau de la SAAC. Le port de la chaussette montante a été rendu facultatif lors d'une réunion houleuse en 1968, année de toutes les libérations.