Matemáticas complementarias: Lógica y matemática
26 - Lógica y matemática
Este documento explora la intrincada relación entre las matemáticas y la lógica, remontándose a los orígenes de la lógica como ciencia y su interconexión con la teoría de conjuntos. Se destaca cómo la crítica de los matemáticos del siglo XIX, impulsada por las geometrías no euclideas, llevó a la axiomatización de la geometría y la aritmética por figuras como Pasch y Peano, estableciendo principios de compatibilidad e independencia para los axiomas. El texto profundiza en las dos posturas principales sobre las nociones fundamentales: aquellas inspiradas en la intuición y las que las consideran meras palabras con valor gramatical, lo que ha generado un 'cisma' sobre si la matemática es una rama de la lógica o viceversa. Se aborda la aparición de antinomias a fines del siglo XIX y principios del XX, con aportaciones de Burali-Forti, Russell y Richard, que pusieron en jaque la teoría de conjuntos y la lógica formal. Para ilustrar estas paradojas, se narra el célebre cuento de Sancho Panza sobre el problema de la horca, mostrando cómo la lógica clásica (principio del tercero excluido) falla en resolver ciertos dilemas. Finalmente, se presentan las soluciones propuestas por pensadores como Brouwer (lógica intuicionista), Lukasiewicz (lógica polivalente), Russell (teoría de tipos), Hilbert y Brauner, así como la conclusión de Gödel sobre la imposibilidad de demostrar la ausencia de contradicciones en teorías formales complejas. El documento concluye enfatizando que, si bien la lógica es crucial para evitar errores, la matemática necesita de la experiencia externa para no volverse insípida, utilizando una analogía de Klein sobre los límites de la ascensión en busca de la pura ciencia y los peligros de un excesivo predominio de la lógica sobre la intuición.
Autor: Summers Gaméz, Joaquín
Título original: Lógica y matemática
Participante: PASCH
Participante: PEANO
Participante: Raimundo Lulio
Participante: Leibniz
Participante: Cantor
Participante: Bural y Forti
