Il reste encore beaucoup à comprendre sur la manière dont nous nous intégrons aux processus de pensée des mathématiciens humains, afin de mieux saisir les objectifs pédagogiques des preuves, et pas seulement les objectifs épistémologiques. Mais je suis ravi de faire partie de ce voyage avec le reste de l'équipe @mathematics_inc.