• Manifestations scientifiques,
  • Recherche,
  • Philosophie,

Workshop | Logic and Computing: How Do They Interface?

Evènement | 7 novembre 2022

Interdisciplinary workshop - History and Philosophy of Logic and Computing theory.

Organisé par : Jean-Baptiste Joinet (IRPhiL, Université Jean Moulin Lyon 3) et Hugo Cadière (ENS de Lyon)
 

Programme du workshop

Monday 07 November (afternoon)

  • 14:00-15:15 - Michele ABRUSCI (Università di Roma Tre)
    "1922, the launch of Hilbert’s program : its contribution to the development of logic and the birth of computer science."
     
  • 15:15-16:30 - Jean-Baptiste JOINET (IRPhiL, Université Jean Moulin Lyon 3)
    "Through the proofs-as-programs correspondence, may propositions be seen as ideal elements?"
     
  • Coffee break
     
  • 16:45-18:00 - Paolo PISTONE (Università di Roma Tre)
    "Logic and Approximated Computing: a Marriage of Convenience?"
 

Tuesday 08 November

  • 10:00-11:15 - Thomas SEILLER (LIPN, UMR 7030, CNRS & Université Sorbonne Paris Nord)
    "Realisability over abstract models of computations, and algorithms as specifications."
     
  • 11:15-12:30 - Philippos PAPAYANNOPOULOS (IHPST, UMR 8590 CNRS & Université Panthéon-Sorbonne Paris 1)
    "Restoring peace between abstract algorithms and concrete computations: a role for continuity."
     
  • Lunch break
     
  • 14:30-15:45 - Adrien CHAMPOUGNY (IHPST, UMR 8590 CNRS & Université Panthéon-Sorbonne Paris 1, ED de Philosophie de Paris 1)
    "Reverse mathematics and constructivism."

Document(s) à télécharger

INFOS PRATIQUES

Lieu(x)

Hors campus

Salle André BOLLIER, MSH-LSE
14, av. Berthelot – 69007 Lyon
(au rez-de-chaussée)
Contact

Jean-Baptiste Joinet

jean-baptiste.joinet@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Manifestations scientifiques, Recherche, Philosophie

Partenaires

Avec le soutien de l’IRPhiL (Université Jean Moulin Lyon 3, Faculté de Philosophie), du programme Geometry of Algorithms (ANR, IHPST, UMR 8590 CNRS & Université Panthéon-Sorbonne Paris 1) et du Laboratoire Junior TheoDem (ENS de Lyon).