K4041215 - Complétude et indécidabilité - Cours magistral

Cours sur les théorèmes d'incomplétude de Gödel

Informations sur l'espace de cours

Nom Complétude et indécidabilité - M1 théorème de Gödel
Nom abrégé UP1-C-ELP-K4041215-04 - M1 théorème de Gödel
EnseignantsWagner Pierre
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2019] Groupe pédagogique : Complétude et indécidabil - K4041215 (M.Wagner Mercredi 14h/16h Cavailles) (groups-gpelp.44824-2019)
  • [2019] Groupe pédagogique : Complétude et indécidabil - K404121CT (M.Wagner CT) (groups-gpelp.46404-2019)
Consultation des ressources uniquement : No enrolled cohort.

Rattachements à l'offre de formation

Élément pédagogique UP1-C-ELP-K4041215 - Complétude et indécidabilité
Chemin complet > Année 2020-2021 > Paris 1 > UFR 10 : Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 2 > UE3 enseignement spécifique > Option logique > Complétude et indécidabilité