Cargando, por favor espere...
Una demostración matemática es un conjunto de procedimientos o argumentaciones lógicas que permiten establecer fehacientemente la veracidad de las afirmaciones matemáticas.
Un sistema de axiomas debe tener tres características esenciales: compatibilidad, independencia y completitud (idealmente).
1. Compatibilidad de los axiomas
Se dice que un sistema de axiomas es compatible cuando se ha probado que, operando lógicamente con ellos, no es posible llegar a demostrar que dos proposiciones contradictorias sean verdaderas. El problema de la compatibilidad o de la no contradicción de un sistema de axiomas es el problema lógico por excelencia, pues la existencia de una contradicción en una teoría la invalida completamente.
Para los formalistas (Hilbert y su escuela) la compatibilidad tiene un contenido fundamental, basta haberla demostrado para un sistema de axiomas para poder afirmar la existencia de los objetos matemáticos que el sistema de axiomas define, es decir, ser compatible y existir son para ellos sinónimos. Por ejemplo, basta definir rigurosamente el concepto de número natural, de acuerdo a un sistema de axiomas para que exista.
El problema de la compatibilidad ha sido atacado con pleno éxito en casi todas las teorías matemáticas; así, por ejemplo, Hilbert demuestra, de una manera acabada, la no contradicción de la geometría aceptando la no contradicción de la teoría de los números reales; la aritmetización del análisis reduce también su no contradicción a la de los números reales; la no contradicción de éstos se reduce a su vez a la de los números naturales y de la teoría de conjuntos, disciplina que desempeña por esto un papel central en la matemática.
2. Independencia de un sistema de axiomas
Un sistema axiomático, con los siguientes axiomas A1, A2, ...An, es llamado independiente cuando se demuestra la imposibilidad de qué uno de estos axiomas pueda ser demostrado usando los axiomas restantes. Por ejemplo, en la Geometría Euclidiana no es posible demostrar el Axioma V (Postulado de las Paralelas), usando los Axiomas I, II, III, IV.
Para probar la independencia de uno de los axiomas, por ejemplo, A1, basta probar que es compatible el sistema formado por los demás axiomas y la negación de A1, puesto que, si esto se demostrara, resultaría que A1 no puede ser deducido de los otros, ya que al mismo tiempo se aceptaría su negación. Para efectuar esto se construyen disciplinas artificiales compatibles, las cuales son modelos que satisfacen estos sistemas de axiomas.
La historia de la matemática nos da un notable ejemplo que prueba la importancia del concepto de independencia de los sistemas de acción más: durante más de 20 siglos, los matemáticos se esforzaron infructuosamente en demostrar el Axioma V de Euclides, o Postulado de las Paralelas, hasta que Gauss, Lobachevski, Bolyai y Riemann plantearon y resolvieron el problema de la independencia de este postulado, creando las geometrías no euclidianas, las cuales contienen los mismos postulados de la Geometría Euclidiana, excepto el V, que se reemplaza por su negación, generando un nuevo sistema axiomático.
3. Saturación o completitud de un sistema de axiomas
Esta característica de un sistema axiomático, responde a la siguiente pregunta: ¿En una teoría matemática, toda proposición formulada en los términos de la teoría es necesaria mente demostrable o refutable?
Para un sistema de axiomas saturado o completo en el sentido anteriormente indicado, la respuesta es afirmativa; es decir, si existiera una proposición que no fuera demostrable ni refutable podría ser tomada como axioma independiente. Para nuestra sorpresa, Kurt Gödel demostró, en 1948, que no existen sistemas axiomáticos completos, para ver detalles de este controvertido resultado y sus alcances vea Una axiomatización de la teoría de conjuntos, de Esptiben Rojas.
Aunque la pérdida de cola en los humanos ha sido objeto de diferentes teorías evolutivas, hasta hace unos días era un misterio sin resolver.
El inicio de la rigurosidad en el pensamiento matemático es obra del gran maestro Weierstrass, quien, entre otras atribuciones, estableció la existencia de una curva continua sin tangentes, sorprendiendo a los analistas de su época.
Molina egresó como ingeniero químico por la UNAM en 1965 y posteriormente realizó estudios de posgrado en la Universidad de Friburgo, Alemania.
El 8 de abril será la fecha clave y también será la primera vez que se intente volar un dispositivo en otro planeta.
La proteína es un macronutriente indispensable para el crecimiento y el mantenimiento de órganos y músculos en el cuerpo de los animales.
El impacto social de los Beatles ha sido sumamente importante; en materia musical y de producción de sonido desataron una auténtica revolución, y ahora la inteligencia artificial nos acerca a lo que pudo haber sido.
Esta sonda despegó el 15 de enero y tiene previsto alunizar en el Mare Crisium el 2 de marzo.
La naturaleza es compleja y se manifiesta de muchas formas. Uno de los instrumentos para estudiar dichas formas es la geometría
Los mitos antiguos se basan en observaciones bastante atinadas hechas por los pueblos primitivos.
Los investigadores rusos, que con sus aportaciones a la humanidad han sido reconocidos con 22 Premio Nobel y 10 Medallas Fields.
Este fenómeno tiene graves consecuencias para el medio ambiente. Elimina la capa de protección de las plantas, dejándolas desprotegidas a la acción del viento, el frío, la sequía y convirtiéndolas en presa fácil de los parásitos o plagas, que provocan su muerte.
El matemático que opera y crea los objetos que la matemática estudia, si puede tener compromiso con la realidad, éste lo conduce a un proceso de establecer isovalencias entre los problemas reales y los objetos matemáticos.
“Prohibir el fentanilo en la práctica es quitarle a los enfermos el derecho a vivir sin dolor, es retroceder varios años en la historia”, sostuvieron médicos y científicos ante la propuesta de AMLO de prohibir el fentanilo en la medicina.
Los nuevos ambientes activan en nuestro organismo la producción de dopamina, sustancia que promueve el aprendizaje asociativo.
Creer que las verdades matemáticas y objetos matemáticos tienen existencia independiente de la mente humana no tiene fundamento; desde Pitágoras hasta algunos matemáticos más contemporáneos creen en esta independencia.
Protestan locutores y artistas del doblaje contra la IA
Pemex oculta hallazgos de cinco auditorías sobre anomalías internas
Tormenta con granizo azota a la CDMX
Protestan contra invasores de predios vinculados a legisladora de Morena, como Dolores Padierna
EE.UU. sigue viviendo en la Guerra Fría: Embajada de China en México
La estructura tributaria de México, ¿Quién paga y cómo se gastan los impuestos?
Escrito por Dr. Esptiben Rojas Bernilla
Colaborador