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.
Uno de los grandes matemáticos con espíritu de poeta fue el inglés James Joseph Sylvester, quien fue dotado de una extraordinaria intuición matemática y de una gran sensibilidad poética, ya que logró conectar las ideas matemáticas con la poesía.
¿Por qué algunas personas pueden comprender más fácil el formalismo matemático? ¿Por qué les fluyen ideas matemáticas con mayor facilidad que a otras? Esta increíble mente perteneció a uno de los más enigmáticos en la Historia de la Matemática.
La potencia del telescopio Hubble logró captar imágenes de la galaxia conocida como UGC 8091 que, según la NASA y la ESA, es parecida a una “bola de nieve” cósmica.
Su domesticación ha traído casi cien variedades de esta especie, dentro de las que se pueden encontrar plantas con las típicas hojas color verde y escarlata.
La Secretaría de Salud ya “estudia a los contactos del caso y se atiende al paciente. El diagnóstico aún no es definitivo".
La educación universitaria es un paso indispensable para el desarrollo científico y tecnológico.
El FHI recomienda no obstante guardar la vacuna de J&J por si fuera necesario usarla en una situación en la que el contagio aumente de forma dramática en Noruega.
Las bacterias son capaces de introducir a su repertorio genético otros genes que se encuentren flotando en el entorno.
Evariste Galois fue uno de los grandes genios de la humanidad y el matemático más joven de la historia matemática.
Los mapas son representaciones gráficas de la superficie terrestre.
Roscosmos y la Administración Nacional China del Espacio (CNSA) firmaron en su momento un programa conjunto de cooperación en el espacio para el lustro 2018-2022.
Debido a la decisión del gobierno de la “Cuarta Transformación” (4T), de recortar presupuesto al sector de la ciencia, el Gran Telescopio Milimétrico (GTM) corre peligro de dejar de funcionar a partir del primero de septiembre.
El científico Alejandro Macías alertó que en cuanto entre a México la variante JN.1, denominada Pirola, lo hará con tal fuerza que podrá haber saturación de hospitales y de camas de terapia intensiva.
La comunicación no es la única ni es exclusiva de los seres humanos. Acá te contamos por qué.
Svante Pääbo logró secuenciar el ADN de los neandertales, la especie de homínido más emparentada con los seres humanos actuales, y que se extinguió hace 30 mil años.
Viable el mundo multipolar; México debe tomar partido
Aumentan reportes de presuntos "pinchazos" en el Metro de la CDMX: Fiscalía investiga
OPS advierte por brote de sarampión en México
La Espartaqueada cultural 2025 el arte y la cultura herramientas de combate y lucha
Reabren nuevo tramo de la Línea 1 de Metro de la CDMX
Los favoritos para suceder al papa Francisco y sus disputas internas
Escrito por Dr. Esptiben Rojas Bernilla
Colaborador