Fondements des mathématiques
- Code de l'UE SMATM205
-
Horaire
30Quadri 1
- Crédits ECTS 3
- Langue
- Professeur Degauquier Vincent
Ce cours vise à mettre en lumière l'entrelacement des réflexions philosophiques et mathématiques qui ont jalonné l'étude des fondements des mathématiques et l'essor de la logique contemporaine durant la seconde moitié du dix-neuvième siècle et la première moitié du vingtième siècle.
Le cours est organisé en quatre parties. La première partie est consacrée à une exposition du contexte historique et des enjeux philosophiques relatifs à l'étude des fondements des mathématiques. La deuxième partie consiste en une présentation de la logique classique des prédicats du premier ordre avec égalité, tant du point de vue sémantique que du point de vue déductif. La troisième partie est dédiée à la théorie des ensembles ainsi que la construction des concepts mathématiques élémentaires à partir de cette dernière. La quatrième partie propose une analyse des premier et second théorèmes d'incomplétude de Gödel ainsi que leurs conséquences quant au programme formaliste de Hilbert.
L'enseignement est de type magistral.
L'évaluation est orale et précédée d'un moment de préparation.
Formation | Programme d’études | Bloc | Crédits | Obligatoire |
---|---|---|---|---|
Master 120 en sciences mathématiques, à finalité approfondie | Standard | 0 | 3 | |
Master 60 en sciences mathématiques | Standard | 0 | 3 | |
Master 120 en sciences mathématiques, à finalité spécialisée en Project Engineering | Standard | 0 | 3 | |
Master 120 en sciences mathématiques, à finalité spécialisée en data science | Standard | 0 | 3 | |
Master 120 en sciences mathématiques, à finalité didactique | Standard | 0 | 3 | |
Master 60 en sciences mathématiques | Standard | 1 | 3 | |
Master 120 en sciences mathématiques, à finalité approfondie | Standard | 2 | 3 | |
Master 120 en sciences mathématiques, à finalité spécialisée en Project Engineering | 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é didactique | Standard | 2 | 3 |