Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Simplicity does not precede complexity, but follows it.


computers / comp.ai.philosophy / Simulating halt deciders applied to the halting theorem

SubjectAuthor
* Simulating halt deciders applied to the halting theoremolcott
+- Re: Simulating halt deciders applied to the halting theorem (minorolcott
`- Re: Simulating halt deciders applied to the halting theoremRichard Damon

1
Simulating halt deciders applied to the halting theorem

<tsgatu$2ihur$1@dont-email.me>

 copy mid

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

 copy link   Newsgroups: sci.logic comp.theory 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: sci.logic,comp.theory,comp.ai.philosophy,comp.software-eng
Subject: Simulating halt deciders applied to the halting theorem
Date: Tue, 14 Feb 2023 09:55:39 -0600
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <tsgatu$2ihur$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 14 Feb 2023 15:55:42 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="973472f29eac2a86ed0ba532e6e622e9";
logging-data="2705371"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Hd2KldWBCPaF3U6oOS4FZ"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.7.2
Cancel-Lock: sha1:a+tHJCrQWEavmhVV5hoPcUGKwZg=
Content-Language: en-US
 by: olcott - Tue, 14 Feb 2023 15:55 UTC

001 int h(x, y); // suppose the detail of h(x, y) is in a library.
002
003 int c(x) {
004 int halt_status = h(x, x)
005 if (h(halt_status != 0) {
006 while(TRUE) {
007 ;
008 }
009 }
010 return halt_status;
011 }
012
013 main() {
014 Output("Input_Halts = ", h(c, c));
015 Output("Input_Halts = ", c(c));
016 }

*Simulating halt deciders applied to the halting theorem*

Because c simulated by h would continue to call h(c,c) never reaching
its own "if" statement h aborts it simulation of c and returns 0 to main
on line 014.

Because c simulated by h would continue to call h(c,c) never reaching
its own "if" statement h aborts it simulation of c and returns 0 to the
executed c on line 004.

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

Re: Simulating halt deciders applied to the halting theorem (minor edits)

<tsgbcd$2ihur$2@dont-email.me>

 copy mid

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

 copy link   Newsgroups: sci.logic comp.theory 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: sci.logic,comp.theory,comp.ai.philosophy,comp.software-eng
Subject: Re: Simulating halt deciders applied to the halting theorem (minor
edits)
Date: Tue, 14 Feb 2023 10:03:24 -0600
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <tsgbcd$2ihur$2@dont-email.me>
References: <tsgatu$2ihur$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 14 Feb 2023 16:03:25 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="973472f29eac2a86ed0ba532e6e622e9";
logging-data="2705371"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19csH8NO/OWZnZqLKLT1Akl"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.7.2
Cancel-Lock: sha1:0KGQ+tupBgaJlnEzuxQEAFnaBaA=
In-Reply-To: <tsgatu$2ihur$1@dont-email.me>
Content-Language: en-US
 by: olcott - Tue, 14 Feb 2023 16:03 UTC

001 int h(x, y); // suppose the detail of h(x, y) is in a library.
002
003 int c(x) {
004 int halt_status = h(x, x);
005 if (halt_status != 0) {
006 while(TRUE) {
007 ;
008 }
009 }
010 return halt_status;
011 }
012
013 int main() {
014 Output("Input_Halts = ", h(c, c));
015 Output("Input_Halts = ", c(c));
016 }

*Simulating halt deciders applied to the halting theorem*

Because c correctly simulated by h would continue to call h(c,c) in
recursive simulation never reaching its own "if" statement h aborts it
simulation of c and returns 0 to main on line 014.

Because c correctly simulated by h would continue to call h(c,c) in
recursive simulation never reaching its own "if" statement h aborts it
simulation of c and returns 0 to the executed c on line 004.

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

Re: Simulating halt deciders applied to the halting theorem

<5WTGL.449821$t5W7.49101@fx13.iad>

 copy mid

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

 copy link   Newsgroups: sci.logic comp.theory comp.ai.philosophy comp.software-eng
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx13.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: Simulating halt deciders applied to the halting theorem
Newsgroups: sci.logic,comp.theory,comp.ai.philosophy,comp.software-eng
References: <tsgatu$2ihur$1@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
Content-Language: en-US
In-Reply-To: <tsgatu$2ihur$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 49
Message-ID: <5WTGL.449821$t5W7.49101@fx13.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, 14 Feb 2023 17:28:17 -0500
X-Received-Bytes: 2683
 by: Richard Damon - Tue, 14 Feb 2023 22:28 UTC

On 2/14/23 10:55 AM, olcott wrote:
> 001 int h(x, y); // suppose the detail of h(x, y) is in a library.
> 002
> 003 int c(x) {
> 004   int halt_status = h(x, x)
> 005   if (h(halt_status != 0) {
> 006     while(TRUE) {
> 007       ;
> 008     }
> 009   }
> 010   return halt_status;
> 011 }
> 012
> 013 main() {
> 014   Output("Input_Halts = ", h(c, c));
> 015   Output("Input_Halts = ", c(c));
> 016 }
>
> *Simulating halt deciders applied to the halting theorem*
>
> Because c simulated by h would continue to call h(c,c) never reaching
> its own "if" statement h aborts it simulation of c and returns 0 to main
> on line 014.
>
> Because c simulated by h would continue to call h(c,c) never reaching
> its own "if" statement h aborts it simulation of c and returns 0 to the
> executed c on line 004.
>

No, because H(c,c) will return 0 by your logic, c(c) will Halt.

Since the DEFINITION of the correct answer of the Halting Problem is
what the ACTUAL machine will do when given the input, the correct answer
is HALTING, and thus H is WRONG.

You have "claimed" that H called by c behaves differently than H called
by main, but have been unable to actually show that, showing that the
claim is just a blatant pathological LIE.

The fact that you think an answer difffernt than the correct answer can
be "correct" show you are stupid.

Note, the fact that H can't correctly simulate the input and give an
answer is NOT a valid "excuse" for H to give a wrong answr.

Note, a fundamental problem with your logic is you don't seem to
understand that a program will do EXACTLY as it is programmed, even if
that doesn't match its supposed specification, so you can't just assume
it will act per its specification.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor