d'enseignement
LMAT1121, LMAT1131
On commence avec un point de vue naïf sur les ensembles. Dans ce cadre on introduit les ordinaux et les cardinaux, et on en développe une théorie élémentaire qui montre très clairement que ce point de vue naïf n'est pas tenable.
On aborde alors la théorie axiomatique des ensembles de Zermelo et Fraenkel. On s'intéresse particulièrement aux problèmes d'indépendance et d'(in)cohérence, prenant comme exemples particuliers l'axiome du choix et l'hypothèse du continu.
En parallèle on donne une base du calcul des propositions et des prédicats, c'est-à-dire des structures et langages du premier ordre, dont on a besoin pour bien comprendre les problème qui apparaissent dans la théorie des ensembles.
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
| 1 | Contribution du cours aux acquis d'apprentissage du programme de bachelier en mathématique. A la fin de cette activité, l'étudiant aura progressé dans sa capacité à: - Connaitre et comprendre un socle fondamental des mathématiques. Il aura notamment développé sa capacité à: -- Choisir et utiliser des méthodes et des outils fondamentaux de la logique pour résoudre des problèmes de formalisation en mathématique. -- Reconnaître les concepts fondamentaux de certains théories mathématiques actuelles. \item Etablir les liens principaux entre ces théories, les expliquer et les motiver par des exemples. - Dégager, grâce à l'approche abstraite et expérimentale propre aux sciences exactes, les aspects unificateurs de situations et expériences différentes en mathématique. - Faire preuve d'abstraction et esprit critique. Il aura notamment développé sa capacité à: -- Raisonner dans le cadre de la méthode axiomatique. -- Reconnaître les arguments clef et la structure d'une démonstration. -- Construire et rédiger une démonstration de façon autonome. -- Apprécier la rigueur d'un raisonnement mathématique et en déceler les failles éventuelles.
Acquis d'apprentissage spécifiques au cours. A la fin de cette activité, l'étudiant sera capable de: - Raisonner dans le cadre de la logique des propositions et des prédicats, faire une déduction naturelle. - Reconnaitre si un certain groupement d'objets est un ensemble. - Utiliser la théorie des ordinaux et des cardinaux pour déterminer la taille d'un ensemble, et pour comparer les tailles de deux ensembles donnés. - Utiliser l'induction transfinie et le lemme de Zorn. - Comprendre le statut de l'axiome du choix et de l'hypothèse du continu dans le cadre des axiomes de Zermelo--Fraenkel et von Neumann--Bernays--Gödel. |
La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
Cette activité vise à expliciter les lois qui gouvernent le raisonnement mathématique au stade de la présentation comme théorie formalisée. On examine les particularités des langages utilisés, les propositions prises comme points de départ, les règles de déduction habituellement admises. Comme exemple on considère la théorie naïve des ensembles et ses formalisations (ZF) et (NBG) et l'arithmétique et ses formalisations (PA, RA).
On se focalise sur les limites de l'entreprise de formalisation, notamment sur l'impossibilité de garantir une rigueur définitive. L'esprit et la présentation sont du même type que pour un autre cours de mathématique: on donne des définitions, on construit des enchaînements de propositions, on démontre des théorèmes.
Les contenus suivants sont abordés dans le cadre du cours.
- La logique des propositions et des prédicats, sémantique et théorie de la démonstration
- Introduction à la théorie des ensembles: ordinaux et cardianux, ZF, NBG, l'axiome du choix, forcing
- Introduction à la théorie axiomatique de l'arithmétique (PA)
Incomplétude et indécidabilité
Les activité d'apprentissage sont constituées par des cours magistraux et des séances de travaux pratiques. Les cours magistraux visent à introduire les concepts fondamentaux, à les motiver en montrant des exemples et en établissant des résultats, à montrer leurs liens réciproques et leurs liens avec d'autres domaines mathématiques. Les séances de travaux pratiques visent à apprendre à appliquer les techniques de base vues dans la partie théorique du cours.
des acquis des étudiants
en ligne
Site iCampus (http://icampus.uclouvain.be/). Le site contient le syllabus du cours, les énoncés des exercices pour les séances de travaux pratiques et le plan détaillé du cours.
R. David, K. Nour and C. Raffalli. Introduction à la logique: théorie de la démonstration: 2ème édition. Dunod, 2003.
P. Smith. An introduction to Gödel's theorems. Cambridge University Press, 2013
K. Hrbacek, K.T. Jech, Introduction to Set Theory, 3rd Edition, Marcel Dekker, 1999
en charge
