BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Une recherche informatique et mathématique collective : le calcul
  du cinquième « castor affairé »
DTSTART:20261116T190000Z
DTEND:20261116T200000Z
DTSTAMP:20261029T214100Z
UID:indico-event-17595@indico.math.cnrs.fr
CONTACT:athomas@math.univ-lyon1.fr\;borrelli@math.univ-lyon1.fr
DESCRIPTION:Speakers: Jean-Paul Delahaye (Lille)\n\n\nLe calcul du « cinq
 uième castor affairé »\, est un exploit extraordinaire réalisé il y a
  quelques mois dans le cadre d'un travail de recherche collectif exemplair
 e. Il concerne les machines de Turing\, ce concept abstrait de dispositif 
 de calcul imaginé en 1936 par Alan Turing et qui aujourd'hui encore est u
 n outil important pour parler de la complexité des algorithmes et de la 
 « non-calculabilité ». Le record dont nous allons rendre compte comport
 e deux étapes principales. D’abord\, il a fallu mener une recherche sys
 tématique\, longue mais assez facile\, consistant à exécuter une multit
 ude de petits calculs pouvant être mené indépendamment et en parallèle
  les uns des autres\, et dont il faut mémoriser certains résultats pour 
 aboutir à une proposition plausible. Dans un second temps\, bien plus dé
 licat\, il a fallu opérer un travail minutieux de démonstration du résu
 ltat suggéré. Les logiciels de validation de démonstrations\, appelés 
 « assistants de preuve »\, se sont révélés essentiels dans cette seco
 nde étape\, et on sait qu'ils le sont aujourd'hui aussi pour contrôler l
 es travaux des systèmes d'intelligence artificielle. Remarquable aussi es
 t le fait que cet exploit est le fruit d’un travail collaboratif entrem
 êlant mathématiques et informatique\, qui témoigne d’une nouvelle fa
 çon de pratiquer des recherches et où l'ordinateur est un acteur central
 .\n\n \nLa conférence sera suivie d'une démonstration d'Alan 8.4\, une 
 machine de Turing universelle faite de briques Lego® et fonctionnant à l
 'air comprimé\, visible en libre accès à la bibliothèque Diderot jusq
 u'à Noël.\n\nhttps://indico.math.cnrs.fr/event/17595/
LOCATION:Amphi Descartes (ENS Lyon)
URL:https://indico.math.cnrs.fr/event/17595/
END:VEVENT
END:VCALENDAR