Axiome du choix et construction par recurrence
Re: Axiome du choix et construction par recurrence
même en suivant des études orienté physique , vous fêtes de la logique poussé ?
''L’ennemi du savoir , n'est pas l'ignorance , mais l'illusion du savoir '' .
Re: Axiome du choix et construction par recurrence
Non.
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
Dattier a raison, tout est décidable dans ta théorie.
ENS Lyon
Ingénieur de recherche
Ingénieur de recherche
Re: Axiome du choix et construction par recurrence
Je pense que vous vous posez trop de questions en logique mathématique/théorie des ensembles. La grande majorité des mathématiciens ne se préoccupent jamais des questions de logique mathématique, d'axiomes du choix ou de modèles. On utilise Zorn en analyse fonctionnelle et on le fait sans aucun état d'âme.
Avant de vous lancer dans des études de logique mathématique, ou de théorie des ensembles, vous devriez regarder les nombres de postes d'enseignant-chercheur avec un profil logique ou théorie des ensembles en CNU25. Chercher "opération postes", et regarder les profils de postes en MCF25 (maths pures). C'est quelque chose que vous devez absolument considérer si vous souhaitez intégrer une ENS puis vous orienter vers la recherche. Faire les choses pour l'art est attractif quand on a 20 ans, beaucoup moins quand on en a 30.
Avant de vous lancer dans des études de logique mathématique, ou de théorie des ensembles, vous devriez regarder les nombres de postes d'enseignant-chercheur avec un profil logique ou théorie des ensembles en CNU25. Chercher "opération postes", et regarder les profils de postes en MCF25 (maths pures). C'est quelque chose que vous devez absolument considérer si vous souhaitez intégrer une ENS puis vous orienter vers la recherche. Faire les choses pour l'art est attractif quand on a 20 ans, beaucoup moins quand on en a 30.
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.
Re: Axiome du choix et construction par recurrence
Siro : Si T prouve phi et T prouve non phi alors T prouve (phi et non phi) c'est à dire T prouve faux, or tautologiquement pour tout énoncé psi, faux implique psi donc par modus ponens, T prouve psi, ainsi T est complète.
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!!!