-
800 BCE
Lógica árabe
doctrinas filosóficas en la época medieval practicada por los pensadores de los pueblos del Oriente, centran su atención en la filosofía de Aristóteles, en la que predominaba el interés por los problemas de las ciencias naturales y la lógica. -
600 BCE
Platón
Los principios formales de las matemáticas, este periodo se conoce como el periodo clásico, lo concreto se entiende en función de lo abstracto, Además el mundo sensible parte del mundo de las ideas. -
322 BCE
Aristóteles
Reconocido como el fundador de la Lógica. Esta es una parte de la filosofía que consiste en la investigación acerca de los principios del razonamiento. La lógica no es ciencia, sino un instrumento (órganon) para el pensamiento correcto. -
Descartes
Matemático, físico y filósofo francés cuyas aportaciones fueron una revolución en el campo científico y filosófico. La “duda metódica” nos acerca a la verdad: “Para investigar la verdad es preciso dudar, en cuanto sea posible, de todas las cosas”. -
Isaac Newton
La principal aportación de Newton a las matemáticas fue la constitución de una teoría coherente, el cálculo infinitesimal. - Ley de la inercia. -Ley de la interacción y la fuerza. - Ley de acción-reacción. -
Augustus de Morgan
Matemático inglés, escribió varias obras de lógica en las que se encuentra la idea de aplicar los métodos matemáticos. La negación de la conjunción es igual a la disyunción de las negaciones; y la negación de la disyunción es igual a la conjunción de las negaciones. -
George Boole
Considerado como el padre de las operaciones lógicas, introdujo la lógica en las matemáticas. Sus estudios sentaron las bases de la computación moderna. -
Gottlob Frege
Filósofo alemán, abordó el problema de los fundamentos de las matemáticas al establecer una estrecha relación entre la definición filosófica de la esencia del conocimiento matemático y la rigurosa descripción de los procesos demostrativos. Elaboró una sofisticada filosofía del lenguaje que influiría sobre la filosofía analítica. -
KURT GÖDEL
Su mayor interés radicó en la completitud de sistemas formales. Enunció 23 problemas, conocidos como “los 23 problemas de HIlbert”. El objetivo era mostrar que la matemática tenía unas bases sólidas y lógicas. Demostró que la matemática está compuesta de axiomas correctamente escogidos, y que ese sistema de axiomas podría probarse de forma consistente.
