Trabajo de historia de la matemtica LA MATEMTICA EN EL SIGLO XXI Stephen Hawking: La ciencia no es tan buena como hacer el amor-dijo, con

su voz computarizada-, pero dura ms. La audiencia rugi. En los aos sesenta, con sir Roger Penrose, Hawking utiliz la matemtica para explicar las propiedades de los agujeros negros. En 1973, aplic la teora de la relatividad general a los principios de la mecnica cuntica. Y mostr que los agujeros negros no eran completamente negros, sino que podran dejar escapar radiacin y eventualmente explotar y desaparecer, un hallazgo que todava reverbera entre los fsicos y los cosmlogos. En 1988, Hawking trat de explicar lo que saba acerca de las fronteras del universo al pblico no entrenado en Una breve historia del tiempo: del Big Bang a los agujeros negros. El libro vendi ms de 10 millones de copias y permaneci en las listas de best sellers durante ms de dos aos. Hoy, a los 69, es uno de los ms longevos sobrevivientes de ELA y probablemente uno de los ms inspiradores. Problemas del milenio: En el ao 2000, el Clay Mathematics Institute anuncia los Problemas del milenio, una lista lista de problemas matemticos abiertos y cuya resolucin supondra un importante logro y un avance considerable en el campo de las matemticas.

P versus NP
Artculo principal: 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 podran 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 determinar todas las formas posibles de 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 la solucin: 70! (setenta factorial) Sin embargo la resolucin de este nmero sera equivalente a un nmero del orden de 10 elevado a la centsima potencia, lo que significa 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
Artculo principal: 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
Artculo principal: 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

Artculo principal: 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.

La conjetura de Birch y Swinnerton-Dyer

Artculo principal: 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. Grigori Perelmn: En matemticas, y ms precisamente en topologa, la Conjetura de Poincar (tambin llamada hiptesis de Poincar) es un resultado sobre la esfera tridimensional (la 3-esfera); la hiptesis dej de ser una conjetura para convertirse en un teorema tras su comprobacin en 2003 por el matemtico ruso Grigori Perelman. El teorema sostiene que la esfera tridimensional, tambin llamada 3-esfera o hiperesfera, es la nica variedad compacta tridimensional en la que todo lazo o crculo cerrado (1-esfera) se puede deformar (transformar) en un punto. Este ltimo enunciado es equivalente a decir que slo hay una variedad cerrada y simplemente conexa de dimensin 3: la esfera tridimensional.1 resuelve la Hiptesis de Poincar (establecida por H. Poincar en 1904). Recibe por esto la Medalla Fields, distincin que rechaza. Es el nico de los Problemas del milenio en haber sido resuelto.