Conjetura de Goldbach

Una forma de la conjetura de Golbach afirma que todo entero mayor que 1 se puede escribir como la suma de uno, dos o tres números primos.

Si se define el índice de Goldbach de n > 1 como la mínima cantidad de primos necesarios para que su suma sea n, entonces la conjetura de Goldbach afirma que todos los índices de Goldbach de los enteros mayores que 1 son menores que 4.

Definir las siguientes funciones

tales que

  • (indiceGoldbach n) es el índice de Goldbach de n. Por ejemplo,

  • (graficaGoldbach n) dibuja la gráfica de los índices de Goldbach de los números entre 2 y n. Por ejemplo, (graficaGoldbach 150) dibuja
    Conjetura_de_Goldbach_150

Comprobar con QuickCheck la conjetura de Goldbach anterior.

Soluciones

Otras soluciones

  • Se pueden escribir otras soluciones en los comentarios.
  • El código se debe escribir entre una línea con <pre lang="haskell"> y otra con </pre>

Pensamiento

«La diferencia entre los matemáticos y los físicos es que después de que los físicos prueban un gran resultado piensan que es fantástico, pero después de que los matemáticos prueban un gran resultado piensan que es trivial.»

Lucien Szpiro.

3 Comentarios

  1. Título: Si Este Algoritmo No Es Solución a P vs. NP, ¿Goldbach Es Cierto?
    Introducción
    La Conjetura de Goldbach, una de las cuestiones no resueltas más antiguas en matemáticas, plantea la hipótesis de que cualquier número par mayor que 2 puede expresarse como la suma de dos números primos. Durante siglos, los matemáticos han intentado demostrar o refutar esta conjetura sin éxito. Sin embargo, un algoritmo innovador arroja nueva luz sobre el problema de Goldbach. Aunque el algoritmo no resuelve directamente esta conjetura, plantea preguntas fascinantes y profundas sobre P vs. NP, lo que podría tener implicaciones importantes para la veracidad de la conjetura.
    El Algoritmo en Cuestión
    Este algoritmo en particular pertenece a la clase P, lo que significa que es eficiente en términos de tiempo de ejecución. Sin embargo, busca resolver un problema que pertenece a la clase NP, una clase de problemas en la que las soluciones se pueden verificar de manera eficiente. Esto introduce una paradoja interesante, ya que se está utilizando un algoritmo eficiente en un intento por abordar un problema complejo de verificación.
    Cómo Funciona el Algoritmo
    El algoritmo genera listas booleanas bajo ciertas condiciones. Estas listas están diseñadas de tal manera que, cuando se invierten y se niegan, aún conservan sus valores verdaderos en posiciones específicas. Esto implica que las listas generadas son asimétricas con respecto a su centro y terminan en un número par.
    Algoritmo:
    Dada una lista de longitud n, se generan listas asimétricas que conservan valores verdaderos al invertirlas y negarlas.
    Estas listas se crean con la intención de evaluar si pueden demostrar la falsedad de la Conjetura de Goldbach.
    La Conexión con la Conjetura de Goldbach
    Pero, ¿cómo se relaciona esto con la Conjetura de Goldbach? La respuesta es asombrosa: si este algoritmo no resuelve el problema P vs. NP, entonces, según su creador, la Conjetura de Goldbach es cierta.
    La lógica detrás de esto es intrigante. El algoritmo genera listas que, bajo ciertas condiciones, podrían demostrar la falsedad de la Conjetura de Goldbach. Si este algoritmo pudiera generar tales listas de manera exhaustiva y demostrar que la conjetura no es cierta, entonces sería una solución a P vs. NP.
    Las Implicaciones
    Si este algoritmo fuera una solución a P vs. NP, tendría un impacto trascendental en el campo de la informática y las matemáticas. Resolver P vs. NP implicaría que problemas que se cree que son inherentemente difíciles de resolver (NP) podrían resolverse eficientemente (P). Pero si el algoritmo no logra esta hazaña, lo que significa que P sigue siendo diferente de NP, entonces se reforzaría la credibilidad de la Conjetura de Goldbach.
    La Gran Pregunta
    La ironía aquí es que si este algoritmo no es la solución al problema P vs. NP, entonces la Conjetura de Goldbach se mantendría como una afirmación matemática verdadera. En otras palabras, no encontrar una solución en el mundo de la informática y las complejidades computacionales respaldaría la antigua conjetura sobre los números primos y los números pares.
    Conclusión
    Dada la naturaleza del algoritmo en cuestión y su falta de capacidad para resolver directamente el problema P vs. NP, llegamos a una interesante conclusión: si este algoritmo no es una solución a P vs. NP, entonces la Conjetura de Goldbach es cierta.
    Resumen del Razonamiento
    El algoritmo genera listas asimétricas bajo condiciones específicas. Estas listas se diseñan para desafiar la Conjetura de Goldbach, y si pudieran demostrar su falsedad, serían una solución a P vs. NP. Sin embargo, dado que el algoritmo no logra resolver P vs. NP, la lógica inversa sugiere que, en ausencia de una solución para el problema P vs. NP, la Conjetura de Goldbach es verdadera. Esta conclusión plantea nuevas perspectivas en el mundo de las matemáticas y la informática teórica y cuestiona la relación entre los números primos y la complejidad computacional.
    Anexo:
    Descartes decía si no puedes demostrarlo, demuestra lo opuesto.
    Yo para demostrar la conjetura no paro de plantear lo contrario, evaluó si la conjetura es falsa y me pregunto las implicaciones de que sea falsa, y he descubierto que, si es falsa, por consecuencia el algoritmo propuesto debe ser solución a otro problema, pero no lo es, al no serlo, no puede ser falsa, por lo que parece que es cierta, claro todo depende de que no me haya equivocado.
    tiene menú contextual

Leave a Reply to fercarnavCancel reply