Envoyé par
r0d
Dans cette discussion, il est question de démonstration et de consensus. Or, vous n'êtes pas sans savoir qu'il est possible de démontrer un algorithme.
Si je me souviens bien (corrigez-moi si je me trompe), démontrer un algorithme consiste à démontrer qu'il va se finir, et que son résultat est celui que l'on souhaite. ce résultat étant déterminé, et formalisé, par une équation/formule mathématique.
Pour démontrer un algorithme, on utilise un langage très formalisé, essentiellement celui des mathématiques.
Donc si je ne me trompe pas, il est possible de démontrer un algorithme, de façon définitive.
Ma question est la suivante: est-ce que selon vous, l'idée d'avoir un algorithme "validé" par consensus a un sens?
Partager