Jacques Duparc

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.