Arithmétique de Presburger ?
En me renseignant sur Thierry Coquand, et donc sur Coq, j’apprends que ce développement repose sur l’arithmétique de Presburger, dont je n’avais jamais entendu parler, et que celle-ci présente des propriétés sympathiques, à savoir qu’elle est complète et décidable. Mais alors pourquoi se torturer avec celle de Peano, qui ne l’est pas ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Je connais et ai pratiqué le presse-purée, mais là, c'est nouveau ...........
Cordialement,
Rescassol
OK, je sors.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
J'affirme péremptoirement que toute affirmation péremptoire est fausse
J'affirme péremptoirement que toute affirmation péremptoire est fausse
on écrit le texte entre guillemets ci-après une fois, puis on met un deux-points, puis on réécrit le même texte une deuxième fois en le mettant entre guillemets, et enfin on met un point final".