Skip to main content
1 of 3
Bjørn Kjos-Hanssen
  • 24.8k
  • 3
  • 58
  • 114

Yes, there is such a non-computable set $M$.

Let $M=(M(0),M(1),\ldots)$ be any immune set (i.e., having no infinite computable subset) of minimal Turing degree. Consider any computably selected sequence $$ N = (M(f(0)),M(f(1)),\ldots) $$ Suppose $N$ is computable. Since the range of $f$ is infinite, consider a computable increasing subsequence $f(i_1)<f(i_2)<\ldots$, with $i_1<i_2<\ldots$. Then $\{f(i_j): M(f(i_j))=1\}$ would be an infinite computable subset of $M$.

Thus $N$ is noncomputable. Moreover $N\le_T M$. Since $M$ is of minimal degree, it follows that $M\equiv_T N$, i.e., $M$ can be recovered from $N$.

Bjørn Kjos-Hanssen
  • 24.8k
  • 3
  • 58
  • 114