-
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.
-
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".
-
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.
-
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.
-
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.
-
Filósofo y matemático francés.
Creador de la Geometría Analítica y aporte a los métodos algebraicos. -
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.
-
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. -
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. -
Matemático alemán.
Creador de la teoría de los números irracionales y de los conjuntos. -
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. -
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. -
Matemático alemán.
Grandes avances a campos fundamentales de la relatividad y la mecánica cuántica. -
Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.
-
Matemático y Lógico alemán.
Fundador de la Escuela de la Lógica Intuicionista. -
Realizo importantes estudios de álgebra en general, teoría de mediciones, lógica matematica, teoría de conjuntos, y metamatemáticas.
-
Múltiples contribuciones a la lógica matemática.
-
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.
-
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. -
Se le considera como el fundador de la lógica y fue el primero en emplear el termino de "lógica".
-
Filósofo y matemático.
Pensaba que se podía crear un lenguaje simbólico tan perfecto que evitara las controversias entre filósofos. -
Intentaron expresar la forma de los razonamientos válidos en un lenguaje matemático.
