Axiome du choix et construction par recurrence
Re: Axiome du choix et construction par recurrence
Ok, bien vu et merci de la précision.
Chaque vénérable chêne a commencé par être un modeste gland. Si on a pensé à lui pisser dessus.
Re: Axiome du choix et construction par recurrence
Le dernier résultat majeur prouvé en mathématiques est un résultat de logique...
Voici le lien : https://arxiv.org/pdf/1208.5424v2.pdf
Et pourtant, ce champ de recherche est du genre "mort" (tous les problèmes ouverts réputés imprenables liés à ce pan des mathématiques font peur Oo)...
Il faut avouer qu'il y avait eu un regain de la logique pour les besoins de l'analyse fonctionnelle (l'école de Krivine entre autres) ainsi qu'en théorie descriptive des ensembles (carrefour entre le topologie et la théorie de la mesure) dont certains cours de DEA (d'autre diront M2) traînent sur le net (pour les plus curieux! :p)
Bonne chance!!!
Voici le lien : https://arxiv.org/pdf/1208.5424v2.pdf
Et pourtant, ce champ de recherche est du genre "mort" (tous les problèmes ouverts réputés imprenables liés à ce pan des mathématiques font peur Oo)...
Il faut avouer qu'il y avait eu un regain de la logique pour les besoins de l'analyse fonctionnelle (l'école de Krivine entre autres) ainsi qu'en théorie descriptive des ensembles (carrefour entre le topologie et la théorie de la mesure) dont certains cours de DEA (d'autre diront M2) traînent sur le net (pour les plus curieux! :p)
Bonne chance!!!