formation en logique M1 théorèmes d'incomplétude de Gödel
- Enseignant éditeur: Wagner Pierre
Complément intitulé: théorèmes d'incomplétude
Nom normé: K4041215 - Complétude et indécidabilité - Cours magistral
Nom abrégé normé: K4041215 - Cours magistral
Chemin ROF: /Philosophie/M1 Philosophie parcours logique et philosophie des sciences/Semestre 2/UE3 enseignement spécifique/Option logique/Complétude et indécidabilité
Chemin ROFid: /10/UP1-PROG-10-M1K404-119/UP1-PROG-ELP-K404S219/UP1-C-ELP-K4P04619/UP1-C-ELP-K4045219/UP1-C-ELP-K4041215
Code Apogée: K4041215
RofId: UP1-C-ELP-K4041215
Nom ROF: Complétude et indécidabilité
Composante: Philosophie
Semestre: 2
Niveau: M1
Niveau LMDA: Masters
Niveau année: 4
Composition: Cours magistral
Diplôme: M1 Philosophie parcours logique et philosophie des sciences
Domaine ROF: [Philosophie et épistémologie] Philosophie et épistémologie
Type ROF: [M1]
Nature ROF: [4] BAC+4
Cycle ROF: [2]
Rythme ROF: [Initiale] initiale
Langue: []
Mention: Philosophie
Spécialité: Philosophie parcours logique et philosophie des sciences
Parcours: logique et philosophie des sciences
Attente de validation: Oui
Demandeur Id: 49117
Date demande: dimanche 26 janvier 2025, 23:54
Approbateur proposé Id: 49117
Approbateur effectif Id: 49117
Date validation: dimanche 26 janvier 2025, 23:54
Générateur: Manuel via assistant (cas n°2 ROF)
Modèle: [651]EPI vierge (vide)