Matemticas en el siglo XX El siglo XX vi como las matemticas se conconvierten en una profesin importante.

Cada ao, se concedan miles de nuevos doctorados en matemticas, y haba puestos de trabajo disponibles en la enseanza y la industria. En siglos anteriores, hubo pocos matemticos creativos en el mundo. En su mayor parte, fueron matemticos de familias adineradas, como Napier, o apoyados por ricos mecenas, como Gauss. Unos pocos, como Fourier, con escasos medios de subsistencia se ganaban la vida con la enseanza en las universidades. Niels Henrik Abel, incapaz de obtener una posicin, muri en la pobreza, de desnutricin y tuberculosis a la edad de veintisis. Durante el siglo XX, el grueso de las matemticas conocida creci a un ritmo exponencial, de modo que en esta seccin se mencionaran slo algunos de los descubrimientos ms importantes. En 1900 en un discurso ante el Congreso Internacional de Matemticos, David Hilbert estableci una lista de 23 problemas sin resolver en matemticas. Estos problemas, que abarcan muchas reas de las matemticas, fueron el centro de atencin de muchos matemticos durante gran parte del siglo XX. Hoy en da, 10 de ellos se han resuelto, 7 estn parcialmente resueltos, y 2 an estn abiertos. Los 4 restantes estan demasiado vagamente formulados para ser considerados como resueltos o no. Famosas conjeturas histricas fueron finalmente demostradas. En 1976, Wolfgang Haken y Kenneth Appel usaron una computadora para demostrar el teorema de los cuatro colores. Andrew Wiles, basndose en la base de la labor de otros, demostr el ltimo Teorema de Fermat en 1995. Paul Cohen y Kurt Gdel demostraron que la hiptesis del continuo es independiente de (no puede ser probado ni refutado de) de los axiomas de la teora de conjuntos. Tuvieron lugar colaboraciones de un tamao y mbito sin precedenteso. Un ejemplo famoso fue la clasificacin de los grupos finitos simples(tambin llamado el "enorme teorema"), cuya prueba entre 1955 y 1983 requiri de 500 artculos de revistas de unos 100 autores, y su rellenar decenas de miles de pginas. Un grupo de matemticos franceses, entre ellos Jean Dieudonn y Andr Weil, publicando bajo el seudonimo de "Nicolas Bourbaki", trataron de exponer todas las matemticas conocidas como un todo coherente y riguroso. El resultado, varias decenas de volmenes que han tenido una controvertida influencia en la educacin de las matemticas. Nuevas reas de la matemtica como la lgica matemtica, la topologa, la teora de la complejidad y la teora de juegos y cambiaron el tipo de preguntas que podran ser respondidas por los mtodos matemticos. Asimismo, se hicieron grandes descubrimientos acerca de las limitaciones de las matemticas. En 1929 y 1930, se descubri la verdad o falsedad de todos los enunciados formulados acerca de los nmeros naturales ms uno de adicin y multiplicacin, era decidible, es decir, poda ser determinado mediante un algoritmo. En 1931, Kurt Gdel encontr que este no era el caso de los nmeros naturales, tanto ms de la suma y la multiplicacin; este sistema, conocido como la aritmtica de Peano, era en realidad incompleto. (La aritmtica de Peano es adecuada para una buena parte de la teora de los nmeros, incluida la nocin de nmero primo.) Una consecuencia de los dos teoremas de incompletitud de Gdel es que en cualquier sistema que incluya la aritmtica de Peano (incluidos todos los del anlisis y la geometra), existen enunciados ciertos que no se pueden demostrar dentro del sistema. De ah que las matemticas no puedan reducirse a la lgica matemtica, y que muriese el sueo de David Hilbert de hacer todas las matemticas completas y coherentes. Una de las figuras ms coloristas de las matemticas del siglo XX fue Aiyangar Srinivasa Ramanujan (1887-1920) que, a pesar de ser en gran medida auto-didacta, hizo conjeturas o demostr ms de 3000 teoremas, incluyendo propiedades de los nmeros altamente compuestos, la funcin particin y su comportamiento asinttico, y las "funcines mock theta". Tambin hizo importantes descubrimientos en los campos de las funciones gamma, las formas modulares, las series divergentes, las series hipergeometricas y la teora de los nmeros primos.

Kurt Gdel ([kutgdl]) (28 de abril de 1906 Brno (Brnn), Imperio austrohngaro (ahora Repblica Checa) 14 de 1 enero de 1978 Princeton, New Jersey) fue un lgico, matemtico y filsofo austriaco-estadounidense. Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX. Gdel, al igual que otros pensadores como Bertrand Russell, A. N. Whitehead y David Hilbert intent emplear la lgica y la teora de conjuntos para comprender los fundamentos de la matemtica. A Gdel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 aos de edad, un ao despus de finalizar su doctorado en laUniversidad de Viena. El ms clebre de sus teoremas de la incompletitud establece que para todo sistema axiomtico recursivo autoconsistente lo suficientemente poderoso como para describir la aritmtica de los nmeros naturales (la aritmtica de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarroll una tcnica denominada ahora como numeracin de Gdel, el cual codifica expresiones formales como nmeros naturales. Tambin demostr que la hiptesis del continuo no puede refutarse desde los axiomas aceptados de la teora de conjuntos, si dichos axiomas son consistentes. Realiz importantes contribuciones a la teora de la demostracin al esclarecer las conexiones entre la lgica clsica, la lgica intuicionista y la lgica modal.

Sir Andrew John Wiles KBE FRS (n. Cambridge, Inglaterra, 11 de abril de 1953) es un matemtico britnico. Alcanz fama mundial en1993 por la demostracin del ltimo teorema de Fermat. Wiles pudo demostrar el ltimo teorema de Fermat a partir de la conexin, esbozada por Frey, y demostrada por Ken Ribet en 1985, de que una demostracin de la llamada Conjetura de Taniyama-Shimura conducira directamente a una demostracin del ltimo teorema de Fermat. En resumen, la conjetura de Taniyama-Shimura establece que cada curva elptica puede asociarse unvocamente con un objeto matemtico denominado forma modular. Si el ltimo teorema de Fermat fuese falso, entonces existira una curva elptica tal que no puede asociarse con ninguna forma modular, y por lo tanto la conjetura de Taniyama-Shimura sera falsa. Por lo tanto, Taniyama-Shimura demuestra el ltimo teorema de Fermat. La demostracin de la conjetura de Taniyama-Shimura supona ya de por s un reto de suma importancia, ya que constitua uno de los puntos del llamado Programa Langlands, cuyo objetivo consiste en unificar reas de las matemticas que aparentemente no tienen relacin entre s. Wiles pas los 8 aos siguientes a la demostracin de Ribet en completo aislamiento trabajando en el problema, lo cual es un modo de trabajo inusual en matemticas, donde es habitual que matemticos de todo el mundo compartan sus ideas a menudo. Para no levantar sospechas, Wiles fue publicando artculos peridicamente, como hara cualquier matemtico de cualquier universidad del mundo. En 1993, Wiles crey que su demostracin estaba cerrada: Uno entra en la primera habitacin de una mansin y est en la oscuridad. En una oscuridad completa. Vas tropezando y golpeando los muebles, pero poco a poco aprendes dnde est cada elemento del mobiliario. Al fin, tras seis meses ms o menos, encuentras el interruptor de la luz y de repente todo est iluminado. Puedes ver exactamente dnde ests. Entonces vas a la siguiente habitacin y te pasas otros seis meses en las tinieblas. As, cada uno de estos progresos, aunque a veces son muy rpidos y se realizan en un solo da o dos, son la culminacin de meses precedentes de tropezones en la oscuridad, sin los que el avance sera imposible. ltimo teorema de Fermat establece que no existe solucin con nmeros enteros no nulos n n n para la ecuacin: x + y = z si n es un entero ms grande que dos. ____________________________________ Asociacin entre Fermat y Taniyama Si p es un primo impar y a, b y c son enteros positivos tales que a +b =c entonces la p p ecuacin correspondiente y = x(x - a )(x + b ) define una curva elptica hipottica, llamada la curva de Frey, que debe existir si hay un contraejemplo al ltimo teorema de Fermat. Siguiendo el trabajo de Yves Hellegouarch, quien fue el primero en considerar esta curva, Freyseal que si tal curva existiese tendra propiedades peculiares, y sugiri en particular que aquella curva no sera unacurva modular. Aprovech una serie de conferencias en el Instituto Isaac Newton, de la Universidad de Cambridge, para realizar su anuncio. El ttulo de sus conferencias fue deliberadamente poco especfico. Al cabo del primero de los tres das que dur las conferencias, se comenz a expandir el rumor de que Wiles iba a demostrar el ltimo teorema de Fermat, lo cual provoc que su ltima conferencia estuviera abarrotada de gente. Al final de esta conferencia, Wiles pronunci: "[...] y esto demuestra el ltimo teorema de Fermat. Creo que lo dejar aqu". Lo siguiente fue una estruendosa ovacin. Sin embargo, Wiles no quiso exponer su artculo al escrutinio detallado de toda la comunidad matemtica hasta que hubiera sido revisado por un pequeo grupo de matemticos, a cada uno de los cuales fue encargado revisar una parte del manuscrito original de ms de 100 pginas. Dicho escrutinio revel un error fatal, que Wiles no pudo solucionar de inmediato. Tras dos aos de trabajo intenso y la ayuda de su ex doctorando Richard Taylor, Wiles public en Annals of mathematics el artculo definitivo (Wiles, Andrew. Modular elliptic curves and Fermat's last theorem. Ann. of Math. (2) 141 (1995), no. 3, 443--551.), junto con otro artculo escrito en colaboracin con Taylor en el cual detallaba las tcnicas que permiten resolver el fallo de la primera demostracin. Dado que Wiles utiliz ms de 100 pginas y modernas tcnicas matemticas, es en la prctica imposible que esta demostracin sea la misma que insinu Fermat. (Fermat posea un ejemplar de la Arithmetica de Diofanto en cuyos mrgenes anotaba las reflexiones que le iban surgiendo. En uno de estos mrgenes enunci el teorema y escribi Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet, cuya traduccin es Poseo una demostracin en verdad maravillosa para este hecho, pero este margen es demasiado estrecho para
p p p

contenerla). Fermat lleg a demostrar el caso mediante el mtodo de descenso infinito; es probable que se haya engaado al creer que tena una prueba para el caso general. Puede ser incluso que se haya percatado de su error ulteriormente: sus notas marginales eran de uso personal, y por lo tanto Fermat no hubiera tenido que desdecirse con sus correspondientes.

Martin Davis, (nacido en 1928 en Nueva York) es un matemtico estadounidense conocido por su trabajo relacionado con el dcimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emrito de laUniversidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL. Tambin es coautor, junto con Ron Sigal yElaine J. Weyuker de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teora de la computabilidad. Tambin ha escrito el libro La computadora universal, el cual trata la historia de los lgicos,desde Leibniz hasta Turing, cuyo trabajo ha hecho posible la creacin de las computadoras. As mismo es conocido por disear las mquinas Post-Turing.

Andr Weil (Pars, 6 de mayo de 1906 - Princeton, 6 de agosto de 1998) fue un matemtico francs. Es conocido por sus notables contribuciones a la teora de los nmeros y la geometra algebraica. Fue uno de los miembros fundadores del influyente grupo Nicols Bourbaki. Era hermano de la filsofa Simone Weil. Biografa Nacido en Pars de padres alsacianos de origen judo que huyeron de la toma de Alsacia-Lorena por Alemania, estudia en Pars, en laEscuela Normal Superior. Luego estudia en Roma y en Gotinga donde recibe su doctorado en 1928. Permanece dos aos en laUniversidad de Aligarh. Y despus de un ao en Marsella ensea durante seis aos en Estrasburgo donde se casa en 1937. Al comenzar la Segunda Guerra Mundial se dirigi a Finlandia para evadir la leva. Fue prontamente apresado por las autoridades finlandesas, quienes lo creyeron sospechoso de espiar para la Unin Sovitica (URSS). Segn cuenta en sus memorias escap a la ejecucin gracias a la intervencin de Rolf Nevanlinna. Weil regres a Francia y se present al tribunal militar; juzgado el 3 de mayo de1940, fue condenado a cinco aos. Despus de la capitulacin francesa se uni a su familia en Marsella. En enero de 1941 dejan Francia ocupada por los nazis y parten hacia Nueva York. Weil trabaj en la Universidad de San Pablo, Brasil, de 1945 a 1947, con Oscar Zariski. Ense en la Universidad de Chicago de 1947 a 1958. Pas el resto de su carrera en el Institute for Advanced Study, en Princeton, Nueva Jersey. Trabajos Hizo aportes notables a numerosas reas; en especial a geometra algebraica y a teora de los nmeros. Su tesis de doctorado condujo al teorema de Mordell-Weil; en ella dio una formulacin moderna al argumento del descenso infinito y, para hacerlo, defini una medida del tamao de los puntos racionales de una variedad algebraica. En los aos siguientes comenz a estudiar lo que ms tarde se llamara cohomologia de Galois; y con base en los trabajos de Claude Chevalley dio una prueba del teorema de Riemann-Roch. Entre sus ms grandes trabajos figura la prueba dada en 1940, en prisin, de la hiptesis de Riemann para las funciones zeta locales. Colabor con un apndice algebraico a Las estructuras elementales del parentesco, de Claude Lvi-Strauss, publicado en 1949. Las conjeturas de Weil han influido ampliamente a los gemetras algebraicos desde alrededor de 1950; fueron probadas por Bernard Dwork, Alexander Grothendieck, Michael Artin yPierre Deligne. En topologa general introdujo el concepto de espacio uniforme. Contribuciones a la matemtica Arithmtique et gomtrie sur les varits algbriques (1935)

Sur les espaces structure uniforme et sur la topologie gnrale (1937) L'intgration dans les groupes topologiques et ses applications (1940) Foundations of Algebraic Geometry (1946) Sur les courbes algbriques et les varits qui sen dduisent (1948) Varits abliennes et courbes algbriques (1948) Introduction l'tude des varits khlriennes (1958) Discontinuous subgroups of classical groups (1958) Chicago lecture notes Basic Number Theory (1967) Dirichlet Series and Automorphic Forms, Lezioni Fermiane (1971) Essais historiques sur la thorie des nombres (1975) Elliptic Functions According to Eisenstein and Kronecker (1976) uvres Scientifiques, Collected Works, three volumes (1979) Number Theory for Beginners (1979) with Maxwell Rosenlicht Adeles and Algebraic Groups (1982) Number Theory: An Approach Through History From Hammurapi to Legendre (1984) Souvenirs dApprentissage (1991) as The Apprenticeship of a Mathematician (1992) Distinciones Recibi numerosas distinciones, entre ellas el famoso Premio Wolf de Matemticas en 1979. Fue miembro honorario de la London Mathematical Society; miembro de la Acadmie des Sciences de Pars y de la National Academy of Sciences de los Estados Unidos. Despus de su muerte, el nico honor mencionado en su biografa oficial simplemente rezaba: "Miembro de la Academia de Ciencias y de Letras de Poldavia"; un pas imaginario donde habra enseado el tambin imaginario matemtico Nicolas Bourbaki. [editar]Aportes con su nombre Cohomologa de Weil Conjeturas de Weil Divisor de Weil Teora de Chern-Weil Ley de rciprocidad de Weil Teorema de Mordell-Weil

Subrahmanyan Chandrasekhar (19 de octubre de 1910 21 de agosto de 1995) fue un fsico, astrofsico y matemtico indio. Naci enLahore, perteneciente a la entonces India Britnica (actualmente Pakistn). Gan el Premio Nobel de Fsica en 1983 compartido conWilliam Fowler por sus estudios sobre los procesos importantes en la estructura y evolucin estelares. Se gradu en Madrs y se doctor en Cambridge, aunque trabaj en Chicago desde 1937 hasta su muerte en 1995. Adems del Premio Nobel, le fueron concedidas la Henry Norris Russell Lectureship de la American Astronomical Society (1949), laMedalla Bruce de la Sociedad Astronmica del Pacfico (1952), la Medalla de oro de la Real Sociedad Astronmica (1953), la Medalla Henry Draper de la Academia Nacional de Ciencias de Estados Unidos (1971) y la Medalla Copley de la Royal Society (1984). En 1999, la NASA llam en su honor al tercero de sus cuatro Grandes Observatorios, el Observatorio de rayos X Chandra. Incluso unasteroide, el 1958 Chandra, le debe su nombre. Su propio nombre, que se pronuncia chandrasejar, significa "el que est encima (sejar) de la Luna (chandra)".

Carrera cientfica En 1930, Chandrasekhar ingres en el Trinity College de la Universidad de Cambridge, Inglaterra. Por aquel entonces ley uno de los libros de Arthur Eddington, The Internal Constitution of Stars, que le influy profundamente. En dicho libro, Eddington sostena que las estrellas acababan sus vidas transformadas en objetos pequeos del tamao de la Tierra y conocidos como enanas blancas, tras agotar sus fuentes de energa. Chandrasekhar incluy en sus clculos efectos de tipo cuntico y relativistas, concluyendo que tan slo las estrellas de baja masa podan terminar sus vidas tal y como Eddington haba planteado. Sus clculos ms elaborados mostraban que para estrellas de masa superior a 1.4 la masa de nuestro propio Sol, stas, en ausencia de una fuente interna de calor, se colapsaran por debajo del tamao terrestre. Este lmite se conoce como lmite de Chandrasekhar. Sus descubrimientos apuntaban a la formacin de estrellas de neutrones y agujeros negros. En 1937, Chandrasekhar acept un trabajo en la Universidad de Chicago, donde permanecera durante el resto de su carrera cientfica. En Chicago, Chandrasekhar inici una nueva lnea de trabajo que culminara en la publicacin de su obra The Principles of Stellar Dynamics (1942). Durante la Segunda Guerra Mundial, Chandrasekhar colabor con otros fsicos de la Universidad de Chicago -como Enrico Fermi- en el Proyecto Manhattan. A comienzos de los aos 1950, Chandrashekhar estudi detalladamente el transporte radiativo en el interior de las estrellas, pero su trabajo en este campo se referencia en numerosas ocasiones para el estudio del transporte radiativo de energa en cualquier medio (Radiative transfer). Ms tarde, trabajara en los efectos del magnetismo sobre las galaxias, su forma y evolucin publicando otro clsico: Hydrodynamics and Hydromagnetic Stability (1961). Durante la siguiente dcada intent descubrir como la rotacin afecta la forma de los planetas, estrellas, galaxias y clsteres de galaxias. En los aos 1970, Chandrasekhar volvi a examinar el colapso de las estrellas al final de su vida. Este trabajo concluy con la publicacin de la que quizs sea su obra ms famosa: The Mathematical Theory of Black Holes, publicada en 1983. Por estos trabajos recibi el Premio Nobel de Fsica en 1983, que comparti con William Fowler. Su ltimo libro fue Newton's Principia for the Common Reader.