Es muy conocido por su solución negativa del décimo problema de Hilbert, presentada en su tesis doctoral, en LOMI, el Departamento de Leningrado del Instituto de Matemáticas Steklov.