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

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

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Matthew Foreman - UC Irvine,
Titre Stay in your own lane
Horaire15:15 à 16:15
RésumeCertain 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.
AdresseSophie Germain