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.
 


mamux/saisons/saison06-2006-2007/2006-11-18.txt · Dernière modification: 2011/02/13 19:37 par Jean Bresson