Nota cursiva antes de responder:
Mi antiguo asesor bromeaba diciendo que el conjunto de “matemáticos” era un conjunto con un solo elemento: Israel Gelfand y con su fallecimiento se convirtió en un conjunto nulo. Norbert Wiener en su libro Cybernetics señaló que quizás el último matemático fue Gauss, después de eso solo tenemos topólogos o geómetras, etc. Hoy en día las matemáticas son tan especializadas que incluso los expertos en un área pueden no estar en condiciones de comprender el trabajo de otra área. .
¿Por qué digo esto? Por la razón anterior simplemente, creo que cualquier pregunta de este tipo carece de sentido. Porque tiende a dar la apariencia de que las personas elegirán “su” favorito en función de su trabajo. Pero no lo harán, porque es posible que ni siquiera conozcan el trabajo de las personas en la lista y su selección se vería influenciada por factores no relacionados con las contribuciones reales (no me gusta decir esto, pero Perelman caerá en esta categoría debido a su rechazar el premio) o algo en lo que el respondedor realmente trabajó (lo que podría ser un sesgo mejor). En cualquier caso, es injusto para los demás. Nunca es posible “clasificar” a las personas, y esto se vuelve aún más sin sentido cuando uno progresa en matemáticas.
La respuesta:
- ¿Quién es el matemático más rudo de la historia?
- ¿Dónde están las mujeres matemáticas?
- ¿Quiénes son algunos grandes matemáticos indios?
- ¿Algún matemático ha invertido alguna vez la operación matemática que termina en la constante PI siendo un número irracional? Supongamos que viviéramos en un mundo donde PI era 1, ¿entonces qué? ¿Cómo cambiarían todos los otros números enteros anteriores a números irracionales?
- ¿Cuál es el tipo de personalidad de John McAfee?
Dicho esto, siguiendo otras respuestas, elegiré algunas (que no figuran en ningún orden en particular).
1. Alexandre Grothendieck:
Creo que es un candidato para el mejor matemático de “construcción de teorías” del siglo pasado. Fue la figura central detrás de la Geometría Algebraica y áreas relacionadas. Y si no fuera por sus contribuciones, muchos campos de las matemáticas ni siquiera existirían y toda una generación de matemáticos ha sido influenciada por su enfoque de las matemáticas.
Si bien hay demasiadas contribuciones para enumerar, una en particular con la que estoy familiarizado es la desigualdad de Grothendieck: desigualdad de Grothendieck
Curiosamente, aunque Grothendieck fue un purista dogmático, la mayor parte de su trabajo ha encontrado aplicaciones en Física y otras áreas. En particular, la desigualdad de Grothendieck ha encontrado aplicaciones en la Optimización combinatoria e incluso en el aprendizaje automático en problemas que surgen de la agrupación de correlaciones (y, en general, la factorización matricial, consulte: http://arxiv.org/pdf/1108.2464v1… para obtener referencias. El problema de la agrupación de correlaciones se originó en una obra de Alex Smola y otros).
Además de sus contribuciones revolucionarias, también es famoso por ser un recluso. Era pacifista y se retiró de las matemáticas y luego de la vida pública por completo y ahora vive en algún lugar del sur de Francia. Algunos de sus escritos son quizás algunos de los mejores que he leído. Si está interesado en su vida y su trabajo, le recomendaría el artículo de dos partes de Allyn Jackson sobre él:
Como si fuera invocado desde el vacío (Allyn Jackson):
Parte 1: http://www.ams.org/notices/20040…
Parte 2: http://www.ams.org/notices/20041…
2. Steve Smale
Steve Smale es un matemático muy inusual.
Comenzó de manera bastante interesante: obtuvo muy malos resultados en la escuela de posgrado, obtuvo un promedio de C y casi fue expulsado antes de comenzar a trabajar duro, y pronto sorprendió al mundo con una prueba de Esfera Eversión. Esto se conoce como la paradoja de Smale. Un video encantador de Sphere Eversion, es decir, girar una esfera al revés está en youtube
También demostró la conjetura de Poincaire para todas las dimensiones mayores o iguales a cinco. Por lo general, los matemáticos creían que esto era falso y también era mucho más difícil. Smale mostró lo contrario. El problema real planteado por Poincaire fue resuelto por Perelman décadas después, quien ganó la Medalla Fields por su prueba. Generalizó su resultado en lo que se llama el teorema del cobordismo h.
Mencioné que Smale era inusual. Esto se debe a que ha trabajado en muchas otras áreas que a primera vista parecen totalmente ajenas. Algunos de sus trabajos con los que estoy familiarizado son de Machine Learning. Ha sido una figura central en la importación de métodos de aprendizaje múltiple para la representación de datos. En muchos casos se ve que, aunque los datos pueden ser de alta dimensión, en realidad tiene una pequeña dimensión ambiental, es decir, en realidad reside en una variedad de baja dimensión y su uso puede ayudar a combatir la llamada “maldición de la dimensionalidad”. Probó algunos resultados importantes en esta dirección.
Con Filipe Cucker también publicó un artículo muy influyente sobre los fundamentos matemáticos del aprendizaje http://ttic.uchicago.edu/~smale/…
Para personas interesadas en Control. Él (nuevamente con Cucker) quizás dio la primera prueba matemática (corríjame si me equivoco) en la autoorganización: es decir, en Emergencia en bandadas https://www.mpi-sb.mpg.de/~mehlh … es digno de mención que Muchos problemas en la autoorganización pueden reducirse a aves en bandada.
¡Mientras todavía tiene 80 años, sigue siendo muy activo y creativo!
3. David Mumford
Al igual que Smale, Mumford es otro matemático inusual. Trabajó en Geometría Algebraica e hizo muchas contribuciones fundamentales. Pero no estoy en posición de comentarlo. Por lo tanto, mencionaré el trabajo que ha realizado en otras áreas.
Desde los años 90, ha estado trabajando casi continuamente en un formalismo en IA llamado Teoría de patrones: teoría de patrones (incluso escribió un libro: Teoría de patrones: el análisis estocástico de señales del mundo real (aplicación de matemáticas): David Mumford, Agn´s Desolneux: 9781568815794: Amazon.com: Libros). La teoría de patrones es un enfoque diferente de los problemas en IA (especialmente en visión y habla) donde el objetivo es describir el conocimiento del mundo como patrones. Es diferente de otros enfoques que trabajan para reconocer patrones. El objetivo aquí es hacer una gramática de patrones que puedan
ayudar a crear un vocabulario de ellos y así reconocer un patrón equivaldría a componer “alfabetos” más simples a partir de esta gramática. Su trabajo en visión siguiendo esta línea en Visión ha sido muy influyente. Una preimpresión para algunos trabajos sobre “Gramáticas de imagen” está disponible aquí: http://www.stat.ucla.edu/~sczhu/…
4. W. Timothy Gowers
He tenido la oportunidad de trabajar en el Lema de regularidad de Szemeredi, así que tengo un poco más que decir sobre el trabajo de Gowers.
Tim Gowers ganó la Medalla Fields por el trabajo que mostró conexiones entre Combinatoria y Análisis. Aunque esto solo sería una descripción muy aproximada, una buena forma de pensar sobre esto es a través del Lema de regularidad de Szemeredi:
El lema de regularidad de Szemeredi establece aproximadamente que cada gráfico lo suficientemente grande puede aproximarse mediante gráficos aleatorios. Esto es en el sentido de que cada gráfico se puede dividir en un número limitado de partes iguales de manera que:
1. La mayoría de los bordes corren entre diferentes partes
2. Y que estos bordes se comportan como si se generaran al azar.
Para aquellos que trabajan en Análisis o incluso en procesamiento de señales, un primer vistazo a la declaración del lema de regularidad anterior les recuerda a una de las series de Fourier . Si bien esto es extremadamente simplificado, no es del todo incorrecto decir que apunta en parte a una relación más profunda entre la combinatoria y el análisis. Su trabajo solidificó esta conexión.
También dio una versión generalizada del teorema de Szemeredi, que es un resultado muy importante con consecuencias en muchas áreas de las matemáticas (como la teoría ergódica, la teoría de números, etc.). ¡Endre Szemeredi recibió el Premio Abel este año!
Debo mencionar otra cosa que encuentro muy fascinante. En The Szemeredi Regularity Lemma para el cual mencioné una declaración muy aproximada arriba. En la prueba, se procede de la siguiente manera: comenzamos con una partición inicial del gráfico (con bajo potencial, una cantidad que da la calidad de cada partición) y luego refinamos iterativamente la partición de tal manera que el potencial aumente a un punto tal que la partición es epsilon regular (una condición para decir que la partición es lo suficientemente buena). Sin embargo, esto lleva a un problema importante : al refinar las particiones de forma iterativa, el número de clases aumenta exponencialmente en cada iteración. Luego terminamos con una partición en la que el número de clases es una función de torre, generalmente una figura astronómica.
Durante mucho tiempo se pensó que tal función de torre tal vez no era necesaria y era el efecto secundario de la prueba de Szemeredi. Pero Gowers realmente construyó un ejemplo que mostraba que tal torre era realmente necesaria. (Ver aquí: Análisis Geométrico y Funcional, Volumen 7, Número 2). Este fue un ejemplo loco para mí: ¡que alguien realmente podría construir tal ejemplo!
5. Terence Tao
Hay mucho que mencionar sobre Terence Tao. Pero estoy seguro de que se mencionará en otras respuestas, por lo que no responderé, aunque me gustaría.
Pero una breve nota:
Ha trabajado en las mismas áreas que Gowers anteriormente. De hecho, uno de sus resultados más conocidos (El Teorema de Green-Tao) fue una extensión del Teorema de Szemeredi. También dio diferentes pruebas del Lema de regularidad de Szemeredi (mencionado anteriormente) y también sus Variantes de hipergrafía.
¡Para las personas en Machine Learning, probablemente sea mejor conocido como el fundador de la detección comprimida!
6. Debo mencionar a Will Thurston , quien falleció recientemente. No sé mucho sobre su trabajo. Pero fue muy activo en MathOverflow y a menudo hizo comentarios generales muy perspicaces. Escribió un ensayo que recomiendo: Sobre pruebas y progreso en matemáticas : http://arxiv.org/pdf/math/940423…