And keep in mind that you asked how to perform an unreasonably difficult task.
Of course, this only works for Delta^0_2. The arithmetical hierarchy goes a lot higher.
-
-
after thinking, my main problem with your suggestions is that they are two different mathematical objects...
-
you can't replace one with the other in proofs, though maybe you'd be able to adapt the proofs
-
I'm not sure what you mean. What are the two mathematical objects?
-
Subset of N which are codes for TMs that halt vs TM that runs TMs until they halt and output 1 at that code
-
Infinite string of 1s is different from TM that writes inf string of 1s, but you suggested using latter to represent former.
-
ah yes, I suppose I do
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.