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.
Gran parte del problema ecológico está resuelto hoy día. ¿Qué falta? La ciencia tiene la razón, pero ahora reina la irracionalidad. ¿Quién debe parar esta locura? Los que la sufren. La gran mayoría no tiene consciencia de esto.
“Estamos ante la presencia del gobierno que intenta ver como accidentes, lo que más bien han sido tragedias provocadas por la ausencia de mantenimiento”, denunció Andrés Atayde, presidente del PAN.
El THC (presente en la marihuana y actúa sobre el sistema nervioso central) estimula la sobreproducción de dopamina, una hormona responsable del placer que se produce naturalmente ante acciones como comer o tener sexo.
Se trata de "una zona que está cubierta con nieve 10 meses al año, de difícil acceso por la altura y geografía que ostenta una tupida vegetación y bosque valdiviano".
Actualmente, diferentes grupos de científicos alrededor del mundo trabajan en la búsqueda y el desarrollo de tratamientos para combatir el Covid-19; el reto es que éstos sean eficaces contra las variantes actuales y futuras.
Mientras el trabajo matemático tiene reglas, axiomas, y su libertad está en función de estar gobernado por sistemas formales; en el trabajo filosófico...
El esfuerzo debe concentrarse en una capacitación intensa a los profesores, para que ellos a su vez repliquen esta enseñanza en sus alumnos, de modo que en el futuro muchos estudiantes pertenecientes a la clase pobre dispongan de las herramientas adecua
El aspecto físico no es suficiente para convencer a las parejas y, como sucede con los pájaros, entonces se recurre al talento artístico mediante serenatas y bailes elaborados.
La ciencia no es buena ni mala en sí misma, es una herramienta que puede utilizarse de distintas maneras y con distintos propósitos; puede resolver problemas, pero también puede crearlos.
Científicos explican que el debilitamiento del campo magnético afecta principalmente la zona espacial sobre Brasil.
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.
México cerró su participación en el sexto lugar general de 55 naciones participantes.
La bacteria P. luminiscens actuó sobre las heridas de los soldados como un como un antibiótico muy eficaz, lo que explica por qué las heridas fluorescentes sanaban más rápido que las heridas sin la bacteria fluorescente. Seguramente, esta bacteria salvó la vida de varios soldados, ¿cómo pasó?
El resto de glaciares mexicanos desaparecerán en las próximas décadas si no se toma acciones para frenarlo, aseguraron los especialistas.
A pesar de todas las riquezas que posee África (y que aquí menciono), la gran mayoría de la población vive una situación muy deplorable, lo que representa una gran contradicción.
Crece empleo informal sin solución a la vista
Clasifica como fauna nociva a especies en peligro de extinción que rondan el Tren Maya
Cómo pretenden segregar a los jóvenes de su realidad social
Locatarios de Izazaga 89 llegan a acuerdo con autoridades para retirar sus mercancías
SAT incrementará impuestos y multas en 2025
Escrito por Dr. Esptiben Rojas Bernilla
Colaborador