๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Spectra and halting problems

โœ Scribed by Louise Hay

Book ID
102940897
Publisher
John Wiley and Sons
Year
1975
Tongue
English
Weight
613 KB
Volume
21
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Relativized Halting Problems
Relativized Halting Problems
โœ Alan L. Selman ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 349 KB
Some Remarks on Uniform Halting Problems
Some Remarks on Uniform Halting Problems
โœ Stephen L. Bloom ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 200 KB

In RSOICER [l], the question was asked whether there is a TURING machine which halts on all "effectively generable" tapes but yet diverges on some tape. We make this question precise as follows. Let u be a function from the natural numbers N into N . Associate with a the two way infinite tape at of

Approximations to the halting problem
Approximations to the halting problem
โœ Nancy Lynch ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 339 KB

The halting set Kr = (x I r converges}, for any G6del numbering ~ = {~0, ~1 ,-..}, is nonrecursive. It may be possible, however, to approximate Kr by recursive sets. We note several results indicating that the degrees of recursive approximability of halting sets in arbitrary GSdel numberings have wi