Shewing that a problem reduces to the halting problem

92 Views Asked by At

Let $\phi_e$ be an enumeration of the partial recursive functions.

A total function $f : \omega \to \omega$ is large if $f(e) > \phi_e(0)$ whenever $\phi_e(0)$ is defined.

If $f$ is large then given an oracle for $f$ it is possible to solve the Halting problem; i.e. we can decide membership in if X = {$e$ : $\phi_e(e)$ is defined }.

1

There are 1 best solutions below

0
On

We have that there is a computable function $\psi(e)$ such that $\phi_\psi(e)(0) =$ the number of steps it takes $\phi_e(e)$ to halt if \phi_e(e) is halts.

We can then solve the halting problem by running $\phi_e(e)$ for $f(\psi(e))$ steps.