LÓGICA MATEMÁTICA
La lógica matemática es una parte de la lógica y las matemáticas que 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 tiene estrechas conexiones con...
More
LÓGICA MATEMÁTICA
La lógica matemática es una parte de la lógica y las matemáticas que 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 tiene estrechas conexiones con las ciencias de la computación y 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 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. Actualmente se
usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica
matemática, lógica teorética y lógica formal.1
La lógica matemática no es la
Less