-
Period: 600 BCE to 300 BCE
PERIODO I : Nacimiento de la Matemáticas y de la Lógica
Durante este período, los griegos establecieron las matemáticas como proceso deductivo o de razonamiento lógico. A este período se le conoce también como el Período de los Matemáticos Griegos Clásicos. -
Period: 429 BCE to 429 BCE
Platón
Platón distinguía entre círculos geométricos e ideales, señalando que los primeros pueden ser trazados por el hombre (ó algún dispositivo creado por él ) y por lo tanto, son imperfectos, mientras que los ideales no pueden ser trazados de ninguna manera, de forma tal que ni siquiera pueden ser vistos. -
Period: 350 to 350
ARISTOTELES
El filósofo griego más representativo de esta época es, sin lugar a dudas, ARISTÓTELES, quien propuso el razonamiento deductivo a partir de los silogismos aristotélicos, los cuales son de la forma:
SI todos los HUMANOS son MORTALES Y Todos los GRIEGOS son HUMANOS ENTONCES Todos los GRIEGOS son MORTALES -
Period: 1500 to
PERÍODO II : Matemáticas y Ciencia
El vigor intelectual del renacimiento da pie a una nueva ciencia basada en las matemáticas. -
Period: to
René Descartes (1596 - 1650 )
Surge la geometría de coordenadas (llamada Geometría Analítica)
Descartes formulo cuatro reglas a las que se debe sujetar cualquier investigación cientifica:
*Solo puede admitirse como verdadero lo que es evidente y está demostrado.
*Es indispensable el dividir lo complejo en cuantas partes sea posible.
*Proceder de lo simple a lo complejo, de lo más evidente a lo menos evidente.
*Investigar el objeto de estudio en todos sus detalles y pormenores. -
Period: to
Gottfried W. Von Leibinz
Cálculo Diferencial e Integral -
Period: to
Augustus de Morgan
Hace un análisis de las leyes, símbolos y operaciones de la matemática. Inventa la expresión "introducción matemática", expresa rigurosamente las leyes distributivas de la generación. -
Period: to
George Boole
El entusiasmo por la Lógica Booleana, en la que sólo se trabaja con dos valores: Falso y Verdadero (1 y 0). Él introduce el álgebra de la lógica y formula las leyes del Cálculo Proposicional. -
Period: to
PERÍODO III : Formalización de las Matemáticas
Durante el siglo XIX, las matemáticas son rigorizadas, debido a la influencia de filósofos -
Period: to
Gottlob Frege
Se le considera padre de la Lógica matemática -
Period: to
Giuseppe Peano
Peano realiza un análisis del proceso demostrativo de la matemática. Establece la formulación axiomática de la aritmética a través de sus famosos Axiomas de Peano, los cuales definen los números naturales en términos de la teoría de conjuntos, surgiendo así, la Lógica Matemática. Peano también crea el lenguaje internacional denominado interlingüa tomando vocabulario del Ingles, Francés, alemán y Latín. -
Period: to
Bertrand Russell
Russell plantea la imposibilidad de evaluar expresiones para determinados conjuntos, al definir el conjunto de todos los conjuntos los cuales no son miembros de ellos mismos. Para tal conjunto, si éste existe, él sera un miembro de sí mismo, si y sólo si, él no es miembro de sí mismo!!. En consecuencia, se tiene una contradicción. -
Period: to
Norbert Weiner
Funda la ciencia de la cibernética y establece el desarrollo de la lógica experimental -
Period: to
Alfred Tarski
Establece la fundamentación de la metodología y la metamatemática y desarrolla también un tratamiento semántico de la verdad -
Period: to
Kurt Gödel
Expone sus teoremas de Incompletez y Completez, los cuales tratan propiedades de sistemas de enunciados consistentes y/o completos. Estos teoremas, aún cuando son pocos conocidos para la gente común y corriente, son de una gran trascendencia científica, ya que hace planteamientos que involucran no sólo a la lógica sino a la ciencia en general. -
Period: to
Gerhard Gentzen
Método de deducción natural: El sistema de deducción natural a Cálculo de Secuentes ha sido objeto de estudio hasta nuestro días, por parte de los estudiosos de la demostración automática de teoremas en Inteligencia Artificial. -
Period: to
Alan Mathison Turing
Turing plantea su famosa Prueba de Turing, la cual es muy conocida hoy en día en inteligencia Artificial. En esta prueba, Turing cuestiona si sera posible distinguir a una máquina de un ser humano cuando nos proporciona información sin que sepamos de antemano de quién se trata. -
Period: to
Wang Hao
Formula un algoritmo que permite deducir cuándo una fórmula del Cálculo Proposicional es un teorema -
Period: to
PERIODO IV : Revolución Digital
Empieza con la invención de la computadora digital, lo que conlleva al acceso universal o redes, conectadas a procesadores digitales poderosos y sistemas multimedia, entre otros. La información transforma la economía y la sociedad en general. -
Period: to
PERÍODO V: Siguiente Revolución Lógica
La revolución digital proporciona los fundamentos económicos y tecnológicos para la transformación de redes globales de computadoras en sistemas inteligentes, los cuales usan la lógica y los métodos formales (basados en métodos matemáticos) para soportar nuestro trabajo, educación y entretenimiento.