Fabien Givor (LIF) - Jeudi 29 avril - CMI C005.

En calculabilité, on étudie la structure des degrés de difficulté du calcul, par exemple des degrés Turing. En théorie des ensembles, le forcing est une méthode permettant de créer des modèles possédant des propriétés particulières. Après rappels de notions de calculabilité et de théorie des ensembles, nous verrons comment faire des preuves en calculabilité grâce au forcing.