Mathematical works of Vladimir A. Uspensky: A commentary
Alexander Shen
TL;DR
This paper surveys Vladimir Uspensky's mathematical contributions to computation theory and logic, highlighting his influence and legacy in these fields, excluding his work in linguistics and organizational roles.
Contribution
It provides a comprehensive overview of Uspensky's mathematical works and their impact on the development of computation theory and logic.
Findings
Uspensky was a pioneer in computation theory and logic.
His work significantly influenced the development of mathematical logic.
The survey clarifies his role in shaping modern theoretical computer science.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · semigroups and automata theory · Advanced Algebra and Logic