Le problème du consensus, en termes simples, consiste à faire en sorte que des processus dans un système distribué asynchrone s'accordent sur une valeur. Il est largement connu que le problème du consensus n'a pas de solution déterministe qui garantit à la fois la terminaison et la cohérence, s'il y a au moins un processus défaillant dans le système. Ce résultat, connu sous le nom de théorème d'impossibilité de FLP, a conduit à plusieurs généralisations et développements en informatique théorique distribuée. Cet article soutient que le théorème d'impossibilité de FLP est valable même sous une définition généralisée de l'informatique par le biais d'oracles. De plus, en utilisant une machinerie théorique des systèmes complexes, cet article propose également que l'incohérence puisse être une caractéristique émergente du consensus sur les systèmes distribués en examinant comment un système passe par différentes phases. Dans le même cadre théorique des systèmes complexes, cet article examine les logiques paraconsistantes, soutenant que bien que l'incohérence ne soit pas une caractéristique émergente pour ces logiques, la trivialité pourrait l'être. Enfin, une attention est accordée à la possibilité de développer des algorithmes de consensus capables de raisonnement paraconsistant.
Gabriel Kafure da Rocha (Mon,) a étudié cette question.