Goals

The course aims to highlight the intertwining of philosophical and mathematical reflections that have marked the study of the foundations of mathematics and the development of contemporary logic during the second half of the nineteenth century and the first half of the twentieth century.

Content

The course is organized in four parts. The first part is devoted to an exposition of the historical context and the philosophical issues related to the study of the foundations of mathematics. The second part consists of a presentation of classical first-order logic with identity, both from a model-theoretic and a proof-theoretic point of view. The third part is dedicated to set theory and the interpretation of basic mathematical concepts in terms of set-theoretical concepts alone. The fourth part proposes an analysis of Gödel's incompleteness theorems and their consequences for Hilbert's program.

Assessment method

The evaluation is oral and preceded by a period of preparation.

Language of instruction

Français