Please enable JavaScript.
Coggle requires JavaScript to display documents.
HISTORIA DE LA LÓGICA - Coggle Diagram
HISTORIA DE LA LÓGICA
LÓGICA MATEMÁTICA
PLATON
Crea la academia en atenas y edifica su teoria del conocimiento con la búsqueda de ideas abstractas y la existencia de dos mundos
-
ARISTÓTELES
Los tratados de Organón representan el primer intento de establecer la lógica como ciencia, da una clasificación a todos los conceptos y trata las reglas del razonamiento
-
EUCLIDES
Publica el libro "Elementos" caracterizado por el uso del método deductivo distinguiendo entre principios y teoremas, demostrados a partir de principios
-
CIENCIA MATEMÁTICA
RENÉ DESCARTES
Dudó de toda enseñanza, conocimiento y testimonio adquirido, hallando una verdad de la que no puede dudar: "pienso, luego existo"
ISAAC NEWTON
Gravitación universal, Desarrollo del cálculo infinitesimal y Las Leyes de la Mecánica Clásica
GOTTFRIED W. LEIBNIZ
Fundó la Academia de Ciencias de Berlín y su principal trabajo es la memoria intitulada "Nuevo método para la determinación de máximos y mínimos" en el que expone las ideas fundamentales del cálculo
FORMALIZACIÓN
GUISEPPE PEANO
En su obra "Formulaire de mathematiques" plasma sus principios acerca de los números naturales
DAVID HILBER
Publicó su obra "Fundamentos de Geometría", en la que perfeccionó las ideas eucladianas y formuló sus principios de axiomatización
GEORGE BOOLE
Fundó el álgebra de la lógica, dándole un método general para formalizar la inferencia deductiva, representando complicados raciocinios medicante sencillos sitemas de ecuaciones
-
-
BERTRAND RUSSEL
Creador de la logística, estableciendo la jerarquía de los lenguajes para eliminar paradojas semánticas.
KURT GÖDEL
Destaca la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica
REVOLUCIÓN DIGITAL
ALAN TURING
Pionero en la teoría de la computación y contribuyó en importantes análisis lógics de los procesos computacionales, aprobando que es posible construir una máquina universal capáz de realizar cualquier problema.
-
NORBERT WEINER
Publicó el libro "Cibernética, o control y comunicación en el animal y la máquina"
-