Le calculus ratiocinator est un algorithme ou une machine calculatoire théorique inventé par Gottfried Wilhelm Leibniz et décrit dans son ouvrage en 1666. On peut le voir comme une méthode, un algorithme, ou une machine, qui permettrait de démêler le vrai du faux dans toute discussion dont ...