Alors, oui, bien-sûr, il arrive aux membres de la SAAC de sortir de la cave qui leur sert de local afin d'apporter la bonne parole formaliste (et accessoirement, de casser les genoux à deux ou trois intuitionnistes). Le président a ainsi fait l'effort, en cette journée de confinement presque-sûr, de se rendre chez une bonne amie afin de l'initier aux plaisirs infinis de l'axiomatique de Zermelo-Fraenkel (soit l'axiomatique ZF) complétée par l'axiome du choix (soit l'axiomatique ZFC). Cette axiomatique à permis de passer de ce que l'on appelait la théorie naïve des ensembles (celle élaborée par Cantor lui-même, gloire à son Nom) à la théorie forte des ensembles, car axiomatisée. Et c'est sur cette théorie forte que les mathématiques ont pu être reconstruites, mettant, d'une certaine manière, fin à ce que l'on appelle aujourd'hui la crise des fondements. C'est ce que le président expliquait à sa bonne amie, entre autres choses, lorsqu'un intuitionniste, fourbe et inélégant (comme tous les intuitionnistes), s'est introduit dans l'appartement, contraignant le président à s'éclipser, tout en élégance et subtilité. La nouvelle circulaire n'a pas tardé à tomber : toutes les initiations à l'axiomatique forte auront désormais lieu au local de la SAAC. Inscription sur papier libre.
Aucun commentaire:
Enregistrer un commentaire