martes, 27 de octubre de 2015
QUE ES LÓGICA MATEMÁTICA
Lógica matemática
La lógica
matemática es una parte de la lógica y la matemática, que consiste en el
estudio matemático de la lógica, y en la aplicación de dicho estudio a otras
áreas de la matemática y de las ciencias. La lógica matemática tiene estrechas
conexiones 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 o definen nociones intuitivas de objetos matemáticos como conjuntos,
números, demostraciones, y algoritmos, utilizando un lenguaje formal.
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 de la 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 las expresiones: lógica simbólica (o logística), lógica matemática,
lógica teorética y lógica formal.1
La lógica matemática
no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye
aquellas partes de la lógica que pueden ser modeladas y estudiadas
matemáticamente.
Suscribirse a:
Entradas (Atom)