Skip to main content

Debate / Encuentro

Séminaire MaMux

Logique en mathématique et en informatique

18 nov 2006

El evento ha terminado

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

Quando


18 nov 2006
15h - 18h

Dónde

Salle Olivier Messiaen

Artistas/ponentes