La lógica matemática,

también llamada lógica simbólica, lógica teorética, lógica formal, o logística,1

es parte tanto de la lógica como de la matemática, y 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 con 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 se suele dividir 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 las matemáticas.

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.

La lógica matemática comprende dos áreas de investigación distintas: la primera

es la aplicación de las técnicas de la lógica formal a las matemáticas y el

razonamiento matemático y la segunda, en la otra dirección, la aplicación de

técnicas matemáticas a la representación y el análisis de la lógica formal.

Si la teoría de la demostración y la teoría de modelos han sido el fundamento de la

lógica matemática, no han sido más que dos de los cuatro pilares del sujeto. La

teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido

la fuente de muchos de los temas más desafiantes e importantes de la lógica

matemática, a partir del teorema de Cantor, a través del estatus del axioma de

elección y la cuestión de la independencia de la hipótesis del continuo, al debate

moderno sobre grandes axiomas cardinales.

La teoría de la recursión captura la idea de la computación en términos lógicos y

aritméticos. Sus logros más clásicos son la indecidibilidad

del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-

Turing. Hoy en día, la teoría de la recursión se ocupa principalmente del problema

más refinado de las clases de complejidad (¿cuándo es un problema

eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.

https://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica