Le projet manuscritsLeibniz (ERC Advanced Grant 101020985) se donne pour but de réévaluer la pensée du philosophe et mathématicien Gottfried Wilhelm Leibniz (1646-1716) à partir d’une exploration systématique de ses manuscrits mathématiques inédits. Comme il l’a lui-même souligné à diverses occasions, ces deux facettes de son œuvre étaient étroitement liées. Pourtant, la moitié de sa production mathématique est encore à ce jour totalement inédite. Quant à la moitié qui a été publiée, une grande part n’a pas été éditée selon des normes scientifiques rigoureuses (au point de donner parfois à lire des textes inventés par les éditeurs). Le projet s’appuie sur un groupe de recherche qui s’est développé au cours des dix dernières années en France, ainsi que sur un partenariat étroit avec le Leibniz-Archiv de Hanovre. Il bénéficie des progrès récents dans la numérisation des manuscrits mathématiques de Leibniz (accessibles en ligne depuis 2016). Le projet est divisé en cinq tâches correspondant aux thèmes suivants : Dyadica (arithmétique binaire), Ars combinatoria, Fondements du calcul différentiel, Doctrine de l’abstraction mathématique, Machines et pensée formelle.