Luokat: Kaikki - inteligencia - matemática - relativismo - lógica

jonka Clauss Castillo 7 vuotta sitten

174

HISTORIA DE LA LÓGICA

La evolución de la lógica a lo largo de la historia ha sido influenciada por diversos pensadores y matemáticos. Desde la lógica clásica, con figuras como Aristóteles y Euclides, quienes sentaron las bases del razonamiento lógico y geométrico, hasta la lógica matemática desarrollada entre los siglos XVI y XVIII con contribuciones de Leibniz, Boole y Descartes, quienes introdujeron notaciones y formalizaciones que revolucionaron el pensamiento lógico y matemático.

HISTORIA DE LA LÓGICA

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.