Discuter:Arithmétique de Presburger

Un article de Wikipédia, l'encyclopédie libre.

	Arithmétique de Presburger fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Quelques remarques en passant (je fais l'inventaire des articles de logique en vue de mettre en route un article sur le théorème d'incomplétude de Gödel plus formalisé que l'existant, au demeurant très bon pour beaucoup de lecteurs) que je ne prends pas le temps de rédiger. De plus, je ne suis pas logicien et je peux déraper sans m'en apercevoir. 1) Il faudrait expliquer au lecteur qu'on a quand même une espèce de multiplication-croupion (on sait multiplier des entiers bâtons) 2) Dans l'axiomatique de Peano écrite en langage logique du premier ordre, il y a tout le schéma d'axiomes permettant le raisonnement par récurrence. Il n'est pas dans l'axiomatique de Presburger. Le lecteur pourrait penser qu'est là la différence. Or le théorème d'incomplétude de Gödel (mais peut-être pas celui sur la consistance) est maintenant énoncé (après le travail de Rosser, ?...) avec une axiomatique des entiers SANS schéma de récurrence.