Les membres de la SAAC aiment discuter. Pas avec n'importe qui (on ne discute pas avec un intuitionniste, on frappe), et pas de n'importe quel sujet (le concept de "monde d'après" est une saloperie constructiviste). Aujourd'hui, le président de la SAAC a ainsi pu discuter avec Frida, sa colocataire (confinement oblige). La discussion a naturellement tourné autour de l'axiome du choix et de son utilisation dans la démonstration du lemme de Fatou. Ce fut une bonne journée finalement.
Aucun commentaire:
Enregistrer un commentaire