Course 2022-2023

Foundations of Mathematics [SMATM205]

  • 3 credits
  • 30h
  • 1st quarter
Language of instruction: French / Français

Objectives

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.


Teaching methods

The course is lecture-based.

Evaluations

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

Language of instruction

French / Français

Location for course

NAMUR

Organizer

Faculté des sciences
Rue de Bruxelles, 61
5000 NAMUR

Degree of Reference

Master's Degree