Problemas del milenio

Problemas del milenio

Los Problemas del milenio son siete problemas matemticos cuya resolucin sera premiada, segn anunci el Clay
Mathematics Institute en el ao 2000, con la suma de un milln de dlares cada uno. Al da de hoy nicamente uno
de estos problemas ha sido resuelto (la conjetura de Poincar, por el ruso Grigori Perelmn), por lo cual an seis de
ellos permanecen abiertos.

P versus NP
Consiste en decidir si la inclusin entre las clases de complejidad P y NP es estricta.
Las matemticas actuales no poseen la suficiente capacidad para poder distinguir problemas de tipo P y NP, para los
cuales es necesario desarrollar algoritmos bastante complejos. El problema en s reside en que existen problemas que
no pueden resolverse en tiempo polinomial en una mquina determinista, es decir, no son abarcables. La aritmtica
actual tiene lmites a la hora de realizar algunos clculos que ni los ordenadores ms potentes pueden realizar en un
tiempo "razonable", es decir, del orden de las

operaciones. Sin embargo el carcter exponencial de algunos

problemas hacen que actualmente su tratamiento sea inviable.
Se piensa que estos problemas podan estar relacionados con el teorema de incompletitud de Gdel. Segn parece,
ciertos enunciados matemticos entre los que se incluyen los que se refieren a cotas inferiores de tiempo de cifrado
no se pueden demostrar dentro del marco de la Aritmtica de Peano, que es la forma estndar de la Aritmtica.
Un ejemplo sera: Si queremos asignar 70 personas a 70 trabajos diferentes de forma que todas las personas tengan
un trabajo y ninguna plaza quede vacante no sera difcil, para quien posea una mnima base matemtica, establecer
que la solucin sera 70!. Sin embargo la resolucin de este nmero sera equivalente a un nmero del orden de 10
elevado a la centsima potencia, lo que ni en la edad del universo podra resolverse computacionalmente este
problema.
Hoy en da el estudio de este problema se plantea como la resolucin o bsqueda de los lmites en la computacin.

La Conjetura de Hodge
La conjetura de Hodge dice que para variedades algebraicas proyectivas, los ciclos de Hodge son una combinacin
lineal racional de ciclos algebraicos.

La hiptesis de Riemann
La hiptesis de Riemann dice que todos los ceros no triviales de la funcin zeta de Riemann tienen una parte real de
1/2.

Existencia de Yang-Mills y del salto de masa

En Fsica, la teora cuntica de Yang-Mills describe partculas con masa positiva que poseen ondas clsicas que
viajan a la velocidad de la luz. Este es el salto de masa. El problema es establecer la existencia de la teora de
Yang-Mills y un salto de masa.

Las ecuaciones de Navier-Stokes

Las ecuaciones de Navier-Stokes describen el movimiento de los lquidos y gases. Si bien stas fueron formuladas en
el siglo XIX, todava no se conocen todas sus implicaciones, principalmente debido a la no linealidad de las
ecuaciones y los mltiples trminos acoplados. El problema consiste en progresar hacia una teora matemtica mejor
sobre la dinmica de fluidos. El enunciado del problema es demostrar si a partir de unas condiciones iniciales de
fluido laminar la solucin del flujo para todos los instantes de tiempo es tambin un flujo laminar.

Problemas del milenio

La conjetura de Birch y Swinnerton-Dyer

La conjetura de Birch y Swinnerton-Dyer trata sobre un cierto tipo de ecuacin que define curvas elpticas sobre los
racionales. La conjetura dice que existe una forma sencilla de saber si esas ecuaciones tienen un nmero finito o
infinito de soluciones racionales.

Enlaces externos
The Millennium Grand Challenge in Mathematics [1]
The Millennium Prize Problems [2]

Referencias
[1] http:/ / www. ams. org/ notices/ 200606/ fea-jaffe. pdf
[2] http:/ / www. claymath. org/ prizeproblems

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Problemas del milenio Fuente: http://es.wikipedia.org/w/index.php?oldid=38214395 Contribuyentes: Amire80, Matdrodes, Netito777, Varano, 17 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/