| Equipe(s) : | doctorants, |
| Responsables : | Salim Alloun, Pedro Alves, Baptiste Dugué, Brian Flanagan, Ivory Fronteau, Kostyantyn Krutoy |
| Email des responsables : | |
| Salle : | |
| Adresse : | |
| Description | Le séminaire des doctorant.e.s est l'occasion pour les doctorant.e.s de présenter des résultats et des problématiques dignes d'intérêt devant un public de non-spécialistes. L'ambiance y est informelle ; poser des questions naïves est encouragé, et les questions moins naïves sont bienvenues dans la mesure où elles n'entravent pas le bon déroulement de l'exposé. Chaque jeudi à 18h, en alternance entre Jussieu et Sophie Germain. The PhD seminar is an opportnuity for PhD students to present results and topics worthy of interest in front of a non-specialist audience. The mood is informal ; asking naive questions is highly encouraged and less naive questions are also welcomed, as long as they don't intefere with the smoothness of the talk. Every Thursday at 6pm, alternating between Jussieu and Sophie Germain. |
| Orateur(s) | Emmanuel Rauzy - , |
| Titre | Computability Problems in Group Theory |
| Date | 24/03/2021 |
| Horaire | 16:00 à 17:00 |
| |
| Diffusion | https://bbb-front.math.univ-paris-diderot.fr/recherche/rom-jih-e33-pkv |
| Résume | We will talk about two different approaches to introduce computability problems in group theory. The first one is rooted in topology, through the use of the fundamental group in the study of manifolds, and deals with finite presentations of groups. A fundamental result is Higman's Embedding Theorem which gives a characterization, using notions of computability, of the finitely generated subgroups of the fundamental groups of closed manifolds. The second approach is inspired by constructive mathematics, and aims at determining exactly which infinite groups admit finite descriptions in terms of algorithms. We will see that an algorithmic characterization of finitely presented groups allows one to reconcile those two different approaches. |
| Salle | |
| Adresse |