Une belle description de l'informatique!

Cette phrase se suffit à elle même je pense :

"En revanche, Michael J. Fisher et Michael O. Rabin ont démontré que le problème de la décision a une complexité intrinsèque doublement exponentielle, ce qui devrait rendre tout algorithme inefficace, mais en pratique il existe des implémentations qui fonctionnent bien."

( http://fr.wikipedia.org/wiki/Arithm%C3%A9tique_de_Presburger )

« On ne peut démontrer l'absurde, ou encore il existe un modèle, en fait le modèle standard des entiers naturels. »
→ J'ai du mal à parser cette phrase.

Cohérence: il n'existe pas de formule E démontrable dans l'artithmétique de Presburger telle que NON E soit démontrable.

Non mais tu es d'accord que la phrase ne va pas.

De deux choses lune.
L'autre, c'est le soleil.

Non, Thomas. Tu as oublié le H.

Ah oui, j'ai rajouté une faute par dessus. :)

Artithmétique ?

Oui, la footnote se réfère a ce qu'elle réfère elle même. Je pense qu'il voulait dire que le modèle standard des entiers naturels est un modèle de l'arithmétique de P => elle est cohérente.