Topic outline

  • Topic 1

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

    Séance (virtuelle) du mercredi 18 mars

    Cette séance est consacrée à l'arithmétisation de la syntaxe, et suit le poly qui a été distribué en cours le mercredi 11 mars. Il est demandé aux étudiants d'étudier ce poly. Un forum a été ouvert qui permet de poser des questions. N'hésitez pas également à m'écrire pour toute question concernant ce cours.


    Séance (virtuelle) du mercredi 25 mars

    Suite du cours sur l'arithmétisation de la syntaxe (voir le poly distribué en cours).


    Séance (virtuelle) du mercredi 1er avril

    Le théorème d'incomplétude de Gödel et quelques corollaires. Les notes de cours du chapitre 7 sont en ligne.


    Séance (virtuelle) du mercredi 15 avril

    Suite du cours sur le théorème d'incomplétude de Gödel et ses corollaires (chapitre 7, notes en ligne).


    Séance (virtuelle du mercredi 22 avril

    Chapitre 8 sur le second théorème d'incomplétude.



     

  • Topic 2