Está en la página 1de 3

 1900: 

David Hilbert presenta su lista de 23 problemas.


 1901: Élie Cartan desarrolla las derivadas exteriores.
 1901: Henri Léon Lebesgue formula la teoría de la medida y define la integral
de Lebesgue.
 1903: Carle David Tolme Runge presenta un algoritmo rápido de la
transformada de Fourier.
 1903: Edmund Georg Hermann Landau da una demostración
considerablemente más simple del teorema del número primo.
 1908: Ernst Zermelo axiomatiza la teoría de conjuntos, evitando las
contradicciones de la teoría de Cantor.
 1908: Josip Plemelj resuelve el problema de Riemann sobre la existencia de
una ecuación diferencial con un grupo monodrómico, utilizando la fórmula de
Sokhotsky-Plemelj.
 1912: Luitzen Egbertus Jan Brouwer presenta el teorema del punto fijo de
Brouwer.
 1912: Josip Plemelj publica una demostración simplificada del último teorema
de Fermat para el exponente n=5.
 1913: Srinivasa Aiyangar Ramanujan envía una larga lista de teoremas
complejos sin demostración a G. H. Hardy.
 1914: Ramanujan publica Modular Equations and Approximations to π.
 Años 1910: Ramanujan desarrolla alrededor de 3000 teoremas, incluyendo
propiedades de los números altamente compuestos, la función de partición y
sus asintótas, y las funciones theta de Ramanujan. También realiza
descubrimientos en las áreas de las funciones Gamma, formas
modulares, series divergentes, series hipergeométricas y teoría de los
números primos.
 1919: Viggo Brun define la constante de Brun B2 para primos gemelos.
 1922: L. J. Mordell, matemático inglés, enunció una famosa conjetura sobre el
número de soluciones de curvas algebraicas racionales.
 1928: John von Neumann empieza a idear los principios de la teoría de
juegos y prueba el teorema minimax.
 1930: Kazimierz Kuratowski demuestra que el problema de las tres casas de
campo no tiene solución.
 1931: Kurt Gödel prueba sus teoremas de incompletitud, que demuestran que
cada sistema axiomático para las matemáticas es incompleto o inconsistente.
 1931: Georges de Rham desarrolla teoremas sobre cohomología y clases
características.
 1933: Karol Borsuk y Stanislaw Ulam presentan el teorema de Borsuk-Ulam
 1933: Andréi Kolmogórov publica su libro Nociones básicas del cálculo de
probabilidad (Grundbegriffe der Wahrscheinlichkeitsrechnung) que contiene
una axiomatización de la probabilidad basada en la teoría de la medida.
 1940: Kurt Gödel demuestra que tanto la hipótesis del continuo como
el axioma de elección pueden ser refutados desde los axiomas estándar de la
teoría de conjuntos.
 1942: G. C. Danielson y Cornelius Lanczos desarrollan el algoritmo de
la transformada rápida de Fourier.
 1943: Kenneth Levenberg propone un método para el ajuste de mínimos
cuadrados no lineales.
 1946: se presenta al público el ENIAC.
 1947: George B. Dantzig publica el método simplex que resuelve problemas
de programación lineal.
 1948: John von Neumann estudia matemáticamente las máquinas
autorreproducibles.
 1949: John von Neumann calcula π con 2037 decimales utilizando la
computadora ENIAC.
 1950: Stanislaw Ulam y John von Neumann presentan el sistema dinámico
denominado autómata celular.
 1953: Nicholas Metropolis introduce la idea de la termodinámica de algoritmos
(algoritmo de recocido simulado).
 1955: H. S. M. Coxeter y otros publican la lista completa de poliedros
uniformes.
 1955: Enrico Fermi, John Pasta, y Stanislaw Ulam estudian numéricamente un
modelo no lineal de la conducción calórica y descubren independientemente el
comportamiento tipo onda.
 1957: aparece el lenguaje de programación Fortran.
 1960: C. A. R. Hoare inventa el algoritmo de ordenamiento rápido.
 1960: Irving S. Reed y Gustave Solomon presentan el código de detección y
