Lógica matemática

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.