También conocido como barón Gottfried Wilhelm von Leibniz. Filósofo, matemático y estadista alemán, (1646-1716), considerado como uno de los mayores intelectuales del siglo XVII. Nacido en Leipzig, se educó en las universidades de esta ciudad, de Jena y de Altdorf. Desde 1666 (año en que fue premiado con un doctorado en leyes) trabajó para Johann Philipp von Schönborn, arzobispo elector de Maguncia, en diversas tareas legales, políticas y diplomáticas. En 1673, cuando cayó el régimen del elector, Leibniz marchó a París. Permaneció allí durante tres años y también visitó Amsterdam y Londres, donde dedicó su tiempo al estudio de las matemáticas, la ciencia y la filosofía. En 1676 fue designado bibliotecario y consejero privado en la corte de Hannover. Durante los 40 años siguientes, hasta su muerte, sirvió a Ernesto Augusto, duque de Brunswick-Lüneburg, más tarde elector de Hannover, y a Jorge Luis, elector de Hannover, después Jorge I, rey de Gran Bretaña.

Leibniz fue considerado un genio universal por sus contemporáneos. Su obra aborda no sólo problemas matemáticos y filosofía, sino también teología, derecho, diplomacia, política, historia, filología y física.

La contribución de Leibniz a las matemáticas consistió en enumerar en 1675 los principios fundamentales del cálculo infinitesimal. Esta explicación se produjo con independencia de los descubrimientos del científico inglés Isaac Newton, cuyo sistema de cálculo fue inventado en 1666. El sistema de Leibniz fue publicado en 1684, el de Newton en 1687, y el método de notación ideado por Leibniz fue adoptado universalmente. En matemáticas aprobó el método de razonamiento de Descartes y Spinoza. Se trataba de aplicar el método geométrico, pasando de los postulados simples a los teoremas complejos, e intentó desarrollarlo aún más mediante un cálculo universal, semejante al que preconizan hoy los lógicos simbólicos: es decir, la reducción de las verdades simples y evidentes por sí mismas a símbolos que luego podían usarse, mediante de ecuaciones de identidad o no identidad, para llegar a verdades más complejas. En 1672 también inventó una máquina de calcular capaz de multiplicar, dividir y extraer raíces cuadradas. Es considerado un pionero en el desarrollo de la lógica matemática.