1. Etapas
1.1. Revolución matemática
1.1.1. Se desarrolla en Grecia del año 600 a.C. hasta 300 a.C. La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemáticas. En este periodo destacan:
1.1.1.1. Platón Propone ideas o abstracciones Escoge el formato "diálogo" como forma de transmisión del pensamiento.
1.1.1.2. Aristóteles Resuelve el razonamiento deductivo y sistematizado
1.1.1.3. Euclides Establece el método axiomático y organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz.
1.2. Revolución científica
1.2.1. Se desarrolla del año 1500 d.C. al 1800 d.C. El renacimiento es el inicio de una nueva revolución que revive la ciencia y las matemáticas. Los representantes más destacados son:
1.2.1.1. Renee Descartes Aporta la creación de la geometría analítica y el uso de los métodos algebraicos.
1.2.1.2. Isaac Newton Se le debe el desarrollo del cálculo infinitesimal, su obra fundamental "Principios matemáticos de la filosofía natural"
1.2.1.3. Gottfried W. Leibniz Introdujo el símbolo de integral y de diferencial de una variable. Su principal trabajo publicado en 1684 es la memoria Nuevo método para la determinación de los máximos y mínimos.
1.3. Revolución formal
1.3.1. Se desarrolla en el periodo del año 1821 al 1940 Se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas, que en la etapa clásica griega fue representativa. En este periodo se crea la lógica simbólica , la escuela formal, la lógica booleana, el cálculo proposicional, la inducción matemática. Los personajes representativos son:
1.3.1.1. Guiseppe Peano Su aporte sobre la lógica matemática y su aplicación práctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los números naturales.
1.3.1.2. George Boole Su obra principal es Investigación de las leyes del pensamiento en las que se fundan las teorías matemáticas de la lógica y la probabilidad, 1854, que aún hoy se lee con deleite.
1.3.1.3. Augustus de Morgan Su mayor contribución en el estudio de la lógica incluye la formulación de las Leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática. Es autor de la mayor contribución como reformador de la lógica.
1.4. Revolución digital
1.4.1. Esta revolución se inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad, en el periodo de 1940 al año 2005.
1.4.1.1. Alan Turing Relaciona lógica y computación antes que cualquier computadora procese datos.
1.4.1.2. Norbet Weiner Funda la ciencia de la Cibernética y establece el desarrollo de la lógica experimental.
1.4.1.3. Hoare Presenta un sistema axiomático de los sistemas de programación
1.4.1.4. Dijkstra Su aporte es el sistema de verificación y deducción de programas a partir de especificaciones.
1.4.1.5. Wang Hao Biógrafo y seguidor de Gödel, formula un algoritmo que permite deducir cuándo una fórmula del Cálculo Proposicional es un teorema.
1.5. Revolución lógica (próxima)
1.5.1. La siguiente Revolución Lógica incorpora la fusión entre matemáticas y computación. Las computadoras tienden a explorar datos inteligentemente transfiriendo información de las bases de datos a las bases de conocimiento interconectadas a través de la Red a escala infinitesimal. La lógica evoluciona pues como un gen hacia la culminación del conocimiento libre que nace del rigor formal de la Matemática griega; emerge renovadamente de etapas de persecución tan oscuras como la Edad Media y otros intentos más recientes; hasta el intercambio constante y continuo de datos en la moderna era de estructura de redes que Internet proporciona a modo neuronal a la Humanidad.