Dès 1666, Leibniz avait conçu la logique comme une source universelle qui embrasse tous les principes. Mais cette vision était restée lettre morte. Jusqu’au début du XIXe siècle, les plus grands savants élaboraient en général une théorie mathématique pour résoudre un problème concret. Ainsi, parmi les plus illustres mathématiciens de la fin du XVIIIe siècle, Pierre-Simon de Laplace et Joseph-Louis Lagrange se sont inspirés de l’astronomie. Peu après, Jean-Baptiste Joseph Fourier puise ses idées ...
