Lgica matemtica

La lgica matemtica, tambin llamada lgica simblica, lgica teortica, lgica formal,
o logstica,1 es parte tanto de la lgica y como de la matemtica, y 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 con 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 se suele dividir 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 las matemticas.
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.
La lgica matemtica comprende dos reas de investigacin distintas: la primera es la
aplicacin de las tcnicas de la lgica formal a las matemticas y el razonamiento matemtico
y la segunda, en la otra direccin, la aplicacin de tcnicas matemticas a la representacin y
el anlisis de la lgica formal.
Si la teora de la demostracin y la teora de modelos han sido el fundamento de la lgica
matemtica, no han sido ms que dos de los cuatro pilares del sujeto. La teora de conjuntos
se origin en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los
temas ms desafiantes e importantes de la lgica matemtica, a partir del teorema de Cantor,
a travs del estatus del axioma de eleccin y la cuestin de la independencia de la hiptesis
del continuo, al debate moderno sobre grandes axiomas cardinales.
La teora de la recursin captura la idea de la computacin en trminos lgicos y aritmticos.
Sus logros ms clsicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su
presentacin de la tesis de Church-Turing. Hoy en da, la teora de la recursin se ocupa
principalmente del problema ms refinado de las clases de complejidad (cundo es un
problema eficientemente solucionable?) y de la clasificacin de los grados de insolubilidad.