Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: Re: Another Halting Problem Question (very difficult)
Date: Wed, 29 May 2024 06:20:13 +0800
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <19b48c13e1abe0c0c68ece8114535d43a771cd3c.camel@gmail.com>
References: <e59d06e61850db2c77d1a784abce13dc84067079.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Wed, 29 May 2024 00:20:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="356615fa2e3e10e4de8b1fb8357c2248";
	logging-data="841914"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18putLY4zYmFt7OiPu9YNdC"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:hDedwi+So3Qi6vi8RSjObbZ8w5Q=
In-Reply-To: <e59d06e61850db2c77d1a784abce13dc84067079.camel@gmail.com>
Bytes: 1544

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 functio=
n h, h
> determines whether or not an arbitrary function void f() (given as the ar=
gument
> of h) terminates or not (h,f=E2=88=88O(2^N)) ? IOW, h(f)=3D=3Dtrue iff f(=
) terminates.

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