BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8003@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150924T110000
DTEND;TZID=Europe/Paris:20150924T120000
DTSTAMP:20241120T205624Z
URL:https://www.i2m.univ-amu.fr/evenements/l-instruction-fork-et-le-princi
 pe-d-induction-en-realisabilite-classique/
SUMMARY:Guillaume Geoffroy (I2M\, Aix-Marseille Université): L'instruction
  fork et le principe d'induction en réalisabilité  classique
DESCRIPTION:Guillaume Geoffroy: Je commencerai par quelques rappels sur les
  modèles de réalisabilité classique de l'arithmétique d'ordre 2\, puis
  je montrerai le lien entre l'instruction « fork » (qui exécute deux so
 us-programmes en parallèle) et le principe d'induction :\n\nDans un modè
 le de réalisabilité\, tous les axiomes de l'arithmétique de Peano d'ord
 re 2 sont réalisés\, sauf éventuellement le principe d'induction. Autre
 ment dit\, un modèle de réalisabilité peut contenir à la fois des enti
 ers naturels\, qui vérifient le principe d'induction\, et d'autres élém
 ents « non entiers »\, qui ne le vérifient pas.\n\nLe but est de montre
 r que le principe d'induction dans le modèle de réalisabilité (c'est-à
 -dire l'énoncé « tous les éléments du modèle de réalisabiilité son
 t des entiers naturels ») est équivalent\, dans un sens à préciser\, 
 à la présence de l'instruction « fork ». On peut par ailleurs montrer 
 (mais ce n'est pas l'objet de l'exposé) que l'instruction « fork » est 
 présente si et seulement si le modèle de réalisabilité est en fait un 
 modèle de forcing.\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Guillaume_Geoffroy.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20150329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR