HISTORIA DE LA LÓGICA
LÓGICA MATEMÁTICA
(1500 D.C. - 1800 D.C.)
lógica de predicados
Argumentaba que la matemática se deriva de la lógica
Desarrollo un conjunto
de signos para definir razonamientos
Fundamentos de aritmética
(aritmética era parte de la lógica
Padre de la lógica matemática
GEORG FERDINAN CANTOR
Estudio de infinitos y de distintos infinitos
Creó la teoría de conjuntos
Formalizó la idea de construir
la lógica mediante cálculos matemáticos
Álgebra Booleana
(álgebra de conjuntos)
Definió el término: inducción matemática
interpretación geométrica a los números complejos
Leyes de Morgan
Subtema
GOTTFRIED WILHELM LEIBNIZ
Introdujo la notación
para cálculo diferencial e integral
Precursor de la lógica matemática
ISAAC NEWTON
Estudios de óptica
leyes de la dinámica
Se le atribuyen,
ley de la gravitación universal
leyes del movimiento.
RENE DESCARTERS
Resolver una problemática mediante la división de la
misma en sus partes más simples.
Padre de la filosofía moderna
y de la geometría analítica
LÓGICA SIMBÓLICA
(1800 D.C. -2000 D.C.)
PERSONAJES DESTACADOS
ALFRED NORTH WHITEHEAD
BERTRAND RUSSELL
GENTZEN
AUGUSTUS DE MORGAN
GEORGE BOOLE
GOTTLOB FREGE
HILBERT
GIUSEPPE PEANO
REVOLUCIÓN DIGITAL
(1950 -1976)
JOHN McCARTHY
Padre de la inteligencia artificial
KURT GÖDEL
Teorema de las proposiciones indecidibles
LÓGICA INFORMÁTICA
(1950 - 1960)
ALAN MATHISON TURING
Concepto moderno de algoritmo
RELACIÓN CON
OTRAS CIENCIAS
ELECTRÓNICA
CIENCIAS
COMPUTACIONÁLES
FÍSICA
MATEMÁTICAS
Aridmética
Álgebra de conjuntos
Cálculo diferencial
e integral
Geometría analítica
Geometría plana
FILOSOFÍA
LÓGICA CLÁSICA
(6OO A.C. - 300 A.C.)
EUCLIDES
325 A.C. - 265 A.C.
Padre de la geometría
Introdujo el algoridmo
del máximo común divisor
entre dos números
ARISTÓTELES
384 A.C. - 322
Destaco por los llamados
silogismos
El aprendizaje de la realidad
se logra mediante la experiencia
Padre de la lógica clásica
PLATÓN
427 A.C. - 347 A.C.
El ser humano se divide
en cuerpo y alma
Concebía dos mundos:
el de las ideas y el de los objetos
La ideas se transmiten de persona
a persona, mediante el diálogo
"la dialéctica"
PROTÁGORAS
480 A.C.
Introdujo la idea del relativismo
ORIGEN
INICIOS DEL SER HUMANO
El hombre siempre a cuestionado los fenómenos
que lo rodean, para entender su entorno.