-
332
(384-332) Aristoteles creado de tratados
Se crean los tratados de logica de Aristóteles (Organón) primer tratado sistematico de las leyes de pensamiento para la adquisicion de conocimiento. Primer intento serio que funda la logica como ciencia. -
384
(384) Aristoteles
El desarrollo formal de las matematicas empieza en el año 384 Aristoteles Fundador de la lógica y el primero en emplear el término "lógica". -
427
(427-347AC) Platon
Platon crea la Academia de Atenas, institucion filosofica y centro de formacion politica. sostiene la existencia de dos mundos, el mundo de las ideas y el de mundo fisico de los objetos. Propone instaurar en Siracusa una utópica república dirigida por filósofos. -
Feb 20, 600
(600AC hasta 300 AC) Platón, Aristóteles y Euclides
Se desarollan las ideas o abstracciones, el razonamiento deductivo y sistematizado y se establece el método axiomático. En elementos Euclides organiza pruebas deductivas dentro de una presentación sistematica, rigurosa y bien organizada de conocimiento matemático. -
Feb 20, 1500
(1500 DC) Descartes, Newton y Leibniz
Despues de declinar la escuela clásica de los griegos, se representa un periodo en el cual la autoridad religiosa embruteció a la creatividad intelectual. El renacimiento inicia con una nueva era en el cual se permite la revilitación de la ciencia y las matemáticas. -
(1596-1650DC) René Descartes
Filósofo y matemático francés.
Creador de la Geometría Analítica y aporte a los métodos algebraicos. -
(1646-1716 DC) Isaac Newton
Descubrió la Gravitación Universal. Un lenguaje puramente formal. La notación que empleó es particulamente cómoda y se sigue utilizando con algunas modificaciones; introdujo el símbolo de integral y de diferencial de una variable. -
1806-1871 DC August de Morgan
Formulación de las Leyes de Morgan.
Teoría del Desarrollo de las relaciones y la matemática simbólica o lógica matemática. -
1815-1854 DC George Boole
Lógico y Matemático.
Investigación de las leyes del pensamiento. Aplico el cálculo matemático a la logica fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una characteristica universalis o calculo del raciocinio. -
1845-1918 DC George F. Cantor
Matemático alemán.
Creador de la teoría de los números irracionales y de los conjuntos. -
1848-1925 DC Friederich G. Frege
Junto con Boole y Peano llevan a cabo la renovación y desarrollo de la lógica clásica hasta el momento.
El primero en elaborar una Teoría de la Cuantificación. -
1858-1932 DC Giuseppe Peano
Matemático alemán.
Enunciación de los principios acerca de la Lógica Matemática y su aplicación práctica en su obra Formulaire de Mathematiques. -
1862-1943 DC David Hilbert
Matemático alemán.
Grandes avances a campos fundamentales de la relatividad y la mecánica cuántica. -
1872-1970 DC Bertrand Russell
Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea. -
1881 DC Luitzen Egbertus Jan Brouwer
Matemático y Lógico alemán.
Fundador de la Escuela de la Lógica Intuicionista. -
1902 Alfred Tarski
Realizo importantes estudios de álgebra en general, teoría de mediciones, lógica matematica, teoría de conjuntos, y metamatemáticas. -
1906 DCKurt Gödel
Múltiples contribuciones a la lógica matemática. -
1909-1945 DC Gentzen
Formuló la prueba de la consistencia de un sistema de aritmética clásica. en el cual el método no elemental es una extensión de inducción matematica a partir de una secuencia de números naturales. -
1894-1964 DC Norbet Weiner
Científico Norteamericano.
Publica su libro Cibernética en donde se utiliza porf primera vez la palabra Cibernética.Ciencia que estudia la traducción de los procesos biológicos a procesos de máquina. -
Siglo IV Aristoteles
Se le considera como el fundador de la lógica y fue el primero en emplear el termino de "lógica". -
Siglo XVIII Leibniz
Filósofo y matemático.
Pensaba que se podía crear un lenguaje simbólico tan perfecto que evitara las controversias entre filósofos. -
Siglo XIX G. Boole y A. de Morgan
Intentaron expresar la forma de los razonamientos válidos en un lenguaje matemático.
