Logique en mathématique et en informatique
Samedi 18 novembre 2006
Ircam, Salle O. Messiaen
1, place I. Stravinsky 75004 Paris
Entrée libre dans la mesure des places disponibles
Programme
15h - 16h30 - Pascal Boldini (Université Paris IV / CAMS)
Des catégories aux types : un itinéraire en mathématiques appliquées
En évoquant un itinéraire tres 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.
Discussion
Quelques repères bibliographiques
- P. Boldini, Contributions de la Théorie des Catégories à la Représentation des Connaissances, thèse, Université Rennes I, 1995
- P. Boldini, M. Bourdeau, "La théorie constructive des types - Avant propos", Mathématiques et Sciences Humaines/Mathematics and Social Science, 165, N° spécial "La théorie constructive des types", 2004.
- Roberto Di Cosmo : Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Design. Birkhäuser, 1995