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.
Fenómeno que no se repetirá hasta el año 2040.
En nuestro país, el uso indiscriminado de fertilizantes químicos en la actividad agrícola se ha vuelto muy importante debido al empobrecimiento de los suelos.
Tal como los procesadores de texto cambiaron la forma es la que se escribía, ahora estamos ante una nueva herramienta que, si se usa de manera correcta, revolucionaría la forma en la que escribimos.
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.
En esta temporada de frío y cambios bruscos de temperatura, los humanos somos lábiles a presentar resfriados y afecciones respiratorias. No así animales como el oso polar o el pingüino emperador, que resiste hasta -60°C-
Charles convence a su hija de que acepte los títulos al portador de una empresa “fantasma”, quien está controlada por Mossack y Fonseca
Para la antigua cultura griega, los números naturales podían tener dos realizaciones, una como elemento de medición (lo llamaban magnitud) y otra como elemento de conteo.
“No creo que quienes nunca lo escucharon puedan darse cuenta de lo magnífica que fue la enseñanza de Hermite; desbordante de entusiasmo por la ciencia, que parecía cobrar vida en su voz y cuya belleza nunca dejaba de comunicarnos".
Marx incluyó en su obra El Capital las características de la agricultura capitalista, la cual extraía más nutrientes del suelo de los que le devolvía, dejando a las tierras infértiles.
La tecnología hace posible que las ventas en línea lleguen a más personas, sin importar donde se encuentren; por lo que cada vez más usuarios de la red realizan compras a través de internet.
En este Gobierno, los científicos se han sentido agredidos por el Conacyt, que ha denigrado su trabajo. Aun así advirtieron de los peligros y deficiencias de esta nueva Ley, pero al final no fueron escuchados.
Existe una gran variedad de patrones que "evocan sensaciones dinámicas conscientes de movimiento ilusorio, a pesar de ser estático", explicaron los especialistas en su más reciente estudio.
El chatbot DeepSeek apuesta por el “código abierto”, lo que implica bajos costos y alta eficiencia.
Este gran matemático e inventor, dedicó sus últimos años a la docencia en la Biblioteca de Alejandría, sus obras están escritas al estilo de notas de clase de distintos temas: mecánica, geometría, óptica.
La humanidad debe ser capaz de evitar cualquier desastre que extinga la vida en la Tierra.
Generación de imágenes por medio de IA gastó más de 216 millones litros de agua
Anuncian banquete cultural en la XXI edición de Espartaqueada
Respaldan iniciativa sobre ciberseguridad
Crear imágenes por medio de IA pone en riesgo la privacidad del usuario
En la mira de Washington 29 narcotraficantes mexicanos
Recorte de subsidios golpea al sector agrícola, educativo y social
Escrito por Dr. Esptiben Rojas Bernilla
Colaborador