Bonjour,
Je suis aujourd'hui en M1 de mathématiques, mais je suis déjà quelques cours de M2, et je devrai l'an prochain faire un stage d'un semestre à l'étranger. De plus je m'approche du choix d'un thème de thèse.
J'avoue ne pas savoir du tout comment se passe ces orientations, et j'ai peur de me retrouver à faire un stage/une thèse sur un sujet qui ne me plait pas... Quelqu'un aurait-il des conseils sur ce sujet?
J'ai aussi pas mal de questions plus précises sur le domaine particulier qui m'intéresse:
Le plus facile à définir est (comme toujours ^^) ce qui ne m'intéresse pas: les Probas/Stats, et dans une moindre mesure l'Analyse.
Ce qui m'intéresse ensuite:
L'Algèbre de manière générale, en particulier j'ai eu (et j'ai encore) l'occasion de suivre des cours sur la théorie des corps en général, avec la théorie de Galois, le Nullstellensatz,... et sur la théorie des nombres qui m'ont beaucoup intéressés...
La Logique, que j’approfondirai surtout au second semestre, mais j'ai en particulier vu quelques théorèmes en théorie des modèles qui m'ont beaucoup plus!
Enfin, dans une moindre mesure, une certaine dose d'informatique théorique, où j'ai eu (je dirai presque "par hasard") quelques cours de théorie des langages et de lambda-calcul.
Dernière trouvaille intéressante: pendant quelques groupes de travail, j'ai eu l'occasion de travailler sur les catégories, en particulier sur leur coté algébrique. De plus pendant un cours sur le lambda-calcul, j'ai eu l'occasion d'en découvrir un autre pan où j'ai eu l'occasion de découvrir les notions de 2-catégorie, de catégorie monoïdale, de monade..., que le prof reliait plus ou moins à la théorie de la démonstration...
Je me demandais donc si vous connaissiez des thèmes de recherche qui permettraient de concilier un peu tous ces centres d'intérêts. En particulier l'optique "catégorique" me parait intéressante, mais je ne sais pas trop comment les différents points de vue que j'ai eu l'occasion d’apercevoir se mélangent...
Voila voilà, merci d'avance de vos réponses à mes questions, et je suis aussi à l'écoute de tous les conseils que vous pourrez me donner