En 1957 se resolvió el problema decimotercero de Hilbert (un trabajo conjunto con su estudiante Vladímir Arnold).