Fondements des mathématiques
- Code de l'UE SMATM205
-
Horaire
30Quadri 1
- Crédits ECTS 3
- Langue
- Professeur Dubussy Christophe
Ce cours est une introduction à la théorie de la démonstration via les systèmes formels déductifs classiques du premier ordre, à la sémantique associée (théorie des modèles) ainsi qu'à la théorie formelle des ensembles. Le premier objectif est de rendre explicite les règles de grammaire, les abréviations et les abus de langage qui jalonnent les textes mathématiques contemporains. Le deuxième est de mettre en lumière les présuppositions philosophiques qui régissent l'étude des mathématiques formelles via la dichotomie théorie/métathéorie. Le dernier est d'offrir des outils puissants issus de la théorie des ensembles (e.g. les ordinaux) pour pouvoir décrire précisément les hiérarchies structurant les mathématiques contemporaines.
Le cours est organisé en trois chapitres. Le premier décrit la logique propositionnelle classique (dite aussi logique booléenne), celle du "vrai" et du "faux" , interprétable par des tables de vérité. Le deuxième est centré sur les théories du premier ordre, extensions de la logique classique, où l'on aborde la question des quantificateurs et des règles de grammaire associées. L'exemple de l'arithmétique de Peano est traité de façon centrale et les théorèmes d'incomplétude de Gödel sont expliqués. Finalement, le dernier chapitre développe la théorie formelle des ensembles. On y passe en revue tous les concepts traditionnels (union, parties, relation, fonction, produit cartésien, etc.) et on y étudie en détail la théorie des ordinaux et des cardinaux. L'axiome du choix et l'axiome de fondation sont également étudiés.
L'enseignement est de type magistral.
Examen oral avec des questions de théorie (synthèse d'un passage du cours et/ou démonstrations à cours fermé) ainsi que des petits exercices.
Un syllabus ainsi que les slides utilisés durant les cours magistraux seront fournis aux étudiants.
Formation | Programme d’études | Bloc | Crédits | Obligatoire |
---|---|---|---|---|
Master 120 en sciences mathématiques, à finalité spécialisée en Project Engineering | Standard | 0 | 3 | |
Master 60 en sciences mathématiques | Standard | 0 | 3 | |
Master 120 en sciences mathématiques, à finalité didactique | Standard | 0 | 3 | |
Master 120 en sciences mathématiques, à finalité approfondie | Standard | 0 | 3 | |
Master 120 en sciences mathématiques, à finalité spécialisée en data science | Standard | 0 | 3 | |
Master 60 en sciences mathématiques | Standard | 1 | 3 | |
Master 120 en sciences mathématiques, à finalité didactique | Standard | 2 | 3 | |
Master 120 en sciences mathématiques, à finalité approfondie | Standard | 2 | 3 | |
Master 120 en sciences mathématiques, à finalité spécialisée en data science | Standard | 2 | 3 | |
Master 120 en sciences mathématiques, à finalité spécialisée en Project Engineering | Standard | 2 | 3 |