Jacques Duparc
+41 21 692 35 88
EPFL
>
SB
>
SB-SMA
>
SMA-ENS
Web site: Site web: https://sma.epfl.ch/
Enseignement & Phd
Enseignement
Mathematics
Cours
Set theory
La théorie des ensembles comme l'un des fondements des mathématiques. ZF, ZFC, ZF avec atomes. Consistence relative de l'axiome du choix, de l'hypothèse du continu, des réels comme union dénombrabble d'ensembles dénombrables, de l'existence d'une famille dénombrables de paires sans fonction de choix
Logique mathématique
Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
Gödel and recursivity
Théorèmes d'incomplétude de Gödel et fondements mathématique de l'informatique.