# data[].attributes.body
La lógica es la que recolecta criterios del pensamiento de forma coherente sin que haya contradicciones entre ellas. Este sigue las leyes de la razón y estudia la forma del pensamiento humano basándose en el sentido común.

# data[].attributes.body
Platón edifica su teoría del conocimiento con el fin de justificar el poder de la figura filosófica. Ya que sostiene la existencia de dos mundos (mundo de ideas y mundo de los objetos). Para Platón, lo concreto se percibe en función de lo abstracto y gracias a eso el mundo sensible existe gracias al mundo de ideas.

# data[].attributes.body
Geómetra de la época helenística, se convirtió en manual para balísticos del Renacimiento como Tartaglia y, poco después, en base inmmediata de la dinámica newtoniana.

# data[].attributes.body
Contiene el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento. Representa el primer intento serio que funda la lógica como ciencia. Aristóteles no hace de la lógica una disciplina metafísisca sino que establece correspondencias recíprocas entre pensamiento lógico y estructura ontológica.

# data[].attributes.headline
La siguiente revolución lógica en nuestra actualidad

# data[].attributes.subject
La siguiente revolución lógica en nuestra actualidad

# data[].attributes.body
La revolución de la lógica actualmente incorpora la fusión de las matemáticas y computación. Ya que las computadoras usualmente tienden a explorar datos inteligentes y transfiriéndolas a una base de datos que estan conectadas a través de la red. Es la lógica la que posibilita el aprendizaje, la deducción y todo lo que llamamos inteligencia artificial.

Quizá el aspecto más trascendental de la lógica en general, y de la lógica matemática en particular, es que tiene interacción con, esencialmente, todas las áreas del conocimiento humano, incluyendo las ciencias sociales.

# data[].attributes.body
Su valor universal lo propaga el uso riguroso del método deductivo que distingue entre principios, definiciones, axiomas, postulados y teoremas, que se demuestran a partir de los principios.

# data[].attributes.body
Autor de ciencia de la lógica se le atribuye con este trabajo la constitución de la lógica dialéctica como principio motor de concepto que disuelve y produce las particularidades de lo universal.

# data[].attributes.body
Los principios de este italiano acerca de 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úmero naturales.

# data[].attributes.body
Partiendo del análisis de los fundamentos de la matemática lleva a cabo la más profunda renovación y desarrollo de la lógica clásica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificación.

# data[].attributes.body
Aplica el cálculo matemático a la lógica, fundando el álgebra de la lógica. El empleo de símbolos y reglas operatorias adecuados permite presentar conceptos, ideas y razonamientos mediantes variables (ecuaciones) entre ellas. Boole dió un método general para formalizar la inferencia deductiva, así representando comlicados problemas matemáticos mediante sencillos sistemas de ecuaciones. La formalización de la lógica iniciada por Boole, ha contribuido poderosamente a aclarar la estructura de los objetos lógicos. Su obrs principal es investigación e las leyes del pensamiento en las que se fundan las teorías matemáticas de la lógica y la probabilidad.

# data[].attributes.body
su mayor contribución es en el estudio de la lógica que 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. De Morgan es autor de la mayor contribución como reformador de la lógica.

# data[].attributes.body
Tuvo la idea del infinito continuo, es decir, la probabilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera como el creador de la teoría de los números irracionales y de los conjuntos.

# data[].attributes.body
Es uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea. Lo fundamental en su obra es su aportación a la lógica.

# data[].attributes.body
Aporta múltiples contribuciones a la lógica matemática, destaca su demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y prueba de incompletez semántica.

# data[].attributes.body
La revoluvion comienza gracias a las computadoras que hoy en día usamos en todo el mundo. Turing relaciona lógica y computación antes que cualquier computadora llegue a procesar datos. Weiner funda la ciencia de la Cibernética. Las escuelas modernas de computación están presentes Lógicos que han servido y aportado avances importantes como Hoare que presenta un sistema axiomático de los sistemas de programación y Dijkstra con un sistema de verificación y deducción de programas por medio de especificaciones.

# data[].attributes.body
Matemático y Lógico de la Computación que contribuye a importantes análisis lógicos de los procesos de computación. Su objetivo fue desarrollar la máquina más simple posible capaz de realizar computación. La máquina compuesta por Turing es un dispositivo simple, pero capaz de realizar cualquier operación matemática. Turing se ilusionó con la idea de que su máquina podía realizar cualquier proceso del cerebro humano, e incluso creía en la capacidad de producir conciencia de uno mismo.

# data[].attributes.body
Fundador de la escuela de la Lógica intuicionista contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs Group son significativos sus trabajos Life, Art and Mysticism (1905) y sobre la infiabilidad de los principios lógicos.

# data[].attributes.body
Emérito profesor de la University of California, Berkeley, realiza importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de cpnjuntos y metemáticas. El trabajo de Tarski incluye respuestas a la pradoja de Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal, ordinal, relación y es inductor de las álgebras cilíndricas.

# data[].attributes.body
El gran impulsor de la matemática contemporánea y pionero de la geometría fractal a quien la computación pura revela la moderna Geometría de la Naturaleza. Fractal y geometría fractal son el corpus principal de sus investgaciones además de los sistemas irreversibles.