Philosophy of Mathematics
- UE code SSPSM201
-
Schedule
15Quarter 1
- ECTS Credits 2
-
Language
Français
- Teacher Degauquier Vincent
The course aims to highlight the relationship between the concepts of truth and proof in mathematics, through an analysis of the first incompleteness theorem.
The first incompleteness theorem, demonstrated by K. Gödel in 1931, reveals a hiatus between the concepts of truth and proof. Two divergent philosophical interpretations of this hiatus can be proposed, depending on whether prevalence is given to the model-theoretic or the proof-theoretic approach. The model-theoretic approach suggests that the concept of proof fails to properly capture the concept of mathematical truth. There are statements which are true according to the standard interpretation of natural numbers and yet cannot be proved. The proof-theoretic approach suggests that the concept of proof reflects the intrinsic ambiguity of the concept of mathematical truth. There are statements which, although true according to the standard interpretation of natural numbers, cannot be considered as absolutely true because of the existence of non standard interpretations. The course analyzes the first incompleteness theorem and its philosophical consequences for the relationship between truth and proof in mathematics.
The evaluation is oral and preceded by a period of preparation.
Training | Study programme | Block | Credits | Mandatory |
---|---|---|---|---|
Master 120 en sciences mathématiques, à finalité approfondie | 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 | |
Bachelier en philosophie | Standard | 0 | 2 | |
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 | |
Bachelier en philosophie | Standard | 2 | 2 | |
Bachelier en philosophie | Standard | 3 | 2 |