HISTORIA DE LA LÓGICA

Mer av detta

Contexto histórico de la rigorización de las matemáticas y crisis de los fundamentos matemáticos en el siglo XX

av JOTA BRANGO

SOFISTAS Y SÓCRATES

av OCTAVIO CARABALLO ALMEIDA

PROCESOS COGNITIVO

av Lauris Coronado

LOGICA MATEMÁTICA Y CONJUNTOS

av maria pech yeh

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.