Gottfried Wilhelm von Leibniz

Le philosophe et mathématicien Gottfried Wilhelm von Leibniz est né le 1er juillet 1646.
Il est surtout connu pour être, en même temps que Newton, l'inventeur du calcul différentiel et intégral.
Il est à l'origine du terme de "fonction", de celui de "coordonnées", de la notation du produit de a par b sous la forme a.b ou ab, d'une définition logique de l'égalité, du terme de "différentielle", de la notation différentielle, du symbole pour l'intégrale (notation de Leibniz).
Il a aussi laissé son nom à diverses formules : dérivée n-ième d'un produit, somme de la série alternée (-1)^n/n, calcul de déterminants.
Citation :

Il y a deux sortes de vérités, celles de Raisonnement et 
celles de Fait. Les vérités de Raisonnement sont nécessaires et 
leur opposé est impossible, et celles de Fait sont contingentes et 
leur opposé est possible. Quand une vérité est nécessaire, on en 
peut trouver la raison par l'analyse, la résolvant en idées et en 
vérités plus simples, jusqu'à ce qu'on vienne aux primitives.