Mathématicien, physicien et philosophe allemand d'origine française.

Il démontra que est irrationnel (1768), développa la géométrie de la règle, calcula les trajectoires des comètes et s'interessa à la carthographie. Il fut l'un des créateurs de la photométrie et l'auteur des travaux innovateurs surla géométrie non euclidienne. Il a joué un rôle précurseur dans la logique symbolique.