Lgica matemtica

La lgica matemtica es una parte de la lgica y la matemtica, que consiste en el estudio

matemtico de la lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y
de las ciencias. La lgica matemtica tiene estrechas conexiones con las ciencias de la
computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros,
demostraciones, y algoritmos, utilizando un lenguaje formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones:
lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal.1
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la
lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.