Abstract
The study of mass problems and Muchnik degrees was originally motivated by Kolmogorov's non-rigorous 1932 interpretation of intuitionism as a calculus of problems. The purpose of this paper is to summarize recent investigations into the lattice of Muchnik degrees of nonempty effectively closed sets in Euclidean space. Let $\mathcal{E}_\mathrm{w}$ be this lattice. We show that $\mathcal{E}_\mathrm{w}$ provides an elegant and useful framework for the classification of certain foundationally interesting problems which are algorithmically unsolvable. We exhibit some specific degrees in $\mathcal{E}_\mathrm{w}$ which are associated with such problems. In addition, we present some structural results concerning the lattice $\mathcal{E}_\mathrm{w}$. One of these results answers a question which arises naturally from the Kolmogorov interpretation. Finally, we show how $\mathcal{E}_\mathrm{w}$ can be applied in symbolic dynamics, toward the classification of tiling problems and $\boldsymbol{Z}^d$-subshifts of finite type.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.