Leibniz, Gottfried Wilhelm von

(baron de Leibniz, 1646-1716) Philosophe, mathématicien, juriste, théologien, et historien allemand. Fondateur de l'Académie des Sciences à Berlin (1700), il fait partie des grands penseurs du XVIIe siècle. Ses travaux touchèrent tous les domaines de la science. Après avoir étudié les mathématiques, il devient docteur en droit à l'âge de 20 ans. Il publie à cette époque De arte combinatoria (1666), ouvrage dans lequel il vise à établir un alphabet des pensées qui permettrait de fonder une écriture "caractéristique" universelle. Les bases d'une théorie de la logique symbolique sont alors posées. Cette théorie ne sera développée que deux siècles plus tard et aura pour application les ordinateurs. Perfectionnant la machine à calculer de Pascal (1652), Leibniz réalise en 1667 une véritable machine à calculer mécanique. Influencé par Pascal, et Descartes, il crée en 1686 l'analyse infinitésimale et développe un nouveau système de notation du calcul différentiel et intégral. Même sa philosophie reflète son intention mathématique : selon Leibniz, l'univers est un système cohérent composé de monades, atomes auxquels Dieu a donné une âme et qui existent dans une "harmonie préétablie". Ce monde est "le meilleur des mondes possibles". Il a fondé à Berlin en 1700 l'Académie des Sciences de Prusse. Oeuvres principales - De arte combinatoria (1666), - l'Analysis situs (1679), - Essais de Théodicée (1710).