Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Be consistent. -- Larry Wall in the perl man page


devel / comp.theory / Essence of the culmination five years of full time work on the Halting Problem

SubjectAuthor
* Essence of the culmination five years of full time work on theolcott
+- Essence of the culmination five years of full time work on theMr Flibble
+- Essence of the culmination five years of full time work on theRichard Damon
+- Essence of the culmination five years of full time work on thewij
`* Essence of the culmination five years of full time work on thePaul N
 +* Essence of the culmination five years of full time work on theolcott
 |`- Essence of the culmination five years of full time work on theRichard Damon
 +* Essence of the culmination five years of full time work on the Halting ProblemBen Bacarisse
 |+* Essence of the culmination five years of full time work on theolcott
 ||+- Essence of the culmination five years of full time work on the Halting Problem [Mr Flibble
 ||`- Essence of the culmination five years of full time work on the Halting Problem [Richard Damon
 |+* Essence of the culmination five years of full time work on theJeff Barnett
 ||`* Essence of the culmination five years of full time work on the Halting ProblemBen Bacarisse
 || `- Essence of the culmination five years of full time work on theolcott
 |`* Essence of the culmination five years of full time work on theolcott
 | `* Essence of the culmination five years of full time work on theRichard Damon
 |  `* Essence of the culmination five years of full time work on theolcott
 |   `- Essence of the culmination five years of full time work on theRichard Damon
 `- Essence of the culmination five years of full time work on theolcott

1
Essence of the culmination five years of full time work on the Halting Problem

<wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34502&group=comp.theory#34502

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 17 Jun 2022 14:39:50 -0500
Date: Fri, 17 Jun 2022 14:39:49 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Content-Language: en-US
From: NoO...@NoWhere.com (olcott)
Subject: Essence of the culmination five years of full time work on the
Halting Problem
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 28
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-ici+cKh9Md4O46d4CfnF7dKS59vt0VoEvaxLGwrnYWAOLWxHYX4jz1Quh548p737zehywjuF+wQ2qeb!zfg2KTNJ5dXOsacot2PRIP3KnByi1s9RPTWxURtqEsgIfdXfavN+Fxe+ZVuMjKRq1lwEYSrOmx9i
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2122
 by: olcott - Fri, 17 Jun 2022 19:39 UTC

comp.theory:
[Solution to one instance of the Halting Problem]
On 3/14/2017 9:05 AM, peteolcott wrote:

Essence of the culmination five years of full time work on the Halting
Problem when I first discovered (see above) that a simulating halt
decider could correctly determine the halt status of the "impossible"
input:

When a simulating halt decider rejects all inputs as non-halting
whenever it correctly detects that its correct and complete simulation
of its input would never reach the final state of this input that all
[these] inputs (including pathological inputs) are decided correctly.

Halting problem undecidability and infinitely nested simulation (V5)

https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Essence of the culmination five years of full time work on the Halting Problem

<20220617204109.00000ca2@reddwarf.jmc>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34503&group=comp.theory#34503

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx13.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc (Mr Flibble)
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
Message-ID: <20220617204109.00000ca2@reddwarf.jmc>
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
Organization: Jupiter Mining Corp
X-Newsreader: Claws Mail 3.17.8 (GTK+ 2.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 45
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Fri, 17 Jun 2022 19:41:10 UTC
Date: Fri, 17 Jun 2022 20:41:09 +0100
X-Received-Bytes: 2272
 by: Mr Flibble - Fri, 17 Jun 2022 19:41 UTC

On Fri, 17 Jun 2022 14:39:49 -0500
olcott <NoOne@NoWhere.com> wrote:

> comp.theory:
> [Solution to one instance of the Halting Problem]
> On 3/14/2017 9:05 AM, peteolcott wrote:
>
> Essence of the culmination five years of full time work on the
> Halting Problem when I first discovered (see above) that a simulating
> halt decider could correctly determine the halt status of the
> "impossible" input:
>
> When a simulating halt decider rejects all inputs as non-halting
> whenever it correctly detects that its correct and complete
> simulation of its input would never reach the final state of this
> input that all [these] inputs (including pathological inputs) are
> decided correctly.

void Px(u32 x)
{ H(x, x);
return;
}

int main()
{ Output("Input_Halts = ", H((u32)Px, (u32)Px));
}

....[000013e8][00102357][00000000] 83c408 add esp,+08
....[000013eb][00102353][00000000] 50 push eax
....[000013ec][0010234f][00000427] 6827040000 push 00000427
---[000013f1][0010234f][00000427] e880f0ffff call 00000476
Input_Halts = 0
....[000013f6][00102357][00000000] 83c408 add esp,+08
....[000013f9][00102357][00000000] 33c0 xor eax,eax
....[000013fb][0010235b][00100000] 5d pop ebp
....[000013fc][0010235f][00000004] c3 ret
Number of Instructions Executed(16120)

It gets the answer wrong, i.e. input has not been decided correctly.
QED.

/Flibble

Re: Essence of the culmination five years of full time work on the Halting Problem

<Bj9rK.179136$70j.26438@fx16.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34521&group=comp.theory#34521

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx16.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 43
Message-ID: <Bj9rK.179136$70j.26438@fx16.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Fri, 17 Jun 2022 20:50:41 -0400
X-Received-Bytes: 2656
 by: Richard Damon - Sat, 18 Jun 2022 00:50 UTC

On 6/17/22 3:39 PM, olcott wrote:
> comp.theory:
> [Solution to one instance of the Halting Problem]
> On 3/14/2017 9:05 AM, peteolcott wrote:
>
> Essence of the culmination five years of full time work on the Halting
> Problem when I first discovered (see above) that a simulating halt
> decider could correctly determine the halt status of the "impossible"
> input:
>
> When a simulating halt decider rejects all inputs as non-halting
> whenever it correctly detects that its correct and complete simulation
> of its input would never reach the final state of this input that all
> [these] inputs (including pathological inputs) are decided correctly.
>
>
>
>
>
> Halting problem undecidability and infinitely nested simulation (V5)
>
> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>
>

So, which H are you claiming is correct? You are describing two
different machines.

Is H the one that correctly emulates its input, and thus runs forever
emulation the input of H(P,P) for the P built on this H, and thus fails
to answer, or

Is H the one that does abort its emulation (and thus NOT do a corret
emulation) and return 0, and when we look at an ACTUAL correct emulation
that will behave just like P(P), for the P built on THAT H, we see that
P(P) does return, and thus H(P,P) returning 0 is incorrect.

If you want to claim that the behavior are different, what is the first
instruction accurately emulated from the input of H(P,P) that differs in
results from the direct execution of P(P).

Until you provide that evidence, your "impossible" claim needs to just
be considered a lie.

Re: Essence of the culmination five years of full time work on the Halting Problem

<585e9d6a-63a2-4fdc-9021-a4b44fffe82dn@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34553&group=comp.theory#34553

 copy link   Newsgroups: comp.theory
X-Received: by 2002:adf:d1ef:0:b0:215:89b0:9add with SMTP id g15-20020adfd1ef000000b0021589b09addmr13796932wrd.279.1655560009845;
Sat, 18 Jun 2022 06:46:49 -0700 (PDT)
X-Received: by 2002:a25:2c03:0:b0:668:d1e5:4dbd with SMTP id
s3-20020a252c03000000b00668d1e54dbdmr2695679ybs.527.1655560009255; Sat, 18
Jun 2022 06:46:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!3.eu.feeder.erje.net!feeder.erje.net!fdn.fr!proxad.net!feeder1-2.proxad.net!209.85.128.87.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 18 Jun 2022 06:46:49 -0700 (PDT)
In-Reply-To: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
Injection-Info: google-groups.googlegroups.com; posting-host=124.218.76.41; posting-account=A1PyIwoAAACCahK0CVYFlDZG8JWzz_Go
NNTP-Posting-Host: 124.218.76.41
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <585e9d6a-63a2-4fdc-9021-a4b44fffe82dn@googlegroups.com>
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
From: wynii...@gmail.com (wij)
Injection-Date: Sat, 18 Jun 2022 13:46:49 +0000
Content-Type: text/plain; charset="UTF-8"
 by: wij - Sat, 18 Jun 2022 13:46 UTC

On Saturday, 18 June 2022 at 03:39:57 UTC+8, olcott wrote:
> comp.theory:
> [Solution to one instance of the Halting Problem]
> On 3/14/2017 9:05 AM, peteolcott wrote:
>
> Essence of the culmination five years of full time work on the Halting
> Problem when I first discovered (see above) that a simulating halt
> decider could correctly determine the halt status of the "impossible"
> input:
>
> When a simulating halt decider rejects all inputs as non-halting
> whenever it correctly detects that its correct and complete simulation
> of its input would never reach the final state of this input that all
> [these] inputs (including pathological inputs) are decided correctly.
>
>
>
>
>
> Halting problem undecidability and infinitely nested simulation (V5)
>
> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>
> --
> Copyright 2022 Pete Olcott
>
> "Talent hits a target no one else can hit;
> Genius hits a target no one else can see."
> Arthur Schopenhauer

GUR is repeatedly proved by POOH: Halting decider cannot exist.
olcott can never provide a real halting decider except a verbal one.
Thanks olcott worked so hard for many years to prove my GUR is absolutely correct.

Re: Essence of the culmination five years of full time work on the Halting Problem

<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34663&group=comp.theory#34663

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a05:600c:1547:b0:39c:804c:dc23 with SMTP id f7-20020a05600c154700b0039c804cdc23mr25194228wmg.23.1655735237084;
Mon, 20 Jun 2022 07:27:17 -0700 (PDT)
X-Received: by 2002:a25:3d45:0:b0:663:d1a5:1e39 with SMTP id
k66-20020a253d45000000b00663d1a51e39mr27520454yba.114.1655735236599; Mon, 20
Jun 2022 07:27:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!usenet-fr.net!fdn.fr!proxad.net!feeder1-2.proxad.net!209.85.128.87.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Mon, 20 Jun 2022 07:27:16 -0700 (PDT)
In-Reply-To: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
Injection-Info: google-groups.googlegroups.com; posting-host=89.240.148.226; posting-account=0B-afgoAAABP6274zLUJKa8ZpdIdhsYx
NNTP-Posting-Host: 89.240.148.226
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
From: gw7...@aol.com (Paul N)
Injection-Date: Mon, 20 Jun 2022 14:27:17 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Paul N - Mon, 20 Jun 2022 14:27 UTC

On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
> comp.theory:
> [Solution to one instance of the Halting Problem]
> On 3/14/2017 9:05 AM, peteolcott wrote:
>
> Essence of the culmination five years of full time work on the Halting
> Problem when I first discovered (see above) that a simulating halt
> decider could correctly determine the halt status of the "impossible"
> input:

Stepping back a bit from the detail of this, may I ask where you intend going with this? Suppose for example that you posted something that did make Flibble, Richard and the others realise that they were mistaken and admit it.. Would you regard the admiration of half a dozen people, one calling himself "Mr Flibble", as a worthwhile reward for five years of full-time work? Or do you intend going further, eg getting the results published elsewhere?

Re: Essence of the culmination five years of full time work on the Halting Problem

<tf6dnWhbzfz_Di3_nZ2dnUU7-IXNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34664&group=comp.theory#34664

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 20 Jun 2022 10:33:54 -0500
Date: Mon, 20 Jun 2022 10:33:53 -0500 (CDT)
From: polco...@gmail.com (olcott)
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com> <5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Newsgroups: comp.theory
Organization: news.giganews.com
X-Newsreader: PiaoHong.Usenet.Client.Free:2.02
Message-ID: <tf6dnWhbzfz_Di3_nZ2dnUU7-IXNnZ2d@giganews.com>
Lines: 10
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-cS2rrwYRP9K+qgxoB0aDRpeZxv+n4kHhTOn8Yoo7y7ggFerz0y9Xct381b2hpJHUkMWtcMEzRwC+H07!1mgcSt22m7sUXBJ+BhpKUsomHnczOWgx1VCXYVAvyreQ/j1jbWyAcvn1NZe3u+MiRMp1VebdRSnj!BXs=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2288
 by: olcott - Mon, 20 Jun 2022 15:33 UTC

Paul N <gw7rib@aol.com> Wrote in message:r
> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:> comp.theory: > [Solution to one instance of the Halting Problem] > On 3/14/2017 9:05 AM, peteolcott wrote: > > Essence of the culmination five years of full time work on the Halting > Problem when I first discovered (see above) that a simulating halt > decider could correctly determine the halt status of the "impossible" > input: Stepping back a bit from the detail of this, may I ask where you intend going with this? Suppose for example that you posted something that did make Flibble, Richard and the others realise that they were mistaken and admit it. Would you regard the admiration of half a dozen people, one calling himself "Mr Flibble", as a worthwhile reward for five years of full-time work? Or do you intend going further, eg getting the results published elsewhere?

Ideally I want to get published in JACM the same way that Edsger
Dijkstra was published.
--

----Android NewsGroup Reader----
https://piaohong.s3-us-west-2.amazonaws.com/usenet/index.html

Re: Essence of the culmination five years of full time work on the Halting Problem

<87r13j41uu.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34668&group=comp.theory#34668

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.theory
Subject: Re: Essence of the culmination five years of full time work on the Halting Problem
Date: Mon, 20 Jun 2022 19:38:17 +0100
Organization: A noiseless patient Spider
Lines: 41
Message-ID: <87r13j41uu.fsf@bsb.me.uk>
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="ad97c9b30d5df3d4577dab9278455dd0";
logging-data="23082"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18areta+cLQIWKlBCQnc5V0wzsc2maGOGk="
Cancel-Lock: sha1:X0w7yWzA7y2Q5IYde/MyNDhioL0=
sha1:75A/1LQQw/1qa0mu8oQowkXVzo4=
X-BSB-Auth: 1.881f7f6879a5c37fba4e.20220620193817BST.87r13j41uu.fsf@bsb.me.uk
 by: Ben Bacarisse - Mon, 20 Jun 2022 18:38 UTC

Paul N <gw7rib@aol.com> writes:

> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>> comp.theory:
>> [Solution to one instance of the Halting Problem]
>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>
>> Essence of the culmination five years of full time work on the Halting
>> Problem when I first discovered (see above) that a simulating halt
>> decider could correctly determine the halt status of the "impossible"
>> input:
>
> Stepping back a bit from the detail of this, may I ask where you
> intend going with this? Suppose for example that you posted something
> that did make Flibble, Richard and the others realise that they were
> mistaken and admit it. Would you regard the admiration of half a dozen
> people, one calling himself "Mr Flibble", as a worthwhile reward for
> five years of full-time work?

Five? He first "solved" the halting problem 18 years ago!

BTW, if it was you that gave him the "review" he wanted in
comp.lang.c++, you were lead stray by his trace. It does not show
what he claims it shows.

He's now being very clear about the trick he's trying to pull. There's
nothing "in P" that can stop the apparent infinite recursion, but that's
just sophistry. H is as much part of the computation as any other and H
should, stop the recursion when it returns 0 to P. But he gets around
that by "aborting" (by which I think he means a non-local transfer of
control) so execution never reaches P's ret instruction. His claim that
H is a pure function is just bogus.

> Or do you intend going further, eg
> getting the results published elsewhere?

If he ever does publish, it will be in one of those predatory journals
that change fees.

--
Ben.

Re: Essence of the culmination five years of full time work on the Halting Problem [ Edsger Dijkstra ]

<vbmdnQIxd9XoIi3_nZ2dnUU7_83NnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34669&group=comp.theory#34669

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 20 Jun 2022 13:41:56 -0500
Date: Mon, 20 Jun 2022 13:41:55 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem [ Edsger Dijkstra ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <vbmdnQIxd9XoIi3_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 30
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-KSKDpcdJCz0h+sDptlvNYP704zSHIvJE2Z8SD5pNNmtVDjVQhvMEVSgRClMxIqxL1x1iCLFP2j32C5V!QAa0jn6afO7yEaOe4rjgpRZ9Q3jSv7legD3Gr0ghWNoun0BUfLWyUZtebBMkQrbNaQOnnpHWstUi
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2770
 by: olcott - Mon, 20 Jun 2022 18:41 UTC

On 6/20/2022 9:27 AM, Paul N wrote:
> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>> comp.theory:
>> [Solution to one instance of the Halting Problem]
>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>
>> Essence of the culmination five years of full time work on the Halting
>> Problem when I first discovered (see above) that a simulating halt
>> decider could correctly determine the halt status of the "impossible"
>> input:
>
> Stepping back a bit from the detail of this, may I ask where you intend going with this? Suppose for example that you posted something that did make Flibble, Richard and the others realise that they were mistaken and admit it. Would you regard the admiration of half a dozen people, one calling himself "Mr Flibble", as a worthwhile reward for five years of full-time work? Or do you intend going further, eg getting the results published elsewhere?

Ideally I want to get published in JACM the same way that Edsger
Dijkstra was published.

https://dl.acm.org/doi/10.1145/362929.362947

Letters to the editor: go to statement considered harmful
Author: Edsger W. Dijkstra

Communications of the ACM Volume 11 Issue 3 March 1968 pp 147–148
https://doi.org/10.1145/362929.362947

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Essence of the culmination five years of full time work on the Halting Problem [ competence ]

<yPmdne4wfcZ-XC3_nZ2dnUU7_83NnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34670&group=comp.theory#34670

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 20 Jun 2022 13:52:19 -0500
Date: Mon, 20 Jun 2022 13:52:18 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem [ competence ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87r13j41uu.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <yPmdne4wfcZ-XC3_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 84
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-4KaoCKMLZZsN4r9cHcnOBcJ9LMMREB8TPjBeo/M3z3fHVO2ujUs3vnT7OWArWG/VzgsQTFtdMM1icEB!BAVgKc1n0ISoBI+C5ZWkP6ouwUhnVS2XNKEiHwFbiWptv70sWevIPAEyczcHrIJj3i9pbTX/+GA/
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4232
 by: olcott - Mon, 20 Jun 2022 18:52 UTC

On 6/20/2022 1:38 PM, Ben Bacarisse wrote:
> Paul N <gw7rib@aol.com> writes:
>
>> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>>> comp.theory:
>>> [Solution to one instance of the Halting Problem]
>>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>>
>>> Essence of the culmination five years of full time work on the Halting
>>> Problem when I first discovered (see above) that a simulating halt
>>> decider could correctly determine the halt status of the "impossible"
>>> input:
>>
>> Stepping back a bit from the detail of this, may I ask where you
>> intend going with this? Suppose for example that you posted something
>> that did make Flibble, Richard and the others realise that they were
>> mistaken and admit it. Would you regard the admiration of half a dozen
>> people, one calling himself "Mr Flibble", as a worthwhile reward for
>> five years of full-time work?
>
> Five? He first "solved" the halting problem 18 years ago!
>
> BTW, if it was you that gave him the "review" he wanted in
> comp.lang.c++, you were lead stray by his trace. It does not show
> what he claims it shows.
>
> He's now being very clear about the trick he's trying to pull. There's
> nothing "in P" that can stop the apparent infinite recursion, but that's
> just sophistry. H is as much part of the computation as any other and H
> should, stop the recursion when it returns 0 to P. But he gets around
> that by "aborting" (by which I think he means a non-local transfer of
> control) so execution never reaches P's ret instruction. His claim that
> H is a pure function is just bogus.
>

#include <stdint.h>
typedef void (*ptr)();

void P(ptr x)
{ if (H(x, x))
HERE: goto HERE;
return;
}

int main()
{ Output("Input_Halts = ", H(P, P));
}

_P()
[00001352](01) 55 push ebp
[00001353](02) 8bec mov ebp,esp
[00001355](03) 8b4508 mov eax,[ebp+08]
[00001358](01) 50 push eax // push P
[00001359](03) 8b4d08 mov ecx,[ebp+08]
[0000135c](01) 51 push ecx // push P
[0000135d](05) e840feffff call 000011a2 // call H
[00001362](03) 83c408 add esp,+08
[00001365](02) 85c0 test eax,eax
[00001367](02) 7402 jz 0000136b
[00001369](02) ebfe jmp 00001369
[0000136b](01) 5d pop ebp
[0000136c](01) c3 ret
Size in bytes:(0027) [0000136c]

Every sufficiently competent software engineer can easily verify that
the complete and correct x86 emulation of the input to H(P,P) by H would
never reach the "ret" instruction of P.

>> Or do you intend going further, eg
>> getting the results published elsewhere?
>
> If he ever does publish, it will be in one of those predatory journals
> that change fees.
>

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Essence of the culmination five years of full time work on the Halting Problem [ competence ]

<20220620200206.00001329@reddwarf.jmc>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34671&group=comp.theory#34671

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!feeder.usenetexpress.com!tr2.eu1.usenetexpress.com!81.171.65.16.MISMATCH!peer03.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx01.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc (Mr Flibble)
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Subject: Re: Essence of the culmination five years of full time work on the Halting Problem [ competence ]
Message-ID: <20220620200206.00001329@reddwarf.jmc>
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com> <5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com> <87r13j41uu.fsf@bsb.me.uk> <yPmdne4wfcZ-XC3_nZ2dnUU7_83NnZ2d@giganews.com>
Organization: Jupiter Mining Corp
X-Newsreader: Claws Mail 3.17.8 (GTK+ 2.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 102
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Mon, 20 Jun 2022 19:02:06 UTC
Date: Mon, 20 Jun 2022 20:02:06 +0100
X-Received-Bytes: 4375
 by: Mr Flibble - Mon, 20 Jun 2022 19:02 UTC

On Mon, 20 Jun 2022 13:52:18 -0500
olcott <NoOne@NoWhere.com> wrote:

> On 6/20/2022 1:38 PM, Ben Bacarisse wrote:
> > Paul N <gw7rib@aol.com> writes:
> >
> >> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
> >>> comp.theory:
> >>> [Solution to one instance of the Halting Problem]
> >>> On 3/14/2017 9:05 AM, peteolcott wrote:
> >>>
> >>> Essence of the culmination five years of full time work on the
> >>> Halting Problem when I first discovered (see above) that a
> >>> simulating halt decider could correctly determine the halt status
> >>> of the "impossible" input:
> >>
> >> Stepping back a bit from the detail of this, may I ask where you
> >> intend going with this? Suppose for example that you posted
> >> something that did make Flibble, Richard and the others realise
> >> that they were mistaken and admit it. Would you regard the
> >> admiration of half a dozen people, one calling himself "Mr
> >> Flibble", as a worthwhile reward for five years of full-time work?
> >>
> >
> > Five? He first "solved" the halting problem 18 years ago!
> >
> > BTW, if it was you that gave him the "review" he wanted in
> > comp.lang.c++, you were lead stray by his trace. It does not show
> > what he claims it shows.
> >
> > He's now being very clear about the trick he's trying to pull.
> > There's nothing "in P" that can stop the apparent infinite
> > recursion, but that's just sophistry. H is as much part of the
> > computation as any other and H should, stop the recursion when it
> > returns 0 to P. But he gets around that by "aborting" (by which I
> > think he means a non-local transfer of control) so execution never
> > reaches P's ret instruction. His claim that H is a pure function
> > is just bogus.
>
> #include <stdint.h>
> typedef void (*ptr)();
>
> void P(ptr x)
> {
> if (H(x, x))
> HERE: goto HERE;
> return;
> }
>
> int main()
> {
> Output("Input_Halts = ", H(P, P));
> }
>
> _P()
> [00001352](01) 55 push ebp
> [00001353](02) 8bec mov ebp,esp
> [00001355](03) 8b4508 mov eax,[ebp+08]
> [00001358](01) 50 push eax // push P
> [00001359](03) 8b4d08 mov ecx,[ebp+08]
> [0000135c](01) 51 push ecx // push P
> [0000135d](05) e840feffff call 000011a2 // call H
> [00001362](03) 83c408 add esp,+08
> [00001365](02) 85c0 test eax,eax
> [00001367](02) 7402 jz 0000136b
> [00001369](02) ebfe jmp 00001369
> [0000136b](01) 5d pop ebp
> [0000136c](01) c3 ret
> Size in bytes:(0027) [0000136c]
>
> Every sufficiently competent software engineer can easily verify that
> the complete and correct x86 emulation of the input to H(P,P) by H
> would never reach the "ret" instruction of P.

void Px(u32 x)
{ H(x, x);
return;
}

int main()
{ Output("Input_Halts = ", H((u32)Px, (u32)Px));
}

....[000013e8][00102357][00000000] 83c408 add esp,+08
....[000013eb][00102353][00000000] 50 push eax
....[000013ec][0010234f][00000427] 6827040000 push 00000427
---[000013f1][0010234f][00000427] e880f0ffff call 00000476
Input_Halts = 0
....[000013f6][00102357][00000000] 83c408 add esp,+08
....[000013f9][00102357][00000000] 33c0 xor eax,eax
....[000013fb][0010235b][00100000] 5d pop ebp
....[000013fc][0010235f][00000004] c3 ret
Number of Instructions Executed(16120)

It gets the answer wrong, i.e. input has not been decided correctly.
QED.

/Flibble

Re: Essence of the culmination five years of full time work on the Halting Problem

<t8qm1e$lo5$1@dont-email.me>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34672&group=comp.theory#34672

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: jbb...@notatt.com (Jeff Barnett)
Newsgroups: comp.theory
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
Date: Mon, 20 Jun 2022 14:41:16 -0600
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <t8qm1e$lo5$1@dont-email.me>
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 20 Jun 2022 20:41:18 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="3484d116adf6d8f504ec748e00918668";
logging-data="22277"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19k60xJrMXORVBYqz6ZD72y0vxGyGAB564="
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Cancel-Lock: sha1:SCl4y7s6iFohSCR+Mk8Fos0FLMQ=
In-Reply-To: <87r13j41uu.fsf@bsb.me.uk>
Content-Language: en-US
 by: Jeff Barnett - Mon, 20 Jun 2022 20:41 UTC

On 6/20/2022 12:38 PM, Ben Bacarisse wrote:
> Paul N <gw7rib@aol.com> writes:
>> Or do you intend going further, eg
>> getting the results published elsewhere?
>
> If he ever does publish, it will be in one of those predatory journals
> that change fees.
Damn few that don't charge fees now days. Even the IEEE tries to twist
arms to get some cash in the last ~ 20 years. However they, like most
"reputable journals," will publish without remuneration. The referees
are the ultimate hoop to jump through. On the other hand, I get frequent
emails from /journals?/ doing special issues with editors I don't know,
not well defined topics, etc., accompanied by well-written instructions
on what the author and page charges are. For a larger fee, some will
even let you be an editor of that special issue!

I remember discussing this with a CS department of a Los Angeles
University. They wanted some way to credit various publications and hit
on a weighting scheme that I do not remember precisely. But it went
something like this with adjustments for multi-author papers:

Points Publication Type
------ ----------------
-1 What you call predatory above
1 Credible but not stellar conference proceedings with referees
2 Credible conference proceedings with journal quality refereeing
4 Journal publication with quality refereeing process
5 As above for certain very "exclusive" reputations

Examples of 2 point conferences were AAAI and IJCAI where the rejection
rate was about the same as for good journals.

Examples of 5 point journals where JACM and IEEE Computers

Grad students trying for their PhD had a total to hit as a requirement;
each professorial rank also had a threshold to achieve to be considered
for promotion to that rank. (Having won a Nobel or been elected to one
of our national academies allowed all this nonsense to be skipped.)
--
Jeff Barnett

Re: Essence of the culmination five years of full time work on the Halting Problem [ competence ]

<1Q6sK.221140$vAW9.321@fx10.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34673&group=comp.theory#34673

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx10.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the Halting Problem [ competence ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com> <5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com> <87r13j41uu.fsf@bsb.me.uk> <yPmdne4wfcZ-XC3_nZ2dnUU7_83NnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <yPmdne4wfcZ-XC3_nZ2dnUU7_83NnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 57
Message-ID: <1Q6sK.221140$vAW9.321@fx10.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Mon, 20 Jun 2022 18:49:33 -0400
X-Received-Bytes: 2790
 by: Richard Damon - Mon, 20 Jun 2022 22:49 UTC

On 6/20/22 2:52 PM, olcott wrote:
>
> #include <stdint.h>
> typedef void (*ptr)();
>
> void P(ptr x)
> {
>   if (H(x, x))
>     HERE: goto HERE;
>   return;
> }
>
> int main()
> {
>   Output("Input_Halts = ", H(P, P));
> }
>
> _P()
> [00001352](01) 55 push ebp
> [00001353](02) 8bec mov ebp,esp
> [00001355](03) 8b4508 mov eax,[ebp+08]
> [00001358](01) 50 push eax              // push P
> [00001359](03) 8b4d08 mov ecx,[ebp+08]
> [0000135c](01) 51 push ecx              // push P
> [0000135d](05) e840feffff call 000011a2 // call H
> [00001362](03) 83c408 add esp,+08
> [00001365](02) 85c0 test eax,eax
> [00001367](02) 7402 jz 0000136b
> [00001369](02) ebfe jmp 00001369
> [0000136b](01) 5d pop ebp
> [0000136c](01) c3 ret
> Size in bytes:(0027) [0000136c]
>
> Every sufficiently competent software engineer can easily verify that
> the complete and correct x86 emulation of the input to H(P,P) by H would
> never reach the "ret" instruction of P.
>

Since the H that gives the non-halting answer doesn't do a complete and
correct x86 emulation of the input, this is a contradiction of terms.

BY DEFINITION, a "complete" x86 emulation doesn't stop until it reches
ah Halting state, this if the input is non-halting, the complete
emulation doesn't stop, so H can not as the same algorithm do both a
complete x86 emulation and return the value 0.

You are just showing your ignorance of what you are talking about.

>>> Or do you intend going further, eg
>>> getting the results published elsewhere?
>>
>> If he ever does publish, it will be in one of those predatory journals
>> that change fees.
>>
>
>

Re: Essence of the culmination five years of full time work on the Halting Problem

<87letq50sq.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34677&group=comp.theory#34677

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.theory
Subject: Re: Essence of the culmination five years of full time work on the Halting Problem
Date: Tue, 21 Jun 2022 01:15:49 +0100
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <87letq50sq.fsf@bsb.me.uk>
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk> <t8qm1e$lo5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="0bdc4ad2a1c02b471abc739ad631e533";
logging-data="32070"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19MSna5kk1s9+jxRw0b1ezOApNLohkgDUQ="
Cancel-Lock: sha1:dWz6WR+fPXSiuD1YTrhAuG5Behk=
sha1:IiXD0bmpCf2LzzSLaDAbiiKkmhk=
X-BSB-Auth: 1.358badb185a1d9129f72.20220621011549BST.87letq50sq.fsf@bsb.me.uk
 by: Ben Bacarisse - Tue, 21 Jun 2022 00:15 UTC

Jeff Barnett <jbb@notatt.com> writes:

> On 6/20/2022 12:38 PM, Ben Bacarisse wrote:
>> Paul N <gw7rib@aol.com> writes:
>>> Or do you intend going further, eg
>>> getting the results published elsewhere?
>> If he ever does publish, it will be in one of those predatory journals
>> that change fees.

> I remember discussing this with a CS department of a Los Angeles
> University. They wanted some way to credit various publications and
> hit on a weighting scheme that I do not remember precisely. But it
> went something like this with adjustments for multi-author papers:
>
> Points Publication Type
> ------ ----------------
> -1 What you call predatory above
> 1 Credible but not stellar conference proceedings with referees
> 2 Credible conference proceedings with journal quality refereeing
> 4 Journal publication with quality refereeing process
> 5 As above for certain very "exclusive" reputations
>
> Examples of 2 point conferences were AAAI and IJCAI where the
> rejection rate was about the same as for good journals.
>
> Examples of 5 point journals where JACM and IEEE Computers

An early version of the "impact factor" so beloved of today's academic
administrators. PageRank for journals...

--
Ben.

Re: Essence of the culmination five years of full time work on the Halting Problem

<heOdnUYRMLdzjiz_nZ2dnUU7_83NnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34678&group=comp.theory#34678

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 20 Jun 2022 19:42:22 -0500
Date: Mon, 20 Jun 2022 19:42:20 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
Content-Language: en-US
Newsgroups: comp.theory
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk> <t8qm1e$lo5$1@dont-email.me>
<87letq50sq.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87letq50sq.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <heOdnUYRMLdzjiz_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 46
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-mBoAYzPIQrTbKLqRaMAf9FF5MWaj8HZUOvETKbT9KvJ5/K1rScj3/EKlNnaGzAO/+/avXrNo13mW0gj!JSCj1SJuQhjkkVCUMWl6+AG2BiTaFh/F5nJsQ1MNed3wFjojP9erXTp8tNHhWUkVNZUI6J+0/70p
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 3248
 by: olcott - Tue, 21 Jun 2022 00:42 UTC

On 6/20/2022 7:15 PM, Ben Bacarisse wrote:
> Jeff Barnett <jbb@notatt.com> writes:
>
>> On 6/20/2022 12:38 PM, Ben Bacarisse wrote:
>>> Paul N <gw7rib@aol.com> writes:
>>>> Or do you intend going further, eg
>>>> getting the results published elsewhere?
>>> If he ever does publish, it will be in one of those predatory journals
>>> that change fees.
>
>> I remember discussing this with a CS department of a Los Angeles
>> University. They wanted some way to credit various publications and
>> hit on a weighting scheme that I do not remember precisely. But it
>> went something like this with adjustments for multi-author papers:
>>
>> Points Publication Type
>> ------ ----------------
>> -1 What you call predatory above
>> 1 Credible but not stellar conference proceedings with referees
>> 2 Credible conference proceedings with journal quality refereeing
>> 4 Journal publication with quality refereeing process
>> 5 As above for certain very "exclusive" reputations
>>
>> Examples of 2 point conferences were AAAI and IJCAI where the
>> rejection rate was about the same as for good journals.
>>
>> Examples of 5 point journals where JACM and IEEE Computers
>
> An early version of the "impact factor" so beloved of today's academic
> administrators. PageRank for journals...
>

The impact factor (IF) or journal impact factor (JIF) of an academic
journal is a scientometric index calculated by Clarivate that reflects
the yearly mean number of citations of articles published in the last
two years in a given journal
https://en.wikipedia.org/wiki/Impact_factor

https://www.resurchify.com/find/?query=Communications+of+the+ACM#search_results

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Essence of the culmination five years of full time work on the Halting Problem

<FF8sK.93561$ssF.73618@fx14.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34681&group=comp.theory#34681

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx14.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem
Content-Language: en-US
Newsgroups: comp.theory
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<tf6dnWhbzfz_Di3_nZ2dnUU7-IXNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tf6dnWhbzfz_Di3_nZ2dnUU7-IXNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 10
Message-ID: <FF8sK.93561$ssF.73618@fx14.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Mon, 20 Jun 2022 20:55:01 -0400
X-Received-Bytes: 2204
 by: Richard Damon - Tue, 21 Jun 2022 00:55 UTC

On 6/20/22 11:33 AM, olcott wrote:
> Paul N <gw7rib@aol.com> Wrote in message:r
>> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:> comp.theory: > [Solution to one instance of the Halting Problem] > On 3/14/2017 9:05 AM, peteolcott wrote: > > Essence of the culmination five years of full time work on the Halting > Problem when I first discovered (see above) that a simulating halt > decider could correctly determine the halt status of the "impossible" > input: Stepping back a bit from the detail of this, may I ask where you intend going with this? Suppose for example that you posted something that did make Flibble, Richard and the others realise that they were mistaken and admit it. Would you regard the admiration of half a dozen people, one calling himself "Mr Flibble", as a worthwhile reward for five years of full-time work? Or do you intend going further, eg getting the results published elsewhere?
>
> Ideally I want to get published in JACM the same way that Edsger
> Dijkstra was published.

You know that the problem is that their reviews don't meet your
qualifications, they know something about the Halting Problem, and thus
will immediately see your errors.

Re: Essence of the culmination five years of full time work on the Halting Problem [ strawman ]

<SLOdnVhUhsnv6y__nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34696&group=comp.theory#34696

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 21 Jun 2022 20:54:58 -0500
Date: Tue, 21 Jun 2022 20:54:56 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem [ strawman ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87r13j41uu.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <SLOdnVhUhsnv6y__nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 72
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-lTpEEnoUSeKP5RzTyMrOgmEAKKJXzJGKSuTSn1jQbc8Jtix6QkMNHzOpcTr8q+8+Y8VVuyixVpZ7ftj!3nxnjndul4BgPcRfeE8RVoA2IBzZbTZSxegXiT0fPVtZ74ONYVWbDgN0FfQx8sKWI3s+4fTl32R7
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4356
 by: olcott - Wed, 22 Jun 2022 01:54 UTC

On 6/20/2022 1:38 PM, Ben Bacarisse wrote:
> Paul N <gw7rib@aol.com> writes:
>
>> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>>> comp.theory:
>>> [Solution to one instance of the Halting Problem]
>>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>>
>>> Essence of the culmination five years of full time work on the Halting
>>> Problem when I first discovered (see above) that a simulating halt
>>> decider could correctly determine the halt status of the "impossible"
>>> input:
>>
>> Stepping back a bit from the detail of this, may I ask where you
>> intend going with this? Suppose for example that you posted something
>> that did make Flibble, Richard and the others realise that they were
>> mistaken and admit it. Would you regard the admiration of half a dozen
>> people, one calling himself "Mr Flibble", as a worthwhile reward for
>> five years of full-time work?
>
> Five? He first "solved" the halting problem 18 years ago!
>
> BTW, if it was you that gave him the "review" he wanted in
> comp.lang.c++, you were lead stray by his trace. It does not show
> what he claims it shows.
>
> He's now being very clear about the trick he's trying to pull. There's
> nothing "in P" that can stop the apparent infinite recursion, but that's
> just sophistry. H is as much part of the computation as any other and H
> should, stop the recursion when it returns 0 to P. But he gets around
> that by "aborting" (by which I think he means a non-local transfer of
> control) so execution never reaches P's ret instruction. His claim that
> H is a pure function is just bogus.
>
Every sufficiently competent software engineer can easily verify that
the complete and correct x86 emulation of the input to H(P,P) by H would
never reach the "ret" instruction of P because both H and P would remain
stuck in infinitely recursive emulation.

If H can determine that this is the case in a finite number of steps
then H could reject its input on this basis.

If you can't form a correct rebuttal in terms of the actual software
engineering of the *exact words specified above* then that would prove
that you are insufficiently technically competent on this point.

If you incorrectly paraphrase what I said and form a rebuttal to this
incorrect paraphrase then sufficiently technically competent software
engineers would know that you are trying to get away with the strawman
deception.

straw man
An intentionally misrepresented proposition that is set up because it is
easier to defeat than an opponent's real argument.
https://www.lexico.com/en/definition/straw_man

>> Or do you intend going further, eg
>> getting the results published elsewhere?
>
> If he ever does publish, it will be in one of those predatory journals
> that change fees.
>

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Essence of the culmination five years of full time work on the Halting Problem [ strawman ]

<SdvsK.101431$ssF.52619@fx14.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34699&group=comp.theory#34699

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.uzoreto.com!feeder1.feed.usenet.farm!feed.usenet.farm!peer02.ams4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx14.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem [ strawman ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk> <SLOdnVhUhsnv6y__nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <SLOdnVhUhsnv6y__nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 98
Message-ID: <SdvsK.101431$ssF.52619@fx14.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Tue, 21 Jun 2022 22:35:29 -0400
X-Received-Bytes: 5156
 by: Richard Damon - Wed, 22 Jun 2022 02:35 UTC

On 6/21/22 9:54 PM, olcott wrote:
> On 6/20/2022 1:38 PM, Ben Bacarisse wrote:
>> Paul N <gw7rib@aol.com> writes:
>>
>>> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>>>> comp.theory:
>>>> [Solution to one instance of the Halting Problem]
>>>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>>>
>>>> Essence of the culmination five years of full time work on the Halting
>>>> Problem when I first discovered (see above) that a simulating halt
>>>> decider could correctly determine the halt status of the "impossible"
>>>> input:
>>>
>>> Stepping back a bit from the detail of this, may I ask where you
>>> intend going with this? Suppose for example that you posted something
>>> that did make Flibble, Richard and the others realise that they were
>>> mistaken and admit it. Would you regard the admiration of half a dozen
>>> people, one calling himself "Mr Flibble", as a worthwhile reward for
>>> five years of full-time work?
>>
>> Five?  He first "solved" the halting problem 18 years ago!
>>
>> BTW, if it was you that gave him the "review" he wanted in
>> comp.lang.c++, you were lead stray by his trace.  It does not show
>> what he claims it shows.
>>
>> He's now being very clear about the trick he's trying to pull.  There's
>> nothing "in P" that can stop the apparent infinite recursion, but that's
>> just sophistry.  H is as much part of the computation as any other and H
>> should, stop the recursion when it returns 0 to P.  But he gets around
>> that by "aborting" (by which I think he means a non-local transfer of
>> control) so execution never reaches P's ret instruction.  His claim that
>> H is a pure function is just bogus.
>>
> Every sufficiently competent software engineer can easily verify that
> the complete and correct x86 emulation of the input to H(P,P) by H would
> never reach the "ret" instruction of P because both H and P would remain
> stuck in infinitely recursive emulation.

An even somewhat competent software engineer would understand that if H
actually DOES a complete and correct emulation of its input, it can't
stop that emulation to answer 0, now can it?

>
> If H can determine that this is the case in a finite number of steps
> then H could reject its input on this basis.

Thats your claim, but not proven. In fact, it has been proven to be
impossibe for H in emulating the input to H(P,P) for the P built on that H.

You CLAIM a lot, but seem to be weak on proof.

>
> If you can't form a correct rebuttal in terms of the actual software
> engineering of the *exact words specified above* then that would prove
> that you are insufficiently technically competent on this point.
>

Many have been given, if you can't understand them, the problem is on
your end.

> If you incorrectly paraphrase what I said and form a rebuttal to this
> incorrect paraphrase then sufficiently technically competent software
> engineers would know that you are trying to get away with the strawman
> deception.

If you statements were self-contradictiory, if might be easier to
comment on them.

Your H that both does a complete and correct emulation and also aborts
its emulation because it "proved" somethint that isn't true is an
impossibility on several levels.

>
> straw man
> An intentionally misrepresented proposition that is set up because it is
> easier to defeat than an opponent's real argument.
> https://www.lexico.com/en/definition/straw_man
>
>

So, why don't YOU answer the rebuttals made to your arguement rather
than just repeat your disproved statements.

The Journal editors won't take that sort of answer, if they even think
it is worth asking for the clariifcation before trashing your "paper".

>
>>> Or do you intend going further, eg
>>> getting the results published elsewhere?
>>
>> If he ever does publish, it will be in one of those predatory journals
>> that change fees.
>>
>
>

Re: Essence of the culmination five years of full time work on the Halting Problem [ strawman ]

<t8u00v$is3$1@dont-email.me>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34702&group=comp.theory#34702

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem [ strawman ]
Date: Tue, 21 Jun 2022 21:50:04 -0500
Organization: A noiseless patient Spider
Lines: 76
Message-ID: <t8u00v$is3$1@dont-email.me>
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk> <SLOdnVhUhsnv6y__nZ2dnUU7_8zNnZ2d@giganews.com>
<SdvsK.101431$ssF.52619@fx14.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 22 Jun 2022 02:50:07 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="7b15e0603d516779e533517fc35091aa";
logging-data="19331"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18uIm6+xmQCrpXXd55xjfer"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Cancel-Lock: sha1:YSiRPxyMgi7lBjXauHK8qh1Nl7c=
In-Reply-To: <SdvsK.101431$ssF.52619@fx14.iad>
Content-Language: en-US
 by: olcott - Wed, 22 Jun 2022 02:50 UTC

On 6/21/2022 9:35 PM, Richard Damon wrote:
> On 6/21/22 9:54 PM, olcott wrote:
>> On 6/20/2022 1:38 PM, Ben Bacarisse wrote:
>>> Paul N <gw7rib@aol.com> writes:
>>>
>>>> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>>>>> comp.theory:
>>>>> [Solution to one instance of the Halting Problem]
>>>>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>>>>
>>>>> Essence of the culmination five years of full time work on the Halting
>>>>> Problem when I first discovered (see above) that a simulating halt
>>>>> decider could correctly determine the halt status of the "impossible"
>>>>> input:
>>>>
>>>> Stepping back a bit from the detail of this, may I ask where you
>>>> intend going with this? Suppose for example that you posted something
>>>> that did make Flibble, Richard and the others realise that they were
>>>> mistaken and admit it. Would you regard the admiration of half a dozen
>>>> people, one calling himself "Mr Flibble", as a worthwhile reward for
>>>> five years of full-time work?
>>>
>>> Five?  He first "solved" the halting problem 18 years ago!
>>>
>>> BTW, if it was you that gave him the "review" he wanted in
>>> comp.lang.c++, you were lead stray by his trace.  It does not show
>>> what he claims it shows.
>>>
>>> He's now being very clear about the trick he's trying to pull.  There's
>>> nothing "in P" that can stop the apparent infinite recursion, but that's
>>> just sophistry.  H is as much part of the computation as any other and H
>>> should, stop the recursion when it returns 0 to P.  But he gets around
>>> that by "aborting" (by which I think he means a non-local transfer of
>>> control) so execution never reaches P's ret instruction.  His claim that
>>> H is a pure function is just bogus.
>>>
>> Every sufficiently competent software engineer can easily verify that
>> the complete and correct x86 emulation of the input to H(P,P) by H
>> would never reach the "ret" instruction of P because both H and P
>> would remain stuck in infinitely recursive emulation.
>
> An even somewhat competent software engineer would understand that if H
> actually DOES a complete and correct emulation of its input, it can't
> stop that emulation to answer 0, now can it?
>

Of course.

>>
>> If H can determine that this is the case in a finite number of steps
>> then H could reject its input on this basis.
>
> Thats your claim, but not proven. In fact, it has been proven to be
> impossibe for H in emulating the input to H(P,P) for the P built on that H.
>
> You CLAIM a lot, but seem to be weak on proof.

I just posted all of the details that sufficiently prove this point to
sufficiently competent software engineers.

A software engineer must be an expert in: the C programming language,
the x86 programming language, exactly how C translates into x86 and the
ability to recognize infinite recursion at the x86 assembly language
level. No knowledge of the halting problem is required.

All of the recent rebuttals try to bluff their way past this requirement
to hide the fact that they lack this sufficient technical competence.
Sufficiently competent software engineers will agree.

On 6/21/2022 9:38 PM, olcott wrote: [Technically competent Software
engineers can verify this halting problem proof refutation]

--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

Re: Essence of the culmination five years of full time work on the Halting Problem [ strawman ]

<2UvsK.300028$5fVf.41300@fx09.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=34706&group=comp.theory#34706

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!feeder.erje.net!border1.nntp.dca1.giganews.com!nntp.giganews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx09.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.10.0
Subject: Re: Essence of the culmination five years of full time work on the
Halting Problem [ strawman ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <wPydnR1SR-QbRTH_nZ2dnUU7_83NnZ2d@giganews.com>
<5a32dbe9-449e-4bd4-8983-8e2a270b4fd6n@googlegroups.com>
<87r13j41uu.fsf@bsb.me.uk> <SLOdnVhUhsnv6y__nZ2dnUU7_8zNnZ2d@giganews.com>
<SdvsK.101431$ssF.52619@fx14.iad> <t8u00v$is3$1@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <t8u00v$is3$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 110
Message-ID: <2UvsK.300028$5fVf.41300@fx09.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Tue, 21 Jun 2022 23:20:29 -0400
X-Received-Bytes: 5824
X-Original-Bytes: 5603
 by: Richard Damon - Wed, 22 Jun 2022 03:20 UTC

On 6/21/22 10:50 PM, olcott wrote:
> On 6/21/2022 9:35 PM, Richard Damon wrote:
>> On 6/21/22 9:54 PM, olcott wrote:
>>> On 6/20/2022 1:38 PM, Ben Bacarisse wrote:
>>>> Paul N <gw7rib@aol.com> writes:
>>>>
>>>>> On Friday, June 17, 2022 at 8:39:57 PM UTC+1, olcott wrote:
>>>>>> comp.theory:
>>>>>> [Solution to one instance of the Halting Problem]
>>>>>> On 3/14/2017 9:05 AM, peteolcott wrote:
>>>>>>
>>>>>> Essence of the culmination five years of full time work on the
>>>>>> Halting
>>>>>> Problem when I first discovered (see above) that a simulating halt
>>>>>> decider could correctly determine the halt status of the "impossible"
>>>>>> input:
>>>>>
>>>>> Stepping back a bit from the detail of this, may I ask where you
>>>>> intend going with this? Suppose for example that you posted something
>>>>> that did make Flibble, Richard and the others realise that they were
>>>>> mistaken and admit it. Would you regard the admiration of half a dozen
>>>>> people, one calling himself "Mr Flibble", as a worthwhile reward for
>>>>> five years of full-time work?
>>>>
>>>> Five?  He first "solved" the halting problem 18 years ago!
>>>>
>>>> BTW, if it was you that gave him the "review" he wanted in
>>>> comp.lang.c++, you were lead stray by his trace.  It does not show
>>>> what he claims it shows.
>>>>
>>>> He's now being very clear about the trick he's trying to pull.  There's
>>>> nothing "in P" that can stop the apparent infinite recursion, but
>>>> that's
>>>> just sophistry.  H is as much part of the computation as any other
>>>> and H
>>>> should, stop the recursion when it returns 0 to P.  But he gets around
>>>> that by "aborting" (by which I think he means a non-local transfer of
>>>> control) so execution never reaches P's ret instruction.  His claim
>>>> that
>>>> H is a pure function is just bogus.
>>>>
>>> Every sufficiently competent software engineer can easily verify that
>>> the complete and correct x86 emulation of the input to H(P,P) by H
>>> would never reach the "ret" instruction of P because both H and P
>>> would remain stuck in infinitely recursive emulation.
>>
>> An even somewhat competent software engineer would understand that if
>> H actually DOES a complete and correct emulation of its input, it
>> can't stop that emulation to answer 0, now can it?
>>
>
> Of course.
>
>>>
>>> If H can determine that this is the case in a finite number of steps
>>> then H could reject its input on this basis.
>>
>> Thats your claim, but not proven. In fact, it has been proven to be
>> impossibe for H in emulating the input to H(P,P) for the P built on
>> that H.
>>
>> You CLAIM a lot, but seem to be weak on proof.
>
> I just posted all of the details that sufficiently prove this point to
> sufficiently competent software engineers.

No, you haven't, because you haven't dealt with the fact that your
statement is more impossible than the liar's paradox.

You CLAIM that H does BOTH a complete and correct emulation of its input
and also aborts its input to return its rejects.

That is just like saying your "CAT" barks, because what you call your
cat is actualy a dog.

H can NOT do the infinte job of being a complete and correct emulator
and also return an answer in finite time.

Until you explain how you figure you do that, you are just revealing
that you are totally ignorant of the basics of the field.

>
> A software engineer must be an expert in: the C programming language,
> the x86 programming language, exactly how C translates into x86 and the
> ability to recognize infinite recursion at the x86 assembly language
> level. No knowledge of the halting problem is required.

YEP, ALL OF THEM, except I understand the Halting Problem, which is your
problem.

I will note, one of your problems seems to be you don't understand the
difference between a C function and a C program, and that a C funciton,
under some interpretations, isn't the same as a function in computation
theory, as in computation theory, a function includes every thing it uses.

>
> All of the recent rebuttals try to bluff their way past this requirement
> to hide the fact that they lack this sufficient technical competence.
> Sufficiently competent software engineers will agree.

No, YOU are "bluffing" by just making impossible claims.

>
> On 6/21/2022 9:38 PM, olcott wrote: [Technically competent Software
> engineers can verify this halting problem proof refutation]
>
>

Which I have posted the refuation to it.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor