K4041215 - Complétude et indécidabilité - Cours magistral
formation en logique M1 théorèmes d'incomplétude de Gödel
Informations sur l'espace de cours
| Nom | Complétude et indécidabilité - théorèmes d'incomplétude |
| Nom abrégé | UP1-C-ELP-K4041215-08 - théorèmes d'incomplétude |
| Enseignants | Wagner Pierre |
| Groupes utilisateurs inscrits | Consultation des ressources, participation aux activités :
|
Rattachements à l'offre de formation
| Élément pédagogique | UP1-C-ELP-K4041215 - Complétude et indécidabilité |
| Chemin complet | > Année 2024-2025 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 2 > UE3 enseignement spécifique > Option logique > Complétude et indécidabilité |