ars combinatoria - Leibnitz

    <p class=default>
      
        Avec le concept d'ars combinatoria, dans lequel Leibniz va subsumer la logique, l'utopie 
        algorithmique de l'heuristique atteint son point culminant. Dépassant Lulle, Leibniz 
        tentera de faire entrer dans son calcul combinatoire l'universalité des processus de 
        découverte. De nombreux fragments témoignent, selon Louis Couturat, du projet d'Art 
        général de l'invention conçu par Leibniz. (Cette orientation lui permit, comme le rappelle 
        Andler1, de concevoir après Schikard et Pascal une des premières machines à calculer 
        apportant ainsi sa pierre à l'histoire de l'intelligence artificielle.) De cet ambitieux 
        projet, Leibniz ne nous a laissé qu'un De Arte combinatoria, oeuvre de jeunesse où il 
        étudie la méthode des permutations et esquisse une symbolique universelle reposant sur la 
        décomposition des idées en éléments simples. Fût-elle idéale, voire vaine, la mécanisation 
        de l'heuristique est engagée.
      
    </p>