Cultures of Formalization: Towards an encounter between humanities and computing