Leibniz, Gottfried Von

1646-1716

 

Fue un verdadero precursor de la lógica matemática.

Las ideas de Leibniz, que contiene muchos conceptos de la lógica simbólica de hoy, no tuvieron entonces mayor influencia, pues quedaron inéditas hasta este siglo. Igual destino tuvieron ideas semejantes esbozadas durante el siglo XVIII y comienzos del XIX.

El 21 de Noviembre de 1675 escribió un manuscrito usando por primera vez la notación de la integral ò f(x)*d(x). En el mismo manuscrito estaba dada la regla para la diferenciación.

Esta regla fue dada a conocer dos años después, en Julio de 1677.