April 14, 2025
Emmanuel Rauzy (von Humboldt fellow, Munich)L’approche classique de l’étude de la calculabilité en théorie des groupes repose sur l’usage des présentations finies, qui encodent de manière compacte la table de multiplication d’un groupe engendré par un nombre fini d’éléments.
Un théorème de Groves et Wilton de 2009 montre que des phénomènes très intéressants apparaissent si l’on s’intéresse à des descriptions plus complexes. Pour donner un cadre formel à cette nouvelle approche, on se tournera vers l’analyse calculable.