Club mathématique
de l'Université de Montréal

Accueil Journal Calendrier Archive

Le théorème de Ramsey

Le théorème de Ramsey est un des bijoux de mathématique discrète et de la logique. Il en existe une version finie et une infinie qui sont étroitement liées par la compacité. Un simple variante de la version finie, inventé par Kirby et Paris, est un exemple d'un énoncé vraie mais pas prouvable sans recours à l'infini. Dans cette conférence nous prouvons une version simple du théorème infini, indiquons comment en déduire la version finie et donc la version de Kirby et Paris.

Par Gena Hahn , Professeur au département d'informatique et de recherche opérationnelle.