Re: Another Halting Problem Question (very difficult)

On Wed, 2024-05-29 at 05:37 +0800, wij wrote:

Everybody knows the Halting Problem is undecidable (liars also know). But if we
restrict the condition a little bit: Does there exists a decision function h, h
determines whether or not an arbitrary function void f() (given as the argument
of h) terminates or not (h,f∈O(2^N)) ? IOW, h(f)==true iff f() terminates.

Sorry, too quick in rephrasing the real problem. I should fix this latter.