SÉMINAIRE DE LOGIQUE 2006-2007
L'automne et l'hiver sont consacrés à un séminaire
pour les étudiants sur
la logique catégorique. Il y aura aussi quelques exposés spécialisés.
Une introduction systématique à la logique catégorique
sera faite à la
session d'hiver, pendant laquelle le séminaire de logique coïncidera
avec
le cours de Jean-Pierre Marquis
PHI 6355 « Fondements des mathématiques »
à l'Université de Montréal.
À l'automne, en quelque sorte en préparation à
la session d'hiver, le sujet
abordé sera le théorème de représentation
de Stone et la dualité de Stone,
qui éclaircissent les liens entre les algèbres de Boole
et les ensembles.
RÉFÉRENCES.
automne :
- R. Cori et D. Lascar, Logique mathématique, tome 1, Dunod,
2003.
- P. Johnstone, Stone spaces, Cambridge U.P, 1986.
- G. Restall, An Introduction to Substructural Logics, Routledge,
2000.
DÉBUT LE 21 SEPTEMBRE, 10h-12h, UQAM, salle W-5215