Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Things are not as simple as they seems at first. -- Edward Thorp


devel / comp.theory / The complete source-code of the halt decider is now published

SubjectAuthor
* The complete source-code of the halt decider is now publishedolcott
`* The complete source-code of the halt decider is now publishedPython
 +- The complete source-code of the halt decider is now publishedRichard Damon
 +- The complete source-code of the halt decider is now publishedRichard Damon
 `* The complete source-code of the halt decider is now publishedolcott
  `- The complete source-code of the halt decider is now publishedRichard Damon

1
The complete source-code of the halt decider is now published

<VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeds.phibee-telecom.net!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: Thu, 21 Jul 2022 16:24:44 -0500
Date: Thu, 21 Jul 2022 16:24:43 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Newsgroups: comp.theory
Content-Language: en-US
From: NoO...@NoWhere.com (olcott)
Subject: The complete source-code of the halt decider is now published
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 59
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-FT5+To48AwvkBnmlShoiqXcexb4ija3Ona4zHSuJszIFHnfjc60K58SPx9EEWtfV1b3wp7PYFyQfOOD!TxY6BkPsJISrcJM6FLMRbGnSMI5hdluv+ymvV1RKAyKJtmQsffFtq13mAgDYFLW85exZ3/NjzVoM!Lw==
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: 3202
 by: olcott - Thu, 21 Jul 2022 21:24 UTC

*I have been very sick in the hospital since Monday, I just got out*

The following linked paper now includes five pages of the complete C
source-code of my halt decider.

H may or may not be a computable function. Even if H is not a computable
function it might still be applied to the broader field of termination
analysis. https://en.wikipedia.org/wiki/Termination_analysis

I want it to be fully evaluated from the software engineering level so
that mutual agreement is reached before anything related to computable
functions is even mentioned.

*Here is the claim I want evaluated* H(P,P) does correctly predict that
its simulated P would never reach its "return" instruction.

typedef void (*ptr)();
int H(ptr p, ptr i); // simulating halt decider

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

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

When simulating halt decider H(P,P) simulates its input it can see that:
(1) Function H() is called from P().
(2) With the same arguments to H().
(3) With no instructions in P preceding its invocation of H(P,P) that
could escape repeated simulations.

This is the same criteria used for infinite recursion detection that has
been adapted so that it does not need static local memory to see that
the same function has been called with the same arguments twice in
sequence with no conditional-branch escape.

Because H knows its own machine address H need not see P call H(P,P)
more than once because H already knows that it was called with these
same arguments. This eliminates the need for H to have static local
memory that communicates between different invocations of itself.

Halting problem proofs refuted on the basis of software engineering ?
https://www.researchgate.net/publication/361701808_Halting_problem_proofs_refuted_on_the_basis_of_software_engineering

--
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: The complete source-code of the halt decider is now published

<tbcu24$987$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!7a25jG6pUKCqa0zKnKnvdg.user.46.165.242.75.POSTED!not-for-mail
From: pyt...@example.invalid (Python)
Newsgroups: comp.theory
Subject: Re: The complete source-code of the halt decider is now published
Date: Fri, 22 Jul 2022 03:21:47 +0200
Organization: Aioe.org NNTP Server
Message-ID: <tbcu24$987$1@gioia.aioe.org>
References: <VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="9479"; posting-host="7a25jG6pUKCqa0zKnKnvdg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0)
Gecko/20100101 Thunderbird/91.11.0
Content-Language: fr
X-Notice: Filtered by postfilter v. 0.9.2
 by: Python - Fri, 22 Jul 2022 01:21 UTC

Peter Olcott wrote:
> *I have been very sick in the hospital since Monday, I just got out*
>
> The following linked paper now includes five pages of the complete C
> source-code of my halt decider.

Extracting the text C code from pdf is painfull. Why don't you publish
it separetely?

Re: The complete source-code of the halt decider is now published

<4VnCK.609357$wIO9.53469@fx12.iad>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx12.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.11.0
Subject: Re: The complete source-code of the halt decider is now published
Content-Language: en-US
Newsgroups: comp.theory
References: <VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>
<tbcu24$987$1@gioia.aioe.org>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tbcu24$987$1@gioia.aioe.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 13
Message-ID: <4VnCK.609357$wIO9.53469@fx12.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: Thu, 21 Jul 2022 22:26:08 -0400
X-Received-Bytes: 1294
 by: Richard Damon - Fri, 22 Jul 2022 02:26 UTC

On 7/21/22 9:21 PM, Python wrote:
> Peter Olcott wrote:
>> *I have been very sick in the hospital since Monday, I just got out*
>>
>> The following linked paper now includes five pages of the complete C
>> source-code of my halt decider.
>
> Extracting the text C code from pdf is painfull. Why don't you publish
> it separetely?
>
>

Because if we run the code we can show the errors in it?

Re: The complete source-code of the halt decider is now published

<tfoCK.603230$JVi.83464@fx17.iad>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx17.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.11.0
Subject: Re: The complete source-code of the halt decider is now published
Content-Language: en-US
Newsgroups: comp.theory
References: <VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>
<tbcu24$987$1@gioia.aioe.org>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tbcu24$987$1@gioia.aioe.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 43
Message-ID: <tfoCK.603230$JVi.83464@fx17.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: Thu, 21 Jul 2022 22:49:53 -0400
X-Received-Bytes: 2775
 by: Richard Damon - Fri, 22 Jul 2022 02:49 UTC

On 7/21/22 9:21 PM, Python wrote:
> Peter Olcott wrote:
>> *I have been very sick in the hospital since Monday, I just got out*
>>
>> The following linked paper now includes five pages of the complete C
>> source-code of my halt decider.
>
> Extracting the text C code from pdf is painfull. Why don't you publish
> it separetely?
>
>

Add by a quick review of the code, it doesn't work as published as it
needs the x86utm system to actually work, but has dummy non-functioning
stubs in the code to replace it.

Actually trying to run this code will just prove that the code as posted
is worthless, except to talk about it.

And, the code implements the INCORRECT rule that if the input calls H
with itself without having previously done a conditional then it must be
infinitely simulation, but we know from his claims that H(P,P) WILL
abort its simulation and return 0, thus that condition does NOT "prove"
infinite recursion for a program that calls this actually H.

This just shows that this H INCORRECTLY simulates its input becuase it
doesn't properly determine the behavior of this call to H. Note, this is
an incorrect simulation by not correctly simulating the function, not
that it is incorrect in what it did for any instruction it actually
emulated.

Note, The code shows that it considers the input to H(P,P) to be the
FULL program P (not just the code of the function) as it does nothing to
limit where the program can go (he limits what he traces, but the
simulation section simulates ALL of memory EXCEPT calls to H that he
presumes lead to infinite simulation.

Since he has demonstrated that H(P,P) returns 0, the assumption that P
calling H(P,P) leads to infinite simulation is incorrect, since he has
shown that it WILL abort its simulation.

This shows that H doesn't correctly consider the behavior of H.

Re: The complete source-code of the halt decider is now published

<TJCdnTJ_MPabjEf_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.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: Thu, 21 Jul 2022 21:52:54 -0500
Date: Thu, 21 Jul 2022 21:52:52 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Subject: Re: The complete source-code of the halt decider is now published
Content-Language: en-US
Newsgroups: comp.theory
References: <VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>
<tbcu24$987$1@gioia.aioe.org>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <tbcu24$987$1@gioia.aioe.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <TJCdnTJ_MPabjEf_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 21
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-NfJpkDpHvcjOxCCw4IYkuwJIC5mpbn0pa2CO/njAlyW6c4UV1mp7EYSjni/6ndtzvURfLO/EiqZWgxE!cvDX73/E9IeyHYi2yn2RPbPh5IsW0+XQzTkXO2ZRp+y8e4/UhyH3uyWKsVDLukvwjRWc7if1uv5d!jQ==
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: 1855
 by: olcott - Fri, 22 Jul 2022 02:52 UTC

On 7/21/2022 8:21 PM, Python wrote:
> Peter Olcott wrote:
>> *I have been very sick in the hospital since Monday, I just got out*
>>
>> The following linked paper now includes five pages of the complete C
>> source-code of my halt decider.
>
> Extracting the text C code from pdf is painfull. Why don't you publish
> it separetely?
>
>

You can't actually run the code without 50 pages of (not ready for prime
time) x86utm operating system.

--
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: The complete source-code of the halt decider is now published

<NsoCK.65929$%e2.19566@fx40.iad>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx40.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.11.0
Subject: Re: The complete source-code of the halt decider is now published
Content-Language: en-US
Newsgroups: comp.theory
References: <VbednQfsn-iBWUT_nZ2dnUU7_8zNnZ2d@giganews.com>
<tbcu24$987$1@gioia.aioe.org> <TJCdnTJ_MPabjEf_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <TJCdnTJ_MPabjEf_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 33
Message-ID: <NsoCK.65929$%e2.19566@fx40.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: Thu, 21 Jul 2022 23:04:11 -0400
X-Received-Bytes: 2107
 by: Richard Damon - Fri, 22 Jul 2022 03:04 UTC

On 7/21/22 10:52 PM, olcott wrote:
> On 7/21/2022 8:21 PM, Python wrote:
>> Peter Olcott wrote:
>>> *I have been very sick in the hospital since Monday, I just got out*
>>>
>>> The following linked paper now includes five pages of the complete C
>>> source-code of my halt decider.
>>
>> Extracting the text C code from pdf is painfull. Why don't you publish
>> it separetely?
>>
>>
>
> You can't actually run the code without 50 pages of (not ready for prime
> time) x86utm operating system.
>

Which means the statement that you have published the complete source
code of your decider a LIE.

Complete Source means COMPLETE SOURCE.

It needs to be actually runable.

I guess this is just part of your confusion that since P calls H, the
code of that H is actually part of the program P, and thus when H
simulates the program P, it needs to take into acount the actual
behavior of that code, like the fact that since THIS H(P,P) returns 0,
then H needs to also account for the fact that the H that P calls as
H(P,P) will do exactly the same thing, and the fact that isn't what H
assumes, H is just being WRONG.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor