Er is nog veel uit te zoeken over hoe we ons kunnen integreren met de denkprocessen van menselijke wiskundigen, om de pedagogische doeleinden van bewijzen beter vast te leggen, niet alleen de epistemologische. Maar ik ben enthousiast om deel uit te maken van deze reis met de rest van het @mathematics_inc team.