Epsilones
Bestiario
Siguenos en Blogger

 ◄
► 
Siguiente
         
   

Conjetura de Goldbach

La conjetura de Goldbach dice que todo número natural par mayor que tres es suma de dos primos.

Nadie ha demostrado hasta el momento si este enunciado es cierto o falso.

Podría tratarse de un ejemplo de cierto tipo de fórmula indecible. Una fórmula G se dice indecidible si ni G ni ~G (no G) son formalmente deducibles de los axiomas.

Un subconjunto de estas fórmulas sería el formado por aquellas que dicen algo acerca de una cantidad numerable de números naturales. Resulta que si son indecibles necesariamente tienen que ser verdad, porque si no lo fuesen existiría un natural que no las cumpliese y, entonces, serían decidibles, pues bastaría encontrar dicho número, lo cual exigiría, en cualquier caso, una cantidad finita de tiempo.

 

 
         
  Portada de la novela El tío Petros y la conjetura de Goldbach, de Apostolos Doxiadis.

 
 
Comentarios
Epsilones. Página + o - matemática de Alberto. Correo: alberto@epsilones.com. En la red desde el 4-7-2002 (ya hace). Última actualización: ver Novedades.
Siguenos en Blogger
 

 

Con esto se termina la página:

El contenido de esta página requiere una versión más reciente de Adobe Flash Player.

Obtener Adobe Flash Player