Event
Gena Hahn, Universit茅 de Montr茅al
Le th茅or猫me de Ramsey
e 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. 聽