Logique mathématique

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Sommaire

Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.

Biographie des auteurs
René Cori - Professeur à l'université Paris 7-Denis-Diderot
Daniel Lascar - Directeur de Recherches au CNRS

Publics

Étudiants en 2^e cycle de mathématiques pures; Candidats au CAPES ou à l'agrégation; Amateurs de logique mathématique

Mots-clés

Logique