Logica Matemática

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 1

Lógica Matemática

La lógica matemática es un subcampo de la lógica en sí y

las matemáticas aplicadas. Consiste esta, 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 unas estrechas conexiones para con la ciencias de
la computación y la lógica filosófica en todos los casos.

La lógica matemática estudia todos los buenos 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.

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 tremendamente fundamental en el estudio de los fundamentos de
matemáticas en toda la historia.

La lógica en matemáticas fue también llamada lógica además 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.

La lógica matemática no es la “lógica de las matemáticas” sino la “matemática de la lógica”.


Incluye siempre aquellas partes de la lógica que también pueden ser altamente modeladas y
estudiadas matemáticamente.

También podría gustarte