-
Period: 1500 BCE to 1800 BCE
CIENCIA MATEMÁTICA
El Renacimiento es el inicio de una nueva revolución que revive la ciencia y las matemáticas. Los representantes más destacados son Descartes, Newton y Leibniz. -
427 BCE
PLATÓN
Plante la existencia de dos mundos: el mundo de las ideas y el mundo físico de los objetos. Habla del dialogo como la forma de transmisión del pensamiento. -
384 BCE
ARISTÓTELES
Representa el primer intento serio que fundamenta la lógica como ciencia. Resuelve el razonamiento deductivo y sistematizado. -
300 BCE
EUCLIDES
Organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa y eficaz. -
Period: 600 to 300
LAS MATEMÁTICAS Y LA LÓGICA
El nacimiento de la lógica propiamente dicho, está directamente relacionado con el nacimiento intelectual del ser humano. En Grecia se desarrollaron los principios formales de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y Euclides. -
RENÉ DESCARTES
Creador de la Geometría Analítica y aporte a los métodos algebraicos -
ISAAC NEWTON
Descubrió la Gravitación Universal -
GOTTFRIED LEIBNIZ
Nuevo método para la determinación de los máximos y los mínimos -
NIKOLAI LOBACHEVSKY
Funda la Geometría No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometría. -
GEORG WILHELM FRIEDRICH HEGEL
Constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal. -
FORMALIZACIÓN DE LAS MATEMÁTICAS
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, el cálculo de secuentes. Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gödel y Whitehead. A Rusell y Gödel se deben los planteamientos de las limitantes de la lógica y de la ciencia en general. -
LA REVOLUCIÓN DIGITAL
Inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad. Turing relaciona lógica y computación. Weiner funda la ciencia de la Cibernética. Estos son lógicos que han permitido 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 a partir de especificaciones. -
LA 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
