-
Use Cases
-
Resources
-
Pricing
Sury Abril Torres Garduño
Sury Abril Torres Garduño
322 a.C - 384 a.C
% complete
Vida de Aristoteles
323 a.C
% complete
Fue uno de los nuevos movimientos filosóficos de la época helenistica.
384 a.C
% complete
Fundador de la lógica y el primero en emplear el término "lógica".
427 a.C
% complete
Propone instaurar en Siracusa una utopía república dirigida por filósofos.
600 a.C
% complete
Se desarrollan las ideas o abstracciones, el razonamiento deductivo y sistematizado y se establece el método axiomático.
801 d.C - 900 d.C
% complete
Crearon la escuela de la Logica
1101 d.C - 1200 d.C.
% complete
Perfeccionó la obra de Aristóteles en oposición a Avicena
1201 d.C - 1300 d.C
% complete
El centro de la lógica moderna se trasladó de París a Oxford
1301 d.C - 1400 d.C
% complete
Inauguraron el periodo de madurez de la lógica medieval.
1500 d.C
% complete
Inicio de na nueva revolución que revive la ciencia y las matemáticas.
1596 d.C
% complete
Filósofo y matemático francés.
Creador de la Geometría Analítica y aporte a los métodos algebraicos.
1642 d.C
% complete
Descubrió la Gravitación Universal
1701 d.C - 1800 d.C
% complete
Filósofo y matemático.
Pensaba que se podía crear un lenguaje simbólico tan perfecto que evitara las controversias entre filósofos.
1801 d.C - 1900 d.C
% complete
Teodosio Lares, que relaciono a la lógica con la Psicología o Clemente de Jesús Munguia, que reduce la lógica a la Ideología, la Gramática General y el Metodo
1801 d.C - 1900 d.C
% complete
Intentaron expresar la forma de los razonamientos válidos en un lenguaje matemático.
1801 d.C - 1900 d.C
% complete
Propusieron una lógica dialéctica (se presenta como un discurso en el que se contrapone una determinada concepción o tradición, entendida como tesis, y se muestran los problemas y contradicciones, entendidos como antítesis, se muestran los hechos históricos y sociales y sus contradicciones)
1801 d.C - 1900 d.C
% complete
Afirmo que "todos los predicados dependen del conocimiento de la cantidad, con la que tratan las matemáticas, y, por lo tanto, el conjunto de la lógica depende de las matemáticas".
1806 d.C
% complete
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 d.C
% complete
Lógico y Matemático.
Investigación de las leyes del pensamiento.
1815 d.C - 1864 d.C
% complete
Nos da la lógica boleana, trata las oraciones o declaraciones como verdaderas o falsas.
1848 d.C
% complete
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 Cuanti..
1858 d.C
% complete
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.
Señala que la verdad se basa en demostrabilidad
1872 d.C
% complete
Uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.
1879 d.C
% complete
Inventó la "Lógica simbólica clásica"
1881 d.C
% complete
Matemático y Lógico alemán.
Fundador de la Escuela de la Lógica Intuicionista.
1901 d.C - 2000 d.C
% complete
Escribió mas de 700 tratados de lógica.
Fue la base de la "Lógica tradicional" que domino hasta el siglo XX.
1901 d.C - 2000 d.C
% complete
La informática se desarrollo a partir de la lógica, la teoría de la computación y algunas áreas relacionadas con las matemáticas.
1902 d.C
% complete
Matemático, lógico y filósofo polaco.
Importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos y me..
1903 d.C
% complete
Inicio un proyecto con Alfred North Whitehead pretendía demostrar que "toda la matemática pura trata exclusivamente de conceptos definibles en términos de un número muy reducido de principios lógicos"
1906 d.C
% complete
Múltiples contribuciones a la lógica matemática.
1917 d.C
% complete
Fue pionera en la primera lógica de multivalores
1931 d.C
% complete
Demostró en contra de Frege y Rusell, que la aritmética no es reducible a ningún sistema axiomático completo