corrección de errores Reed-Solomon.
 1961: Daniel Shanks y John Wrench calculan π con 100 000 cifras decimales
utilizando una identidad trigonométrica arctan y un computador IBM-7090.
 1962: Donald Marquardt propone el algoritmo de Levenberg-Marquardt.
 1963: Paul Cohen usa su técnica de forzado para demostrar que tanto
la hipótesis del continuo como el axioma de elección pueden ser probados
desde los axiomas estándar de la teoría de conjuntos.
 1963: Martin Kruskal y Norman Zabusky estudian analíticamente el problema
de conducción del calor de Fermi-Pasta-Ulam en un límite continuo y
descubren que la ecuación KdV gobierna este sistema.
 1963: el meteorólogo y matemático Edward Norton Lorenz publica las
soluciones a un modelo matemático simplificado de la turbulencia atmosférica,
generalmente conocidas como comportamiento caótico
y atractores o atractores de Lorenz (relacionados con el efecto mariposa).
 1965: Martin Kruskal y Norman Zabusky estudian numéricamente las
colisiones de ondas solitarias en plasmas y descubren que no se dispersan
después de las colisiones.
 1965: James Cooley y John Tukey presentan un algoritmo para el cálculo de
la transformada rápida de Fourier.
 1966: E. J. Putzer presenta dos métodos para el cálculo de la exponencial de
matrices en términos de un polinomio basado en la matriz.
 1966: Abraham Robinson presenta el análisis no estándar.
 1967: Robert Langlands formula el influyente programa de Langlands,
incluyendo conjeturas relativas a la teoría del número y a la teoría de
representación.
 1968: Michael Atiyah y Isadore Singer prueban el «teorema de los índices de
Atiyah-Singer» acerca del índice de operadores elípticos.
 1975: Benoît Mandelbrot publica Les objets fractals, forme, hasard et
dimension.
 1976: Kenneth Appel y Wolfgang Haken utilizan un computador para demostrar
el teorema de los cuatro colores.
 1983: Gerd Faltings prueba la conjetura de Mordell, demostrando que hay solo
finitamente muchas soluciones de números enteros para cada exponente del
último teorema de Fermat.
 1983: se completa la clasificación de grupos simples finitos, un trabajo
colaborativo que involucró a varios cientos de matemáticos a lo largo de treinta
años.
 1985: Louis de Branges de Bourcia prueba la conjetura de Bieberbach.
 1987: Yasumasa Kanada, David Bailey, Jonathan Borwein, y Peter
Borwein utilizan aproximaciones de ecuaciones modulares iterativas para
integrales elípticas y la supercomputadora NEC SX-2 para calcular π con
134 millones de cifras decimales.
 1991: Alain Connes y John W. Lott desarrollan la geometría no conmutativa.
 1994: Andrew Wiles prueba parte de la conjetura de Taniyama-Shimura y
también prueba el último teorema de Fermat.
 1998: Thomas Hales prueba casi con certeza la conjetura de Kepler.
 1999: la conjetura de Taniyama-Shimura es probada completamente.

Siglo XXI[editar]
 2000: El Clay Mathematics Institute establece los siete problemas no resueltos
de la matemática.
 2002: Manindra Agrawal, Nitin Saxena y Neeraj Kayal del IIT Kanpur crean un
algoritmo polinómico determinista incondicional de tiempo para determinar si
un número dado es primo.
 2002: Yasumasa Kanada, Y. Ushiro, Hisayasu Kuroda, Makoto Kudoh y un
equipo de nueve matemáticos calculan π con 1,24 billones de dígitos (1012),
utilizando una supercomputadora Hitachi de 64 nodos.17
 2002: Preda Mihăilescu prueba la conjetura de Catalan.
 2003: Grigori Perelman, matemático ruso, prueba la conjetura de
Poincaré pero se niega a recibir el premio.
 2007: en Estados Unidos y Europa, un grupo de investigadores utilizan redes
de computadoras para encontrar el E8.18
 2013: el matemático peruano Harald Helfgott (1977-) prueba la conjetura débil
de Goldbach.19

También podría gustarte