HISTORIA DE LA LÓGICA

INICIOS DEL SER HUMANO

El hombre siempre a cuestionado los fenómenos
que lo rodean, para entender su entorno.

PROTÁGORAS
480 A.C.

Introdujo la idea del relativismo

PLATÓN
427 A.C. - 347 A.C.

La ideas se transmiten de persona
a persona, mediante el diálogo
"la dialéctica"

Concebía dos mundos:
el de las ideas y el de los objetos

El ser humano se divide
en cuerpo y alma

ARISTÓTELES
384 A.C. - 322

Padre de la lógica clásica

El aprendizaje de la realidad
se logra mediante la experiencia

Destaco por los llamados
silogismos

EUCLIDES
325 A.C. - 265 A.C.

Introdujo el algoridmo
del máximo común divisor
entre dos números

Padre de la geometría

FILOSOFÍA

MATEMÁTICAS

Geometría plana

Geometría analítica

Cálculo diferencial
e integral

Álgebra de conjuntos

Aridmética

FÍSICA

CIENCIAS
COMPUTACIONÁLES

ELECTRÓNICA

ALAN MATHISON TURING

Concepto moderno de algoritmo

KURT GÖDEL

Teorema de las proposiciones indecidibles

JOHN McCARTHY

Padre de la inteligencia artificial

GIUSEPPE PEANO

HILBERT

GOTTLOB FREGE

GEORGE BOOLE

AUGUSTUS DE MORGAN

GENTZEN

BERTRAND RUSSELL

ALFRED NORTH WHITEHEAD

RENE DESCARTERS

Padre de la filosofía moderna
y de la geometría analítica

Resolver una problemática mediante la división de la
misma en sus partes más simples.

ISAAC NEWTON

Se le atribuyen,
ley de la gravitación universal
leyes del movimiento.

Estudios de óptica
leyes de la dinámica

GOTTFRIED WILHELM LEIBNIZ

Precursor de la lógica matemática

Introdujo la notación
para cálculo diferencial e integral

Subtema

AUGUSTUS DE MORGAN

Leyes de Morgan

Definió el término: inducción matemática
interpretación geométrica a los números complejos

GEORGE BOOLE

Álgebra Booleana
(álgebra de conjuntos)

Formalizó la idea de construir
la lógica mediante cálculos matemáticos

GEORG FERDINAN CANTOR

Creó la teoría de conjuntos

Estudio de infinitos y de distintos infinitos

GOTTLOB FREGE

Padre de la lógica matemática

Fundamentos de aritmética
(aritmética era parte de la lógica

GIUSEPPE PEANO

Desarrollo un conjunto
de signos para definir razonamientos

BERTRAND RUSSELL

Argumentaba que la matemática se deriva de la lógica

lógica de predicados

ALFRED NORTH WHITEHEAD

Argumentaba que la matemática se deriva de la lógica

lógica de predicados