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.
AMLO olvida que el desarrollo económico de un país está directamente relacionado con las inversiones en la investigación y la producción de ciencia y tecnología.
Es considerado el más prolífico de los matemáticos; su nombre figura en fórmulas, teoremas, números, integrales y constantes en distintas ramas de la matemática.
La variedad de ratones transgénicos es muy amplia y, dependiendo de las necesidades de investigación que se requieran, será el tipo de ratón que se utilice.
A pesar del indiscutible rol que juegan los bosques, cada año disminuye su superficie debido al cambio de uso de suelo, tala clandestina e incendios forestales. De 2000 a 2018 se perdieron 13 mil 777 hectáreas.
Para que el deportista cumpla sus objetivos físicos debe considerar varias variables. Aquí explicamos la hipertrofia muscular, puesto que la población que realiza deporte casi siempre busca una buena imagen física.
El hábito tan frecuente de beber café ha traído consigo una gran polémica acerca de si es bueno o malo beber café. Ante esto, múltiples investigaciones se han centrado en responder tal cuestión
Científicos confirman que fragmento de roca recuperado hace 11 años es el material más caliente jamás encontrado en la Tierra.
“Con esta investigación buscan una solución a la adulteración, que con el paso del tiempo se ha vuelto más sostificada, por lo que los procedimientos analíticos también de ser cada vez mejores”.
La situación del campo mexicano es compleja y demanda una intervención integral. Los pequeños productores, ejidatarios, comuneros, propietarios privados y comunidades indígenas requieren apoyo urgente.
La naturaleza es compleja y se manifiesta de muchas formas. Uno de los instrumentos para estudiar dichas formas es la geometría
Otras mujeres matemáticas también fueron importantes en la antigua Grecia; por ejemplo Aspacia de Alejandría (470-410 a. C.), pareja de Pericles.
China espera convertirse en la tercera nación en lograr esta hazaña, que requiere un operativo extremadamente complejo.
Este sistema de producción agrícola forma un hábitat para la biodiversidad acuática de la zona y brinda un paraje paisajístico para residentes y turistas.
Las consecuencias del calentamiento global antropogénico están ocurriendo con una rapidez mayor a la pronosticada por la comunidad científica.
Un molar de al menos 130 mil años de antigüedad encontrado en una cueva de Laos, en el sureste asiático, podría ser clave para arrojar nueva luz sobre los denisovanos, especie poco conocida descubierta en 2010.
Movimiento triqui exige esclarecer más de 500 crímenes en Oaxaca
¿Quién mató al republicanismo español en 1936?
Desaparición forzada en EE. UU. mantiene a mil 300 menores lejos de sus sus padres
¡Al bote! Remiten a franeleros por apartar lugares y cobros excesivos
Extender la guerra es acelerar el fin de la humanidad
Disminuye venta de Nochebuenas, pero aumenta el de las cenas navideñas
Escrito por Dr. Esptiben Rojas Bernilla
Colaborador