Séminaire MaMux

Le Séminaire de travail MaMuX, né à la suite du Séminaire Entretemps "Mathématiques, Musique, Philosophie", cherche à développer une hypothèse de pertinence, à la fois musicale et mathématique, du rapport mathématiques/musique à travers une exploration des liens qui se créent avec d'autres disciplines dont la philosophie, l'épistémologie, la linguistique, l'informatique, les sciences cognitives...

Des catégories aux types : un itinéraire en mathématiques appliquées

par Pascal Boldini, Université Paris IV / CAMS

" En évoquant un itinéraire très personnel d'utilisation de la théorie mathématique des Catégories pour des modélisations en Sciences Humaines et en Informatique, j'essaierai de motiver les raisons que l'on peut avoir d'abandonner cette approche structuraliste, pour des conceptions plus substantielles, dynamiques et pratiques , des mathématiques et de la signification en général, telles que celles thématisées par les théories constructives des types. "