Mathematical works of Vladimir A. Uspensky: A commentary

Alexander Shen
DOI: https://doi.org/10.48550/arXiv.2008.02773
2021-07-02
Abstract:Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general (and my teacher and thesis advisor). This paper is the survey of his mathematical works and their influence. (His achievements in linguistics and his organizational role are outside the scope of this survey.) The Russian version follows the English one.
History and Overview
What problem does this paper attempt to address?