L’influence des travaux de Turing sur la philosophie de Gödel
Fabien Carbo-Gil
CGGG, Aix Marseille
https://www.cggg.fr/cv/cv-carbo-gil-fabien
Date(s) : 27/11/2025 iCal
11h00 - 12h30
Les travaux de Turing ont participé à donner aux théorèmes d’incomplétude de Gödel toute leur portée en fournissant une définition explicite de la notion de système formel.
Au-delà de ce résultat, nous verrons comment la caractérisation du concept de calcul par les machines de Turing, que Gödel qualifie de caractérisation « absolue », a influé sur
la philosophie de Gödel et sur son optimisme concernant la possibilité de caractériser de manière absolue le concept d’ensemble.
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories
