Décidabilité de l'arithmétique de Presburger
La théorie du premier ordre des entiers munis de l'addition est décidable.
| Qualité | Numéro | Titre |
|---|
Utilisateur : Devevey
La récurrence est mal posée dans le Carton, il faut l'expliciter un peu mieux.
Les définitions sont mieux posées dans le DNR.'
Références :
Langages formels, Calculabilité et Complexité - Carton
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)