-
La lógica fue descubierta por Aristóteles y los Estoicos entre los años 350 y 200 antes de Cristo.
-
Esto se dio al rededor de los años 1830 y 1850,surgió la comprensión de que las leyes eran un poco abstractas, pero que luego se podían usar dentro de los métodos numéricos.
-
En el año 1867 Cantor descubre las principales paradojas conjuntistas
-
En el año 1879 Frege publicó un sistema de lógica formal dentro de su conceptografía
-
En el transcurso de este año, Zermelo logró resolver uno de los principales problemas fundamentales de Cantor, en el que decía que todo conjunto puede ser bien ordenado.
-
Ferreirós, J.(2010). La lógica matemática: una disciplina en busca de encuadre