Autosolvability of halting problem instances for instruction sequences
Logic in Computer Science
2010-10-19 v3 Programming Languages
Abstract
We position Turing's result regarding the undecidability of the halting problem as a result about programs rather than machines. The mere requirement that a program of a certain kind must solve the halting problem for all programs of that kind leads to a contradiction in the case of a recent unsolvability result regarding the halting problem for programs. In this paper, we investigate this autosolvability requirement in a setting in which programs take the form of instruction sequences.
Cite
@article{arxiv.0911.5018,
title = {Autosolvability of halting problem instances for instruction sequences},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0911.5018},
year = {2010}
}
Comments
18 pages; notational mistakes in tables 5 and 6 corrected; erroneous definition in last paragraph of page 11 corrected