Notions de logique mathématique

lmat1235  2019-2020  Louvain-la-Neuve

Notions de logique mathématique
Note du 29 juin 2020
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
5 crédits
30.0 h + 15.0 h
Q2
Enseignants
Van der Linden Tim;
Langue
d'enseignement
Français
Préalables


LMAT1121, LMAT1131
Thèmes abordés


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.
Acquis
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) ».
Contenu
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.
- Théorie naïve des ensembles: ordinaux et cardinaux
- La théorie axiomatique des ensembles: (ZF) et (NBG), l'axiome du choix, cohérence
- La logique des propositions et des prédicats
Méthodes d'enseignement
Les activités d'apprentissage sont constitués 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 cours du programme de bachelier en sciences mathématiques. Les séances de travaux pratiques visent à apprendre les techniques de base du calcul des propositions et des prédicats, c'est-à-dire des structures et langages du premier ordre.
 
Modes d'évaluation
des acquis des étudiants
L'évaluation se fait sur base d'un examen écrit (exercices, 40\%) et un examen oral (théorie, 60\%). On y teste la connaissance et la compréhension des notions et des résultats fondamentaux, la capacité de construire et d'écrire un raisonnement cohérent, la
maîtrise des techniques de la logique.
Ressources
en ligne
Site moodle. 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.
Bibliographie
  • K.J. Devlin, Fundamentals of Contemporary Set Theory, Springer, 1979
  • K. Hrbacek, K.T. Jech, Introduction to Set Theory, 3rd Edition, Marcel Dekker, 1999
Support de cours
  • Syllabus disponible sur moodle.
Faculté ou entité
en charge
MATH


Programmes / formations proposant cette unité d'enseignement (UE)

Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
Approfondissement en sciences mathématiques