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:8890@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20251127T110000
DTEND;TZID=Europe/Paris:20251127T123000
DTSTAMP:20251123T201411Z
URL:https://www.i2m.univ-amu.fr/evenements/linfluence-des-travaux-de-turin
 g-sur-la-philosophie-de-godel/
SUMMARY:Fabien Carbo-Gil (CGGG\, Aix Marseille): L'influence des travaux de
  Turing sur la philosophie de Gödel
DESCRIPTION:Fabien Carbo-Gil: Les travaux de Turing ont participé à donne
 r aux théorèmes d'incomplétude de Gödel toute leur portée en fourniss
 ant une définition explicite de la notion de système formel.\nAu-delà d
 e ce résultat\, nous verrons comment la caractérisation du concept de ca
 lcul par les machines de Turing\, que Gödel qualifie de caractérisation 
 "absolue"\, a influé sur\nla philosophie de Gödel et sur son optimisme c
 oncernant la possibilité de caractériser de manière absolue le concept 
 d'ensemble.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR