Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The biggest difference between time and space is that you can't reuse time. -- Merrick Furst


computers / comp.ai.philosophy / Re: H correctly predicts that D correctly simulated by H would not halt

SubjectAuthor
* H correctly predicts that D correctly simulated by H would not haltolcott
+- Re: H correctly predicts that D correctly simulated by H would notRichard Damon
`* Re: H correctly predicts that D correctly simulated by H would notolcott
 `- Re: H correctly predicts that D correctly simulated by H would notRichard Damon

1
H correctly predicts that D correctly simulated by H would not halt

<tsjptf$30iun$3@dont-email.me>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=10635&group=comp.ai.philosophy#10635

 copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy comp.software-eng
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,comp.software-eng
Subject: H correctly predicts that D correctly simulated by H would not halt
Date: Wed, 15 Feb 2023 17:29:49 -0600
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <tsjptf$30iun$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 15 Feb 2023 23:29:51 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="d493afe0966e52bafb1ec8c3ebb221b7";
logging-data="3165143"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18PKOeGKCmBdchVTkZoF0Y+"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.7.2
Cancel-Lock: sha1:UthuYAHzpi2EqMU8ikdFrU1BA18=
Content-Language: en-US
 by: olcott - Wed, 15 Feb 2023 23:29 UTC

int D(int (*x)())
{ int Halt_Status = H(x, x);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}

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

H correctly predicts that D correctly simulated by H would not halt
H correctly predicts that D correctly simulated by H would not halt
H correctly predicts that D correctly simulated by H would not halt
H correctly predicts that D correctly simulated by H would not halt

Full source-code here: https://liarparadox.org/2023_02_07.zip

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

Re: H correctly predicts that D correctly simulated by H would not halt

<S2eHL.684086$8_id.204693@fx09.iad>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=10636&group=comp.ai.philosophy#10636

 copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy comp.software-eng
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.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:102.0)
Gecko/20100101 Thunderbird/102.7.2
Subject: Re: H correctly predicts that D correctly simulated by H would not
halt
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,comp.software-eng
References: <tsjptf$30iun$3@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
Content-Language: en-US
In-Reply-To: <tsjptf$30iun$3@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 41
Message-ID: <S2eHL.684086$8_id.204693@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: Wed, 15 Feb 2023 18:39:31 -0500
X-Received-Bytes: 2143
 by: Richard Damon - Wed, 15 Feb 2023 23:39 UTC

On 2/15/23 6:29 PM, olcott wrote:
> int D(int (*x)())
> {
>   int Halt_Status = H(x, x);
>   if (Halt_Status)
>     HERE: goto HERE;
>   return Halt_Status;
> }
>
> int main()
> {
>   Output("Input_Halts = ", H(D,D));
>   Output("Input_Halts = ", D(D));
> }
>
> H correctly predicts that D correctly simulated by H would not halt
> H correctly predicts that D correctly simulated by H would not halt
> H correctly predicts that D correctly simulated by H would not halt
> H correctly predicts that D correctly simulated by H would not halt
>
> Full source-code here: https://liarparadox.org/2023_02_07.zip
>
>

Nope, H shows that H doesn't correctly determine what a correct
simulation of D would do,

Since D(D) will Halt when H(D,D) returns 0 (as it does), then a correct
simulation of D(D) must show that.

Some how you beleive that a "correct simulation" can show something
different than the thing it is simulating.

That just shows you don't understand of the meaning of "Correct".

This can easily be proven with a main that calls both H(D,D) and then D(D)

You have been told this before.

Your ignoring that means either you are a total idiot or a pathological
liar, or both.

Re: H correctly predicts that D correctly simulated by H would not halt

<tsjumi$30iun$5@dont-email.me>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=10638&group=comp.ai.philosophy#10638

 copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy comp.software-eng
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,comp.software-eng
Subject: Re: H correctly predicts that D correctly simulated by H would not
halt
Date: Wed, 15 Feb 2023 18:51:28 -0600
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <tsjumi$30iun$5@dont-email.me>
References: <tsjptf$30iun$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 16 Feb 2023 00:51:30 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="d493afe0966e52bafb1ec8c3ebb221b7";
logging-data="3165143"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/dnzxAeT99FTSZTYz2q4up"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.7.2
Cancel-Lock: sha1:Igw6SurmyZZCBGiWQs/lsqmiiYc=
In-Reply-To: <tsjptf$30iun$3@dont-email.me>
Content-Language: en-US
 by: olcott - Thu, 16 Feb 2023 00:51 UTC

