Parcours mixte math fonda/logique

Comme je suis pris en maths fonda, je voulais savoir si je pouvais tenter de faire accepter des UEs du LMFI dedans.
D’après leur site, il faut 4 cours + 1 UE libre.
Je pensais prendre 2 cours type théorie de l’homologie et homotopie I du master maths fonda: http://master-math-fonda.imj-prg.fr/2020-21/cours.html et puis forcing (th. des ensembles approfondis) et grands cardinaux en S2, sachant que j’ai déjà suivi de mon côté en auditeur libre inscrit pédagogiquement th. Des ensembles approfondis.

J’ai peur que ça fasse un peu escroc, vu qu’il y a peu de cohérence, je fais en fonction de mes goûts quoi.

Et quid de la thèse avec des UEs comme ça ?

Je vais pouvoir me consacrer aux maths vraiment cette année, je me demande avec quoi ça peut déboucher en thèse un parcours comme ça ?

L’UE libre, je crois que c’est un truc un peu « gadget », je comptais faire valider un cours coursera de Stanford à distance sur de l’info concrète (type deep learning) je ne sais pas si ça peut passer, mais ça peut me libérer un peu de temps.


Pour le sujet de thèse, je ne sais pas ce qui faudrait, mais les bases logiques de la mécanique quantique, ça fait un moment que l’idée me trotte, sans avoir le temps pour des raisons autres de m’y mettre.... et ce parcours là est un peu hors sujet j’ai l’impression pour faire ce genre de choses... ( ça manque d’info théorique non ?)

Qu’en pensez-vous ? Et est-ce que je pourrais faire passer la pilule auprès de maths fonda de prendre la moitié de leur ECTS de cours sur des trucs du LMFI théorie des ensembles etc ? Est-ce que ça ne fait pas un dossier trop « à l’avenant » ?

J’ai aussi un peu peur que ça me mette dans un moule trop « semantique », beaucoup de catégories et de la
Topologie très « catégorisées et algébrisées » alors que je préfère la topo plus « logicisée et moins jargonnantes » comme celle de la théorie descriptive.