Abstract
Post's Canonical systems in one letter are viewed as operations on natural numbers. It is shown that, in a certain sense, these systems are capable of producing arbitrary recursively enumerable sets. Also, certain special cases are examined.
Similar content being viewed by others
References
E. Post,Formal Reductions of the General Combinatorial Decision Problem, Amer. J. Math. Vol. 65 (1943), 197–215.
J. C. Shepherdson and H. E. Sturgis,Computability of Recursive Functions, JACM Vol. 10 (1963), 217–255.
R. Smullyan,Extended Canonical Systems, Proc. Amer. Math, Soc., June, (1961), 440–442.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hosken, W.H. Some post canonical systems in one letter. BIT 12, 509–515 (1972). https://doi.org/10.1007/BF01932960
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01932960