On 2/15/2023 5:29 PM, olcott wrote:
> int D(int (*x)())
> {
>   int Halt_Status = H(x, x);
>   if (Halt_Status)
>     HERE: goto HERE;
>   return Halt_Status;
> }
>
> int main()
> {
>   Output("Input_Halts = ", H(D,D));
>   Output("Input_Halts = ", D(D));
> }
>
> H correctly predicts that D correctly simulated by H would not halt
> H correctly predicts that D correctly simulated by H would not halt
> H correctly predicts that D correctly simulated by H would not halt
> H correctly predicts that D correctly simulated by H would not halt
>
> Full source-code here: https://liarparadox.org/2023_02_07.zip

Brain dead morons keep forgetting that halt deciders compute the mapping
from their inputs to an accept or reject state. The reason that they are
brain dead and not regular morons is that when they are reminded of this
error thousands of times they still keep forgetting.

(a) If simulating halt decider H correctly simulates its input D until
H correctly predicts that its simulated D would never reach its own
"return" statement in any finite number of simulated steps THEN

(b) H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.

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

Re: H correctly predicts that D correctly simulated by H would not halt

<9ufHL.209255$5CY7.109052@fx46.iad>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=10639&group=comp.ai.philosophy#10639

 copy link   Newsgroups: comp.theory sci.logic comp.ai.philosophy comp.software-eng
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx46.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.7.2
Subject: Re: H correctly predicts that D correctly simulated by H would not
halt
Content-Language: en-US
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy,comp.software-eng
References: <tsjptf$30iun$3@dont-email.me> <tsjumi$30iun$5@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tsjumi$30iun$5@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 60
Message-ID: <9ufHL.209255$5CY7.109052@fx46.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: Wed, 15 Feb 2023 20:16:55 -0500
X-Received-Bytes: 3105
 by: Richard Damon - Thu, 16 Feb 2023 01:16 UTC

On 2/15/23 7:51 PM, olcott wrote:
> On 2/15/2023 5:29 PM, olcott wrote:
>> int D(int (*x)())
>> {
>>    int Halt_Status = H(x, x);
>>    if (Halt_Status)
>>      HERE: goto HERE;
>>    return Halt_Status;
>> }
>>
>> int main()
>> {
>>    Output("Input_Halts = ", H(D,D));
>>    Output("Input_Halts = ", D(D));
>> }
>>
>> H correctly predicts that D correctly simulated by H would not halt
>> H correctly predicts that D correctly simulated by H would not halt
>> H correctly predicts that D correctly simulated by H would not halt
>> H correctly predicts that D correctly simulated by H would not halt
>>
>> Full source-code here: https://liarparadox.org/2023_02_07.zip
>
> Brain dead morons keep forgetting that halt deciders compute the mapping
> from their inputs to an accept or reject state. The reason that they are
> brain dead and not regular morons is that when they are reminded of this
> error thousands of times they still keep forgetting.
>

No, you, being a brain dead idiot, keeps forgeting that a Halt Decider,
BY DEFINITION, must compute the HALTING MAPPING, defined by the
behavior of the machine described by the input and whether it reaches a
final state or not when run.

To quote:

In computability theory, the halting problem is the problem of
determining, from a description of an arbitrary computer program and an
input, whether the program will finish running, or continue to run forever.

So the thing to be decide is WHETHER THE PROGRAM WILL FINISH RUNNING, OR
CONTIMUE TO RUN FOREVER.

**THE PROGRAM**

Not the simulation by the decider.

> (a) If simulating halt decider H correctly simulates its input D until
> H correctly predicts that its simulated D would never reach its own
> "return" statement in any finite number of simulated steps THEN
>
> (b) H can abort its simulation of D and correctly report that D
> specifies a non-halting sequence of configurations.
>
>

if it **CORRECTLY** decideds, which means it correctly determines that
teh PROGRAM WHEN RUN WILL CONTINUE TO RUN FOREVER.

You are just proving you don't understand the basic English word.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor