Pas vraiment. On ne peut pas savoir si un ensemble de postulats ne conduira jamais à une incohérence (voir théorème d'incomplétude), en revanche une fois une contradiction démontré, on n'est sûr qu'il est incohérent.
Si l'on tombe sur une absurdité, c'est qu'on est partie d'un ensemble incohérent (ou qu'on a fait une erreur de déduction). Mais, par définition, un ensemble cohérent ne produit pas de résultat absurde.
[^] # Re: WTF ?
Posté par psychoslave__ (site web personnel) . En réponse au journal Qu'est ce que le vol ?. Évalué à 1.
Pas vraiment. On ne peut pas savoir si un ensemble de postulats ne conduira jamais à une incohérence (voir théorème d'incomplétude), en revanche une fois une contradiction démontré, on n'est sûr qu'il est incohérent.
Si l'on tombe sur une absurdité, c'est qu'on est partie d'un ensemble incohérent (ou qu'on a fait une erreur de déduction). Mais, par définition, un ensemble cohérent ne produit pas de résultat absurde.