Juliette C. Kennedy: Gödel and the Scope Problem: From Incompleteness to Extended Constructibility

Valeur des informations & solidité de l’argumentation

La conférence apporte une perspective originale sur l’héritage de Gödel, en proposant une implémentation concrète de son appel à des notions absolues. L’argumentation est solide, s’appuyant sur des résultats de recherche publiés et des références historiques précises. Kennedy articule clairement le lien entre le problème de la portée pour la calculabilité et son extension à la définissabilité, et justifie l’intérêt de considérer des logiques intermédiaires entre le premier et le second ordre. Elle discute également des limites et des critiques possibles de son approche, ce qui renforce la crédibilité de l’exposé.

Rigueur scientifique, qualité des sources, adéquation du titre

La conférence est scientifiquement rigoureuse, s’appuyant sur des travaux de recherche et des sources historiques. Les références à Gödel, Turing, Myhill, Scott, Chang, etc., sont précises et contextualisées. Le titre est adéquat : il annonce clairement le sujet, à savoir le problème de la portée chez Gödel et son lien avec la constructibilité étendue. La conférence ne comporte pas de séquence publicitaire.

Le titre reflète bien le contenu : la conférence traite du problème de la portée chez Gödel, de l'incomplétude à la constructibilité étendue.

8/10

Exposé par une chercheuse reconnue, s'appuyant sur des travaux publiés et des références historiques précises (Gödel, Turing, etc.). Le contenu est technique et rigoureux, mais la forme orale et le format de conférence limitent la vérifiabilité immédiate.

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

• 01:00Introduction : question de la sensibilité des structures mathématiques à la logique sous-jacente.
• 03:00Présentation de la conférence de Gödel à Princeton en 1946 et des notions de calculabilité, prouvabilité et définissabilité.
• 10:00Discussion sur l'importance du travail de Turing pour la notion de procédure mécanique et la résolution du problème de la portée pour la calculabilité.
• 20:00Introduction de la hiérarchie constructible et des ensembles héréditairement ordinalement définissables.
• 30:00Présentation des résultats sur la robustesse de L et de HOD pour différentes logiques, et sur les logiques qui permettent de sortir de L.
• 40:00Discussion sur les modèles internes obtenus, l'absoluité générique et les grands cardinaux.
• 45:00Conclusion : questions ouvertes et perspectives philosophiques sur la notion de formalisme.

• Site de l'atelier Gödel 2021 — Site officiel de l'atelier où la conférence a été donnée.
• Slides de l'atelier Gödel 2021 — Slides des conférences de l'atelier, mentionnées par l'intervenante.

• Gödel, Kurt. 'The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory.' (1940) — Travail fondateur de Gödel sur la constructibilité, mentionné implicitement.
• Turing, Alan. 'On Computable Numbers, with an Application to the Entscheidungsproblem.' (1936) — Article de Turing sur la calculabilité, central dans l'argumentation.