Entonces decidió mudarse a Moscú (1947), donde se doctoraría en Filosofía con una tesis titulada "Algunos problemas de lógica en el análisis ajedrecístico" (1968).