Skip to main content

Debate / Meeting

Séminaire MaMux

Logique en mathématique et en informatique

18 Nov 2006

The event is over

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. "

When


18 Nov 2006
3pm - 6pm

Where

Salle Olivier Messiaen

Artists/personalities