Linea del tiempo sobre la lógica matemática.

-325A.C – 265A.C: Ecluides de Alexandria realizo unos de los textos matemáticos mas importante
en la historia conocido como: “Los Elemento deEcluides” donde utilizo el método deductivo através de principios y teoremas.
-300 A.C – 600 A.C: Surgieron las primeras ideas sobre el razonamiento deductivo, los autores
principales de dichas ideasfueron Platon, Aristoteles y Euclides.-384 A.C – 322A.C: Aristoteles realiza el primer intento formal de establecer la la lógica como una
ciencia.
-427 A.C – 347A.C: Platon considera que exististeun mundo de ideas y otro físico deobjetos.
-1770-1831: George Wilhelm Hegel se le atribuye la constitución de la lógica dialéctica. A George
también se le atribuye la lógica hegeliana, lo cual no selimita al estudio de las leyesformales del
pensamiento.
-1792-1856: Nokolai Lobachevsky fundo la geometría no euclidiana y ademas renovó los
fundamentos de la ciencia de la geometría.-1806-1871: August De Morgan leagrego a la ciencia de la lógica: la formulación de las leyes de
Morgan.
-1815-1864: George Boole aplica el calculo matemático a la lógica y esto se le conoce como el
“álgebrade la lógica”.-1845-1918: Se considera que George Ferdinard Ludwig fue el el creador de la teoría de los
numero irracionales y los conjuntos.
-1845-1925: A Gottlob Frege se le amerita ser elprimero en introducirlos cuantificadores u
operadores.
-1858-1932: Giuseppe Peano aporta a la lógica de matemática practica a través de su obra:
“Formulaire Mathematiques”.
-1872-1970: BertrandRussell inicia unproyecto cuyo propósito era conciliarlas dos concepciones
antagónicas de la matemática : “Platonismo” e “Intuicionismo” . Russell tambien aporto grandes
avances a campos fundamentalesde larelatividad y la mecánica cuántica.
-1881: John Venn escribe y publica su libro “Lógica Simbólica”, donde introdujo los famosos
diagramas de Venn.
-1881-1966: Luitzen Egberus funda la.