C'è ancora molto da capire su come ci integriamo con i processi di pensiero dei matematici umani, per catturare meglio gli scopi pedagogici delle dimostrazioni, non solo quelli epistemologici. Ma sono entusiasta di far parte di questo viaggio con il resto del team di @mathematics_inc.