Distributed Cognition and Mathematical Practice in the Digital Society: from Formalized Proofs to Revisited Foundations