Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: wij Newsgroups: comp.theory Subject: Re: Any honest person that knows the x86 language can see... predict correctly Date: Thu, 01 Aug 2024 12:03:36 +0800 Organization: A noiseless patient Spider Lines: 42 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Date: Thu, 01 Aug 2024 06:03:37 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4f91746ee1106b7df02c97c2d5328149"; logging-data="2104516"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18E6JICzMPGQHFcspdjajNC" User-Agent: Evolution 3.50.2 (3.50.2-1.fc39) Cancel-Lock: sha1:ZLQ5hXy7z3ZDjnAked+LORkO7UQ= In-Reply-To: Bytes: 2661 On Wed, 2024-07-31 at 22:51 -0500, olcott wrote: > On 7/31/2024 10:08 PM, wij wrote: > > On Tue, 2024-07-30 at 18:50 -0500, olcott wrote: > > >=20 > > > It is not supposed to be a general solution to the halting problem. > > > it only shows how the "impossible" input is correctly determined > > > to be non halting. > > >=20 > >=20 > > But how do you determine it is non-halting? > >=20 > > As I know you are even unable to define what 'halt' mean !!! > >=20 > I have done this thousands of times and after someone > has read these thousands of times they say that I never > said it once. >=20 > void DDD() > { > =C2=A0=C2=A0 HHH(DDD); > =C2=A0=C2=A0 return; > } >=20 > int main() > { > =C2=A0=C2=A0 HHH(DDD); > } >=20 > If DDD correctly emulated by HHH cannot possibly > reach its return instruction then it never halts. >=20 >=20 That's right, HHH(DDD) as shown should never halt. But The Halting Problem asks HHH to return 1 or 0 (so to speak, because you don't know the detail). Since HHH does not return 1 or 0 to answer the question, it is not a decide= r. You are dealing with POO Problem.