5 minutes Lebesgue

Victor Delage, Peut on échapper à Godel ?

Le théorème d'incomplétude énonce, en gros, que toute théorie mathématique, assez puissante pour formuler l'arithmétique en son sein, n'est pas complète. Aujourd'hui, nous allons étudier une théorie que tout le monde connait, qui semble pouvoir formaliser l'arithmétique, et qui est connue pour être complète. Peut-elle vraiment échapper à Gödel ?

IRMAR
21 Janvier 2020
en cours d'évaluation
Domaine mathématique: 
algèbre, géométrie

Partenaires

Irmar LMJL ENS Rennes LMBA LAREMA

Tutelles

ANR CNRS Rennes 1 Rennes 2 Nantes INSA Rennes INRIA ENSRennes UBO UBS Angers UBL