Científicos Matemáticos

LINEA DE TIEMPO de los científicos matematicos

Siglo XX.

• 1903: Carle David Tolme Runge presenta un algoritmo rápido de transformada de Fourier.

• 1903: Edmund Georg Hermann Landau da considerablemente la más simple prueba 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 y 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 exponente n=5.

• 1913: Srinivasa Aiyangar Ramanujan envía una larga lista de teoremas complejos sin pruebas a G. H. Hardy.

• 1914: Ramanujan publica Modular Equations y Approximations to π

• Años 1910: Ramanujan desarrolla sobre los 3000 teoremas, incluyendo propiedades de los números altamente compuestos, la función de partición y susasintóticas, y 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: Casimir Kuratowski muestra que el three cottage problem no tiene solución.

• 1931: Kurt Gödel prueba sus teoremas de incompletitud los que muestran que cada sistema axiomático para matemáticas es incompleto o inconsistente.

• 1931: Georges de Rham desarrolla teoremas en Cohomología y clases características.

• 1933: Karol Borsuk y Stanislaw Ulam presentan el teorema 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 probabilidad basado en la teoría de la medida.

• 1940: Kurt Gödel muestra 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 conjunto.

• 1942: G. C. Danielson y Cornelius Lanczos desarrolla el algoritmo Transformada rápida de Fourier.

• 1943: Kenneth Levenberg propone un método para nonlinear least squares fitting.

• 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 lugares decimales utilizando la computadora ENIAC.

• 1950: Stanislaw Ulam y John von Neumann presentan el sistema dinámico autómata celular.

• 1953: Nicholas Metropolis introduce la idea de termodinámica algoritmos simulated annealing.

• 1955: H. S. M. Coxeter et al. publica la lista completa de uniform polyhedron.

• 1955: Enrico Fermi, John Pasta, y Stanislaw Ulam estudian numéricamente un modelo no lineal de la conducción calórica y descubre en solitario el comportamiento tipo onda.

• 1957: aparece el lenguaje de programación Fortran.

• 1960: C. A. R. Hoare inventa el algoritmo 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 Levenberg-Marquardt.

• 1963: Paul Cohen usa su técnica de forcing para mostrar que tanto la hipótesis del continuo como el axioma de elección pueden ser probadas desde los axiomas estándaes de la teoría de conjunto.

• 1963: Martin Kruskal y Norman Zabusky estudian analíticamente el problema de conducción de calor 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 conocido como comportamiento caótico y atractores o atractores de Lorenz: también el Efecto mariposa.

• 1965: Martin Kruskal y Norman Zabusky estudian numéricamente las colisiones de ondas solitarias en plasmas y descubren que ellas 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 en esta matriz.

• 1966: Abraham Robinson presenta análisis no estándard.

• 1967: Robert Langlands formula el influyente Langlands program de 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 y así muestra que hay solo finitamente muchas soluciones de número enteras para cada exponente del último teorema de Fermat.

• 1983: se completa la clasificación de grupos simples finitos (classification of finite simple groups), un trabajo colaborativo que involucró algunos cientos de matemáticos a lo largo de treinta años.

• 1985: Louis de Branges de Bourcia prueba la conjetura Bieberbach.

• 1987: Yasumasa Kanada, David Bailey, Jonathan Borwein, y Peter Borwein utilizan aproximaciones de ecuaciones modulares iterativas para integrales ellípticas y a la supercomputadora NEC SX-2 para calcular π a 134 millones de lugares 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

...