-
Period: 384 BCE to 322 BCE
Aristóteles
Aristóteles es ampliamente reconocido como el padre fundador de la lógica. Sus trabajos principales sobre la materia, que tradicionalmente se agrupan bajo el nombre Órganon (herramienta), constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto. Sus propuestas ejercieron una influencia sin par durante más de dos milenios -
Period: to
René Descartes
Como científico, se debe a Descartes, la creación de la geometría analítica. Este desarrollo es importante para la ciencia porque hace a la geometría cuantitativa y permite el uso de métodos algebraicos. La geometría debe ser cuantitativa para ser usada en la ciencia e ingeniería, y los métodos algebraicos permiten el desarrollo más rápido que los métodos sistemáticos (más rigurosos) requeridos por el enfoque axiomático de la geometría clásica -
Period: to
John Locke
Determina el valor que tiene el conocimiento ejercio una enorme influencia en la cultura europea de finales del siglo XVll y durante todo el siglo XVlll y preparo el terreno para kan. parte de que todo lo que conocemos se debe a los sentidos. trataba de probar que todas la ideas provienen de la experiencia -
Period: to
Isacc Newton
e le debe 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 -
Period: to
Gottfried W. Leibniz
aporto la determinación de los máximos y los mínimos'', en el que expone las ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton. La notación que empleó es particularmente cómoda y se sigue utilizando con algunas modificaciones; introdujo el símbolo de integral y de diferencial de una variable -
Period: to
Georg Wilhelm Friedrich Hegel
Autor de la ciencia de la lógica se le atribuye con este trabajo la construcción de la lógica dialéctica entendida como el motor del concepto que disuelve y produce las partículas del universo -
Period: to
Immanuel Kant
Kant propone una lógica formal, en la cual ningún contenido es objeto del conocimiento lógico. Kant argumentaba que la experiencia, los valores y el significado mismo de la vida serían completamente subjetivos si no hubiesen sido subsumidos por la razón pura, y que usar la razón sin aplicarla a la experiencia, nos llevaría inevitablemente a ilusiones teóricas. -
Period: to
Friedrich G. Frege
inicio la corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó a cabo la mas profunda renovación y desarrollo de la lógica clásica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificacion -
Period: to
David Hilbert
Según sus teorias, es necesario establecer un conjunto de postulados básicos antes de plantear de modo más detallado cualquier tipo de problema físico o matemático. Estos principios deben ser simbólico sin recurrir a dibujos ni graficas, Su concepción reconocía tres sistemas de entes geométricos (puntos, rectas y planos) a los que podían aplicarse axiomas distribuidos en cinco diferentes categorías: pertenencia, orden, igualdad o congruencia, paralelismo y continuidad -
Period: to
Bertrand Rusell
Lo fundamental de su obra está en sus aportes a la lógica. Decididamente antiaristotélico, llegó a afirmar que quien quería iniciarse en la lógica debía comenzar por no estudiar la lógica de Aristóteles. Siguiendo los trabajos de Cantor, Peano y Frege, Rusell se propuso fundamentar y axiomatizar la matemática a partir de conceptos lógicos -
Period: to
Norbert Weiner
utiliza por primera vez la palabra Cibernética. Existen muchas definiciones de Cibernética (del griego kybernetes, piloto), Norbert Weiner dio vida a la palabra mediante una definición muy simple: ''Ciencia que estudia la traducción de los procesos biológicos a procesos de máquina''. En un inicio, la Cibernética estaba muy ligada a ciencias como neurología, biología, robótica e inteligencia artificial. -
Period: to
La Revolución Digital
Esta revolución inicio con la invención de la computadora digital y el acceso universal a redes de alta velocidad. Turing une a la lógica y la computación antes que cualquier computadora fuera inventada. Hoare presenta un sistema axiomático de los sistemas de programación y Dijkstra un sistema de verificación y deducción de programas a partir de especificaciones.