Timothy Gowers demuestra en 1996, en Geometric and Functional Analysis, una dicotomía general sobre la estructura de los espacios de Banach de dimensión infinita, culminando una línea de trabajo desarrollada junto con Bernard Maurey desde 1992-93. El resultado responde a varias preguntas estructurales abiertas durante décadas en la teoría de espacios de Banach, combinando de forma novedosa técnicas de análisis funcional con métodos combinatorios —un enfoque característico de la obra posterior de Gowers en combinatoria aditiva. Gowers recibió el Fields Medal en 1998.