Hot answers tagged


Update: The question asker has clarified that they intend to redefine the word "halting": An input to a halt decider is defined to halt if and only if this input stops running while simulating halt decider H remains a pure simulator of this input. As far as I can tell, this means "An input halts if it stops running before the simulator ...

Only top voted, non community-wiki answers of a minimum length are eligible