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é ?".