La respuesta corta sería Grothendieck. La respuesta larga es un poco más complicada, pero aún sería Grothendieck.
El giro copernicano que hizo Grothendieck fue en matemática pura, donde se basó en matemáticos anteriores (en su mayoría algebraistas italianos). Comenzó bastante en el lado conservador de las matemáticas en esos días, pero pronto encontró su verdadero llamado a ser matemáticas sintéticas donde el método, la estructura y la solución tienen el mismo peso. La elegancia de su método, que es como construir monumentos con guijarros, está bien documentada.
Además, el tiempo que pasó en el IHES es probablemente el tiempo más importante que un matemático pasó practicando el arte de las matemáticas desde al menos Gauss. Si bien es posible que no veamos muchas aplicaciones del mundo real a lo que hizo Grothendieck, él cambió fundamentalmente las matemáticas.
- ¿Cómo puedo probar que los números de la forma "n número de 4 seguidos por n-1 número de 8 seguidos por un solo 9 es siempre un cuadrado perfecto" para cada número natural n?
- ¿Qué es [math] 0 \ times \ infty [/ math]? ¿Por qué no está definido?
- ¿Qué colecciones de subsecuencias convergentes garantizan la convergencia de la secuencia original?
- ¿Cuál es la gráfica de | x | = 1?
- ¿Cómo encontramos la raíz cuadrada de 0.9?
Ahora permíteme ser más técnico:
Tomemos, por ejemplo, el teorema de Grothendieck-Riemann-Roch que resolvió, que trataba sobre la conjetura sobre las variedades complejas. Mientras que otros matemáticos se acercarían, por ejemplo, a un punto puramente geométrico, Grothendieck lo resolvió algebraicamente y además fundó la teoría K. Su solución fue muy influyente y Atiyah y Singer confiaron en los métodos y soluciones de Grothendieck para el teorema del índice Atiyah-Singer.
Grothendieck también introdujo la teoría de esquemas de cohomología etale que jugaría un papel crucial en la resolución de Deligne de las Conjeturas de Weil (el análogo de Riemann). También empleó métodos tales como la cohomología cristalina y la cohomología de De Rham, sin los cuales Deligne nunca podría “probar” las conjeturas de Weil.
Luego trabajó y perfeccionó la teoría topos para proporcionarle un método para lidiar con la lógica categórica. Lo importante con respecto a la teoría de topos es su supergeneralización de la topología.
Estas son solo algunas de sus contribuciones a las matemáticas, y esto ni siquiera menciona el Universo Grothendieck (la estructura matemática más bella), las categorías derivadas o su trabajo con Bourbaki, su trabajo en EGA, SGA, etale y co-homología de l-adic, grupos, Galois, etc., etc.
Sin duda tiene que ser Grothendieck.