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.
Ahh, so that’s what the <Can someone recall the title of Eliezer’s parable in which the genius level humans spend thousands of years deciphering the messages sent by the not-so-smart universe simulators?> were using!
<Can someone recall the title of Eliezer’s parable in which the genius level humans spend thousands of years deciphering the messages sent by the not-so-smart universe simulators?>
You may be thinking of “That Alien Message.” Best wishes, the Less Wrong Reference Desk.
The BusyBeaver function for Turing machines with a halting oracle.
Aaronson
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.
Ahh, so that’s what the <Can someone recall the title of Eliezer’s parable in which the genius level humans spend thousands of years deciphering the messages sent by the not-so-smart universe simulators?> were using!
You may be thinking of “That Alien Message.” Best wishes, the Less Wrong Reference Desk.
Thankyou! I’d been looking for that one for a while.