A lo largo de los siglos, los matemáticos se habían limitado a construir sobre lo que habían dejado quienes los antecedían, pero nunca se habían planteado si las bases estaban bien asentadas. A finales del siglo XIX, este hecho desencadeno la crisis de los fundamentos. Durante esta crisis se retomaron grandes cuestiones que se habían mantenido sin respuesta durante siglos. De todas ellas, en este volumen vamos a analizar las tres principales ¿Qué define y diferencia realmente a la ciencia matemática: los axiomas, la lógica, los procesos de demostración?, ¿podemos crear unas matemáticas tan rigurosas y aisladas de la ambigüedad del lenguaje como para desarrollar razonamientos de forma automática, mecánica o algorítmica? y ¿cómo podemos enfrentarnos a la idea del infinito?
LÓGICA MATEMÁTICA
El lenguaje, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.
La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática. 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, desde el teorema de Cantor, el 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 lógica matemática tiene estrechas conexiones con las ciencias de la computación. La teoría de la computabilidad 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 computabilidad 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.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método para descubrir verdades del mundo físico real, sino solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por completo.
MÁS INFORMACIÓN
- Libro: Números cómplejos. Los números imaginarios son reales. Grandes ideas de las matemáticas
- Libro: La matemática en el arte. Geometría, armonía y proporción en el taller del artista
- Libro: Midiendo el cielo y la tierra. La aventura de medir el cosmos de Eratóstenes a la paralaje estelar
Autor(es): Nelo Maestre es profesor de Matemáticas en la Universidad de Nebrija y un conocido divulgador de las matemáticas a través de sus espectáculos, en los que utiliza la magia como elemento principal. También realiza talleres, conferencias y todo tipo de actividades para compartir conocimiento junto a su Asociación Diviértete con las Mates y la plataforma Divermates.
Editorial: EMSE EDAPP
Páginas: 176
Tamaño: 16 x 23,5 cm.
Año: 2023
