I’m sorry to ask this question, because it seems very stupid, but how exactly would one create a set-up where a Turing machine, as in head-and-tape style thing, actually interacts with a halting oracle?
I don’t doubt that its possible but I can’t think of an elegant way to do it.
I’m sorry to ask this question, because it seems very stupid, but how exactly would one create a set-up where a Turing machine, as in head-and-tape style thing, actually interacts with a halting oracle?
I don’t doubt that its possible but I can’t think of an elegant way to do it.
Wikipedia has a detailed explanation of the setup.