Cargando, por favor espere...

La matemática no lo demuestra todo
Desde el inicio de la cuarta revolución matemática, en las primeras décadas del Siglo XX, el formalismo hilbertiano ha caracterizado el trabajo matemático hasta el día de hoy. Este paradigma histórico del formalismo se caracteriza por...
Cargando...

Desde el inicio de la cuarta revolución matemática, en las primeras décadas del Siglo XX, el formalismo hilbertiano ha caracterizado el trabajo matemático hasta el día de hoy. Este paradigma histórico del formalismo se caracteriza por:

La matemática es un conjunto de sistemas de axiomas, proposiciones, teoremas, dentro de un lenguaje lógico.

Los axiomas del sistema deben de estar libres de contradicciones.

Toda afirmación dentro de la teoría debe ser demostrada en un número finito de pasos.

El Programa de Hilbert establecía que los conjuntos serían los objetos básicos para iniciar una reconstrucción de toda la matemática, sujeto a un sistema axiomático inicial. Llegó a afirmar: “Nadie nos podrá expulsar del paraíso que para nosotros ha creado Cantor”.

Dentro de varios sistemas axiomáticos que se inventaron, el Sistema de Zermelo–Fraenkel, inventado por Ernst Zermelo (1871-1953) y Abraham Fraenkel (1891-1965), fue el más popular dentro de los matemáticos y el que los Bourbaki adoptaron para reconstruir la matemática de su época. 

Según el Programa de Hilbert, este sistema estaba libre de contradicciones y, además, se debería probar la verdad o falsedad de cualquier enunciado matemático dentro del sistema en un número finito de pasos. Este optimismo de David Hilbert, fue tan grande que llegó a decir: Debemos saber, sabremos, es decir, estaba convencido de que todo lo conjeturado en los sistemas axiomáticos es decidible, lo que significa que podemos afirmar su verdad o falsedad. Sin embargo, fue rápidamente cuestionado en 1931 por un joven matemático austriaco llamado Kurt Gödel (1906-1978), quien en su tesis doctoral logró demostrar dos teoremas de incompletitud de la matemática. Estos teoremas establecen que en todo sistema axiomático (que por lo menos describa la aritmética de los números naturales) que esté libre de contradicciones existen enunciados cuya verdad o falsedad no será posible demostrar. Es decir, la matemática no lo demuestra todo, como ingenuamente se cree. Es probable que para poder demostrar que un enunciado sea verdadero o falso se tenga que incrementar el sistema axiomático inicial, pero en este nuevo sistema también existe la posibilidad de conjeturar nuevos enunciados cuya verdad o falsedad no sea posible demostrar. En concreto, Kurt Gödel, demostró que:

1.- Si el sistema axiomático no tiene contradicciones, entonces no es completo.

2.- La consistencia del sistema axiomático no puede demostrarse en el interior del sistema.

Este resultado, considerado el más importante del Siglo XX, echó abajo el optimismo de Hilbert, pero ha pasado desapercibido en el trabajo matemático hasta nuestros días debido al Programa Bourbakiano, que se caracterizó por ser extremadamente formalista y que masificó el conocimiento matemático a través de una serie de libros titulados Elementos de la Matemática, en donde inició un estudio riguroso desde los sistemas lógicos, el sistema axiomático de Zermelo- Fraenkel, la teoría de conjuntos, la topología, el álgebra abstracta y demás temas de la matemática contemporánea. Estos libros han sido la base fundamental en la elaboración de los libros-textos de los años 60-70, con los que se han formado los actuales matemáticos.

Existen conjeturas que han probado su independencia de los sistemas axiomáticos, por ejemplo, la Hipótesis del Continuo, formulada por George Cantor (1845-1918) en 1878, que dice: “No existe un conjunto que sea más grande que el conjunto de los números naturales, y a la vez más pequeño que el conjunto de números reales”. El mismo Kurt Gödel, demostró que no es posible demostrar su refutación dentro del sistema axiomático de la teoría de conjuntos. De otro lado, Paul Cohen (1934-2007) demostró que tampoco se puede demostrar su afirmación dentro del sistema formal.

Desde el punto de vista filosófico, se plantea algunas preguntas como: ¿en qué se basa el conocimiento matemático actual?; si existen enunciados matemáticos indecidibles, ¿dónde está el fundamento de aquellas proposiciones que se tienen como verdaderas? Se pone en debate la noción de verdad matemática en las demostraciones. La reflexión filosófica-matemática es muy relevante en este tema, constituyendo un elemento central para el futuro de la misma matemática. De lo único que estamos seguros es de que la matemática no lo demuestra todo; es muy probable que éste sea el inicio para superar el formalismo hilbertiano y transitar hacia una quinta revolución matemática.


Escrito por Dr. Esptiben Rojas Bernilla

Colaborador


Noticia anterior
Lenin ante H.G. Wells

Notas relacionadas

La participación de las mujeres en el desarrollo de las matemáticas ha sido escasa, comparada con la de los hombres

Alrededor de 20 especies de ciempiés podrían ser clave en el desarrollo de nuevos tratamientos médicos.

Hay registro de que del norte del país se hacían envíos periódicos de hatos a Puebla, CDMX y la zona de los volcanes. Sin embargo, la ganadería no prosperó debido a que la actividad principal en el centro del país era agrícola.

El sustento del conocimiento matemático se desarrolló en la antigua Grecia; uno de los filósofos que contribuyó a su desarrollo fue Aristóteles, quien planteó las leyes básicas del pensamiento humano a fin de obtener deducciones válidas.

La pandemia del Covid-19 es la primera advertencia de un cambio ecológico global al que nos acercamos peligrosamente.

A la naturaleza no le importa si los machos son atraídos hacia los machos o las hembras hacia las hembras. Es mas bien la ideología humana la que castiga estos comportamientos, argumentando que solo prohíbe lo que es “antinatural”.

La imagen viral que vimos en redes sociales captada por el el telescopio espacial “James Webb” nos muestra cómo se veía una porción del universo hace cuatro mil 600 millones de años.

La cerveza se utilizaba como ofrenda a los dioses en casi todas las culturas de Europa, el Medio Oriente y Asia. En los países nórdicos (Dinamarca, Finlandia, Islandia, Noruega y Suecia) se ofrecía cerveza a Odín.

En recientes días hemos escuchado sobre la “nueva amenaza” que acecha las zonas costeras del Golfo de México, la superbacteria “carnívora” Vibro vilmificus; la mayoría de sus víctimas mortales fueron pacientes con problemas hepáticos.

¿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.

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.

El hallazgo sucedió en mayo de 2022 por el paleontólogo Damien Boschetto, quien observó en el borde de un acantilado derrumbado un hueso expuesto.

Descartes, fundamentalmente era un filósofo racionalista, llegó a escribir otras obras importantes, en 1641 escribió Meditaciones de Filosofía.

Las matemáticas, por muy abstractas que sean, tienen una base real.

Este filme aborda la vida de la científica marina Sophia (Berenice Bejo), quien se dedica a estudiar el comportamiento de la especie más depredadora de los océanos: el tiburón blanco.

Edición impresa

Editorial

Una “democrática” reforma judicial


La reforma judicial beneficiará en 2025 al partido en el poder, a Morena, al Poder Ejecutivo encabezado por Claudia Sheinbaum.

Síguenos en Facebook


Poesía

Sociedad anónima

Sociedad anónima 1142