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.
El Siglo XXI es de la comunicación matemática, espero que en el futuro se sumen una mayor cantidad de divulgadores y difusores del conocimiento matemático, así la contribución para nuestra sociedad será enorme, entre sus muchos beneficios, porque mejorará la educación ciudadana.
Explicaron que la levitación magnética sucede cuando un objeto es suspendido en el aire.
Pocas son las mujeres que han obtenido frutos tan importantes en las matemáticas a la par de muchos hombres. Es el caso de Ada Lovelace, a ella se reconoce como la pionera de la programación de la máquina analítica.
¿Realmente son nocivas para el ecosistema? Un ambientalista dirá: “sí, porque desplazan especies nativas”. Sin embargo, ciertas necesidades se satisfacen mejor con especies exóticas que con nativas, por lo que es necesario asumir riesgos.
Blade Runner no es una cinta más de ciencia ficción: es un filme que mueve a la reflexión.
Aunque amado por unos y odiado por otros, el huitlacoche tiene un papel relevante en la economía, gastronomía y en la ciencia.
La influencia que han ejercido las ideas de Platón (Atenas, 429-347 a. C.) en la mente de los matemáticos perdura hasta nuestros días. Matemáticos contemporáneos como G. H. Hardy y Kurt Gödel son declarados platonistas.
Dos especies vegetales que no corren con la misma suerte cuando llegan las festividades navideñas.
En la Edad Media se sospechaba que la peste negra era originada por algún agente que entraba en un cuerpo y se trasmitía a otras personas.
Charles convence a su hija de que acepte los títulos al portador de una empresa “fantasma”, quien está controlada por Mossack y Fonseca
El empresario advirtió la existencia de un gran peligro de que las redes sociales se dividan entre extrema derecha y extrema izquierda, lo que generaría "más odio y división en nuestra sociedad".
El Eclipse total de Sol tendrá una duración de 4 minutos y 28 segundos
Ahora se sabe que la homosexualidad está presente en todo el mundo natural, desde los seres vivos más sencillos hasta los más complejos. Protozoarios, algas, plantas, animales invertebrados y vertebrados poseen comportamientos homosexuales.
Aunque la predicción del reconocido científico menciona específicamente a los Estados Unidos, los temas que reflexiona tienen alcance global.
Los métodos proporcionados por Eudoxo y Arquímedes, hace más de dos mil años, son usados hoy para calcular áreas con cualquier tipo de curvas y volúmenes.
Cultura narco: reflejo estructural de un fenómeno sistémico
Fallece Teresa González Murillo, integrante del Colectivo Luz de Esperanza Jalisco
Llevará a México hasta 30 años atender rezago en infraestructura escolar
Cambia el rumbo de la educación en México
México exporta más bajo reglas de la OMC que del T-MEC: Banco Base
Suspenden solicitudes de acceso a la información
Escrito por Dr. Esptiben Rojas Bernilla
Colaborador