Las Matemáticas tienen una Terrible Falla

¿Qué es la indecidibilidad en matemáticas?

• Existe una falla en las matemáticas que implica que hay afirmaciones imposibles de probar.

• La conjetura de los números primos gemelos sugiere que hay infinitos primos gemelos, pero no se ha probado.

• En cualquier sistema matemático, siempre habrá verdades que no se pueden demostrar.

El juego de la vida de Conway

• El juego se juega en una grilla infinita donde cada celda puede estar viva o muerta.

• Existen dos reglas básicas para determinar el estado de las celdas en cada generación.

• El destino de un patrón en el juego es indecidible; no hay algoritmo que garantice respuestas.

La teoría de conjuntos y Cantor

• Gerd Cantor introdujo la teoría de conjuntos, estudiando colecciones bien definidas de objetos.

• Se preguntó si hay más números naturales o reales entre 0 y 1; su respuesta fue sorprendente.

• Cantor demostró que hay más números reales entre 0 y 1 que números naturales usando la prueba diagonal.

La prueba diagonal y sus implicaciones

• La prueba diagonal muestra que un nuevo número real siempre puede ser creado a partir de una lista existente.

• Esto lleva a clasificar los infinitos como contables e incontables, revelando jerarquías dentro del infinito.

Los Fundamentos de la Matemática

Descubrimientos del Siglo XIX

• Lobatchewski y Gauss descubren geometrías no euclidianas, cuestionando los cimientos de las matemáticas.

• Surge un debate entre intuicionistas y formalistas sobre la validez del trabajo de Cantor.

• Intuicionistas creen que los infinitos de Cantor no son reales; formalistas buscan fundamentos lógicos.

La Teoría de Conjuntos

• David Hilbert, líder de los formalistas, propone un sistema lógico para resolver problemas matemáticos.

• Hilbert considera el trabajo de Cantor como brillante y busca establecer pruebas más rigurosas.

• Bertrand Russell identifica una paradoja en la teoría de conjuntos relacionada con autorreferencia.

Paradojas y Resoluciones

• Russell presenta la paradoja del conjunto que se contiene a sí mismo, generando confusión.

• Se utiliza una analogía del barbero para ilustrar la contradicción en la autorreferencia.

• Intuicionistas ven esto como prueba de fallas en la teoría; formalistas restringen el concepto de conjunto.

Desafíos en Matemáticas Modernas

• En los años 60, Hao Wang estudia mosaicos cuadrados y plantea un problema indecidible similar al juego de Conway.

• No se puede determinar si un conjunto arbitrario cubrirá un plano infinito sin huecos.

• Este problema está relacionado con las dificultades derivadas de la autorreferencia.

Sistemas Formales Propuestos por Hilbert

• Hilbert busca desarrollar un nuevo sistema para pruebas basado en axiomas y reglas lógicas.

• Propone expresar afirmaciones matemáticas mediante símbolos en un sistema formal riguroso.

¿Qué es la incompletitud en matemáticas?

• Extensión de "Mathematica": Contiene 2,000 páginas; 762 solo para probar que uno más uno es igual a dos.

• Densidad y exactitud: Los apuntes son densos pero precisos, sin espacio para errores lógicos.

• Tres preguntas clave de Gilbert: Completa, consistente y decidible.

El discurso de Gilbert y su impacto

• Discurso en 1930: Resumió su sueño formalista con la frase "debemos saber".

• Destrucción del sueño: Un joven lógico encontró que un sistema formal completo era imposible.

• Teorema de incompletitud: Publicado por Gödel, captó la atención general.

La lógica detrás del número de Gödel

• Uso de símbolos numéricos: Cada símbolo matemático recibe un número único.

• Representación numérica: Se pueden escribir ecuaciones usando números asignados a símbolos.

• Ejemplo práctico: La ecuación "0 = 0" se representa como un número muy grande.

Axiomas y pruebas en el sistema matemático

• Axiomas con números únicos: Cada axioma también tiene su propio número asociado.

• Prueba simple creada: Demuestra que uno no es igual a cero utilizando axiomas.

• Número extremadamente largo: La prueba genera un número con millones de dígitos.

Implicaciones del teorema de Gödel

• Indemostrabilidad dentro del sistema: Una carta puede afirmar ser indemostrable.

Teorema de Incompletitud

• El teorema de incompletitud de Gödel establece que los sistemas matemáticos con aritmética básica son incompletos.

• La verdad y la demostrabilidad no son equivalentes; siempre habrá afirmaciones verdaderas que no pueden ser probadas.

• Gödel demostró que un sistema consistente no puede probar su propia consistencia, dejando preguntas abiertas sobre la matemática.

La Decidibilidad en Matemáticas

• La tercera pregunta de Gödel es si hay un algoritmo para determinar si una afirmación se deriva de axiomas.

• Alan Turing propuso una solución al inventar la computadora moderna, capaz de realizar cálculos complejos.

• Turing imaginó una máquina que lee y escribe en una cinta infinita, realizando operaciones básicas.

Máquina de Turing y Algoritmos

• La máquina de Turing puede ejecutar cualquier algoritmo computable dado tiempo suficiente.

• Si una máquina se detiene, el programa ha terminado; si no, podría quedar atrapada en un bucle infinito.

• El problema de la detención está relacionado con lo indecidible; resolverlo implicaría responder a muchas preguntas sin respuesta.

Problemas con la Máquina H

• Turing propuso una máquina H que determina si otra máquina se detendrá o no según cierta información.

• Al modificar H para simular su propio comportamiento, surgen contradicciones sobre su capacidad para predecir resultados.

¿Qué es la indecidibilidad en matemáticas y física?

• La conjetura de los primos gemelos podría ser irresoluble; no siempre se puede determinar si una afirmación se desprende de los axiomas.

• En mecánica cuántica, la brecha espectral es crucial; algunos sistemas tienen brechas significativas, mientras que otros carecen de ellas.

• Determinar si un sistema tiene brecha espectral es difícil; en 2015 se demostró que esta cuestión es indecidible.

La completitud de Turing y sus implicaciones

• Los mejores sistemas computacionales son completos según Turing, pero presentan problemas indecidibles como el problema de detención.

• Ejemplos incluyen mosaicos de Wang y sistemas cuánticos complejos; todos los lenguajes de programación son diseñados para ser completos según Turing.

• El juego de la vida puede simularse a sí mismo, demostrando su completitud en términos de Turing.

El legado de Alan Turing

• David Gilbert sufrió inestabilidad mental y murió convencido de ser envenenado; su epitafio refleja la búsqueda del conocimiento.

• Alan Turing utilizó sus ideas durante la Segunda Guerra Mundial para descifrar códigos nazis, contribuyendo significativamente al esfuerzo bélico.

• A pesar de su impacto, fue condenado por conducta indecente debido a su orientación sexual y se suicidó en 1954.

Impacto duradero en la computación

• Las ideas de Turing sobre computabilidad llevaron al desarrollo moderno de las computadoras basadas en sus diseños originales.

• Su concepto de máquina Turing surgió al considerar preguntas sobre la invisibilidad matemática y paradojas autorreferenciales.

• Existe una falla fundamental en matemáticas: siempre habrá afirmaciones verdaderas que no pueden ser probadas.

Reflexiones finales sobre el infinito