Significado+De+La+Lògica+Matematica

media type="custom" key="5619811" align="center" ====La lógica matemática es un subcampo de la lógica y las matemáticas. Consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica. ==== ====*Estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación. ==== ====*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. ==== ====*Fue también llamada **lógica simbólica** . El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración. ==== ====*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. ====