Boris: There’s a small amount of subtlety in actually doing step 1.
Isn’t it simply impossible? That doesn’t interfere with your claim that such a Turing machine exists, but step 1 claims that it’s computable.
Boris: There’s a small amount of subtlety in actually doing step 1.
Isn’t it simply impossible? That doesn’t interfere with your claim that such a Turing machine exists, but step 1 claims that it’s computable.