Contadora

NIVELACIÓN GENERAL
MATEMÁTICAS
Lic. María José Mayorga
NOMBRE: Katherin Apo TEMA: Lógica matemática
CURSO: 14FECHA: 15-01-2013
RESEÑA HOSTÓRICA DE LA LÓGICA MATEMÁTICA
RESEÑA HOSTÓRICA DE LA LÓGICA MATEMÁTICA

La lógica matemática esuna parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechasconexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetosmatemáticos como conjuntos, números, demostraciones  y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría dela recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos lasexpresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellaspartes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
Los primeros principios formales de las matemáticas se desarrollan en Grecia. Platón, Aristóteles y Euclides proponen lasprimeras ideas hacia la lógica: Platón propone ideas o abstracciones. Aristóteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el método axiomático.

Eltrabajo de Aristóteles contiene el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento. Representan el primer intento serio que funda la lógica como ciencia....