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 January 2020
en cours d'évaluation
Mathematical field: 
algebra, geometry

Partners

Irmar LMJL ENS Rennes LMBA LAREMA

Affiliation

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