Historia de la logica computacional

HISTORIA DE LA LÓGICA



Línea del tiempo
Alejandro Mares Sánchez
14300621
1-C

INTRODUCCION
Se destacan cinco etapas o revoluciones en este proceso, el nacimiento de la lógica computacional, Las cuales se identifican como: Revolución matemática, revolución científica, revolución formal y revolución digital, además a la próxima y prevista revolución lógica.

REVOLUCION MATEMATICA(LOGICA MATEMATICA)
Del año 600 aC al 300 aC
Se desarrollan en Grecia los principios formales de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y Euclides.
427aC - 347aC
Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filósofo. Sostiene la
existencia de dos mundos -el mundo de las ideas y el de mundo físico delos objetos.
384aC - 332aC
Aristóteles hizo el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento.
Representan el primer intento serio que funda la lógica como ciencia.
325aC - 265aC
Euclides, autor de la universal obra, los célebres Elementos. Uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta el siglo XIX.262aC - 190aC
Apolonio de Perga, obra sobre curvas cónicas de Apolonio de Perga, “un geómetra de la época helenística”, inicialmente dirigido a euclidianos exquisitos, se convirtió en manual para balísticos del
Renacimiento.

REVOLUCION CIENTIFICA (CIENCIA MATEMATICA)

Del año 1500dC al 1800dC
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.
1596 - 1650

René Descartes duda de toda enseñanza recibida, de todo conocimiento
adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en
su propio sujeto.
1642 - 1727
Isaac Newton, se ledebe el descubrimiento de la gravitación universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica clásica que alimentaría el nacimiento de la mecánica cuántica.
1646 - 1716
Gottfried W. Leibniz su principal trabajo publicado en 1684 es la memoria Nuevo método para la determinación de los máximos y los mínimos, en laque expone las Ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton. En el área de lógica matemática publica Generales inquisitiones de analysi notionum et veritatum y Fundamenta calculi logic.
1770 - 1831
Georg Wilhelm Friedrich Hegel. Autor de Ciencia de la
lógica se le atribuye con este trabajo la constitución de la lógica dialéctica entendida como principio motordel concepto que disuelve y produce las particularidades de lo universal.
1792 - 1856
Nikolai I. Lobachevsky funda la Geometría No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometría. Lleva a cabo su revolución en el planteamiento que hasta entonces había utilizado la ciencia Matemática para resolver el enigma del quinto postulado deEuclides

REVOLUCION FORMAL (FORMALIZACION DE LAS MATEMATICAS)
1800 - 1970
Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas, que en la etapa clásica griega fué representativa. La rigorización del análisis llegó con la eliminación de los infinitesimales y la presencia de los límites como
argumento.
1858 - 1932
Guiseppe Peano acerca de lógicamatemá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úmeros naturales.
1862 - 1943
David Hilbert aporta grandes avances a campos fundamentales de la relatividad y la mecánica cuántica con la Teoría de Invariantes y el concepto de Espacio de Hilbert. Su concepción reconocía tres sistemas de entes...