Ensayo
Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunosfilósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienesprimero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado parainvestigar sobre los fundamentos de la matemática.
El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que laactual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolosperteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico,construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetosmatemá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 fundamental en el estudio de los fundamentos de las matemáticas.
Regístrate para leer el documento completo.