# Séminaires : Séminaire Général de Logique

 Equipe(s) : lm, Responsables : S. Anscombe, O. Finkel, A. Khélif, A. Vignati Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr Salle : 1013 Adresse : Sophie Germain Description

 Orateur(s) Matthew Foreman - UC Irvine, Titre Stay in your own lane Date 28/02/2022 Horaire 15:15 à 16:15 Diffusion Résume Certain reductions of the collection of ill-founded trees to well-studied objects in ergodic theory can be miniaturized" to give concretely computable maps from Godel numbers of lightface sentences in number theory to computable diffeomorphisms. This miniaturization process proves statements such as: The twin prime conjecture is equivalent to the associated computable transformation being isomorphic to its inverse." Recently Marks and others pointed out that for universal number theoretic statements (such as Riemann's hypothesis) the proof can be greatly simplified. The talk tells the story of a set theorist working in ergodic theory trying to get results in computable analysis. Salle 1013 Adresse Sophie Germain