-
Period: 1079 to 1142
Pedro Abelardo
Es reconocido por la crítica moderna como uno de los grandes genios de la historia de la lógica, de la que hacía uso a través de los géneros y técnicas de la diatriba dialéctica y un dominio silogístico profundo. Analiza la cúpula de las proposiciones, distingue la negación de un término de la preposición entera. -
Period: 1120 to 1180
Juan de Salisbury
En su Metalogicon, expone por primera vez el Organon aristotélico completo; además habla de una maquina lógica inventada por Guillermo de Soissons. -
Period: 1200 to 1271
Guillermo de Sherwood
En sus Introducciones a la lógica, recopila las aportaciones medievales a la semántica llamadas propiedades de los términos (significación, suposición, ampliación, disminución, apelación). -
Period: 1206 to 1280
Alberto Magno.
Establece el procedimiento de convertir las preposiciones mediante un entimema o silogismo abreviado. -
Period: 1288 to 1349
Guillermo de Ockham
En lógica, Ockham trabajó en dirección a lo que más tarde se llamaría Leyes de De Morgan y lógica ternaria, es decir, un sistema lógico con tres valores de verdad, concepto que sería retomado en la lógica matemática de los siglos XIX y XX. -
Period: 1492 to 1540
Juan Luis Vives
En su obra De la Censura de lo Verdadero, representa las funciones lógicas por medio de ángulos y triángulos. -
Period: to
René Descartes
El punto de partida de este filósofo y matemático francés es la duda universal, que consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia con que ha de manifestarse el espíritu. -
Period: to
Isacc Newton
Se 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
Como matemático, su principal trabajo (publicado en 1684) es la memoria intitulada ''Nuevo método para 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. -
Period: to
Augustus De Morgan
La mayor contribución de Augustus De Morgan, en el estudio de la lógica incluye la formulación de las leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática. -
Period: to
George Boole
El lógico y matemático George Boole, aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una ''characteristica universalis'' o cálculo del raciocinio. -
Period: to
Georg F. Cantor
Al matemático alemán Georg F. Cantor, se debe la idea del ''infinito coninuo'', es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoria de los números irracionales y de los conjuntos -
Period: to
Friedrich G. Frege
Junto con Boole y Peano, el matemático y lógico 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 renovacion y desarrollo de la lógica clásica. -
Period: to
Guiseppe Peano
La enunciación de los principios del italiano Guiseppe Peano acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Los axiomas de Peano permiten definir el conjunto de los números naturales -
Period: to
David Hilbert
El matemático alemán David Hilbert fue un enconado defensor de la axiomática como enfoque principal de los problemas científicos, esto es, de partir de un conjunto cerrado e inamovible de premisas para construir la base fundamental de cualquier estudio. -
Period: to
Bertrand Rusell
Por influencia de los trabajos de Cantor descubrió en la teoría de conjuntos varias paradojas que resolvió mediante la teoría de los tipos; años más tarde establecería una teoría similar, la de la jerarquía de los lenguajes, para eliminar las paradojas semánticas. -
Period: to
Norbert Weiner
El científico norteaméricano Norbert Weiner, en 1947 publica su libro más famoso: ''Cibernética, o control y comunicación en el animal y la máquina''; en donde se utiliza por primera vez la palabra Cibernética. 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''. -
Period: to
Gentzen
El alemán Gentzen, formuló la prueba de la consistencia de un sistema de aritmética clásica, en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales transfinitos -
Period: to
Alfred Tarski
Hizo aportaciones destacadas en teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos. Fue el autor de Introducción a la lógica y a la metodología de las ciencias deductivas en el año 1941 y La concepción semántica de la verdad y los fundamentos de la semántica en 1944. -
Period: to
Kurt Gödel
Kurt Gödel, tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica. -
Period: to
Alan Mathison Turing
Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing.