Displaying similar documents to “A propos d'un théorème de MacIntyre”

Les faisceaux, I

Michel Zisman (1957-1958)

Séminaire Dubreil. Algèbre et théorie des nombres

Similarity:

Structuration cognitive et logique intrinsèque

Pascal Boldini (1993)

Mathématiques et Sciences Humaines

Similarity:

À travers l'étude d'un modèle de représentation des connaissances comme catégorie de faisceaux de traits localement définis ; ce texte montre que la théorie des topoï permet de décrire formellement l'émergence d'une logique intrinsèque à partir d'une approche relationnelle, qu'elle soit structurale ou cognitive. On peut alors caractériser mathématiquement le défaut d'intensionnalité des modèles classiques, et montrer qu'une solution est dans la mathématisation de structures entièrement...