-
Blaise Pascal
De 1623 a 1662 Aporto a las ciencias matematicas y fisica, el inventó la primera máquina digital de calcular, que sería llamada Pascaline, era capaz de efectuar sumas y restas. Entre sus aportaciones tambien abordó la definición y cálculo de la derivada e integral definida, escribió las leyes de la presión, junto con Fermat, el fundador de la teoría de la probabilidad entre muchas otras. -
Gottfried Wilhelm Leibniz
De 1646 -1716 Leibniz situó el criterio de verdad del conocimiento en su necesidad intríseca y no en su adecuación con la realidad. Las contribuciones de Leibniz en el campo del cálculo infinitesimal. Introdujo la notación actualmente utilizada en el cálculo diferencial e integral. La búsqueda de un lenguaje perfecto que reformara toda la ciencia y permitiese convertir la lógica en un cálculo, acabaron por desempeñar un papel decisivo en la fundación de la moderna lógica simbólica -
Charles Babbage
De 1792 - 1871 Matemático e ingeniero británico, inventor de las máquinas calculadoras programables, creyó que una máquina podía hacer cálculos matemáticos más rápidos y más precisos que las personas. Produjo un modelo funcional pequeño de su máquina diferencial. El funcionamiento aritmético de la máquina era limitado, pero podía recopilar e imprimir tablas matemáticas sin mayor intervención humana que la necesaria para girar las manivelas en la parte superior del prototipo. -
George Boole
De 1815 - 1864 Matemático británico, el gran descubrimiento de Boole fue aplicar una serie de símbolos a elementos y operaciones lógicas y hacer que estos símbolos y operaciones tuvieran la misma estructura lógica que el álgebra convencional que póstumamente sería llamado Álgebra de Boole. En el, los símbolos podían manipularse según reglas fijas que producirían resultados lógicos, y 1854 publicó su libro que trataba por completo de la lógica simbólica y su álgebra.
