Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Open Channel D..." -- Napoleon Solo, The Man From U.N.C.L.E.


computers / comp.ai.philosophy / Re: All of my reviewers lie about this

SubjectAuthor
* All of my reviewers lie about thisolcott
+* Re: All of my reviewers lie about thisolcott
|`- Re: All of my reviewers lie about thisRichard Damon
`- Re: All of my reviewers lie about thisRichard Damon

1
All of my reviewers lie about this

<tt5bk4$1hv23$1@dont-email.me>

 copy mid

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

 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: All of my reviewers lie about this
Date: Wed, 22 Feb 2023 09:16:19 -0600
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <tt5bk4$1hv23$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 Feb 2023 15:16:20 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="e0a0479e738053ece8a8b05cfebd38ea";
logging-data="1637443"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/gD0ZBN4vj7viNhRqFHBYk"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.7.2
Cancel-Lock: sha1:+XqJQ0DC/cHBbpwLmrYC+N3Rrfs=
Content-Language: en-US
 by: olcott - Wed, 22 Feb 2023 15:16 UTC

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

It is a verified fact that H correctly predicts that D correctly
simulated by H would never reach its own final state and terminate
normally, thus H does correctly decide halting for its input D.

Anyone with sufficient software engineering skill knows that
*D simulated by H cannot possibly correctly reach its ret instruction*
Everyone else lacks sufficient software engineering skill or lies

_D()
[00001d12] 55 push ebp
[00001d13] 8bec mov ebp,esp
[00001d15] 51 push ecx
[00001d16] 8b4508 mov eax,[ebp+08]
[00001d19] 50 push eax // push D
[00001d1a] 8b4d08 mov ecx,[ebp+08]
[00001d1d] 51 push ecx // push D
[00001d1e] e83ff8ffff call 00001562 // call H
[00001d23] 83c408 add esp,+08
[00001d26] 8945fc mov [ebp-04],eax
[00001d29] 837dfc00 cmp dword [ebp-04],+00
[00001d2d] 7402 jz 00001d31
[00001d2f] ebfe jmp 00001d2f
[00001d31] 8b45fc mov eax,[ebp-04]
[00001d34] 8be5 mov esp,ebp
[00001d36] 5d pop ebp
[00001d37] c3 ret

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

Re: All of my reviewers lie about this

<tt5h1k$1hv23$2@dont-email.me>

 copy mid

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

 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: All of my reviewers lie about this
Date: Wed, 22 Feb 2023 10:48:51 -0600
Organization: A noiseless patient Spider
Lines: 67
Message-ID: <tt5h1k$1hv23$2@dont-email.me>
References: <tt5bk4$1hv23$1@dont-email.me>
<32b5083f-f2b4-491d-86af-17ddafa56c08n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 Feb 2023 16:48:52 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="e0a0479e738053ece8a8b05cfebd38ea";
logging-data="1637443"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Nh68izreZKq4owbQCJNEF"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.7.2
Cancel-Lock: sha1:DGp7+aU5CuBha4U9VYkS5KRfBQY=
Content-Language: en-US
In-Reply-To: <32b5083f-f2b4-491d-86af-17ddafa56c08n@googlegroups.com>
 by: olcott - Wed, 22 Feb 2023 16:48 UTC

On 2/22/2023 10:32 AM, Fritz Feldhase wrote:
> On Wednesday, February 22, 2023 at 4:16:24 PM UTC+1, olcott wrote:
>
>> int D(int (*x)())
>> {
>> int Halt_Status = H(x, x);
>> if (Halt_Status)
>> HERE: goto HERE;
>> return Halt_Status;
>> }
>>
>
> Just a comment: H cannot correctly "determine" the halt status of D(D).

*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

You continue to ignore and erase the proof that H does correctly
recognize the halt status of D. *This is the straw-man deception*

Anyone with sufficient software engineering skill knows that
*D simulated by H cannot possibly correctly reach its ret instruction*
Everyone else lacks sufficient software engineering skill or lies

_D()
[00001d12] 55 push ebp
[00001d13] 8bec mov ebp,esp
[00001d15] 51 push ecx
[00001d16] 8b4508 mov eax,[ebp+08]
[00001d19] 50 push eax // push D
[00001d1a] 8b4d08 mov ecx,[ebp+08]
[00001d1d] 51 push ecx // push D
[00001d1e] e83ff8ffff call 00001562 // call H
[00001d23] 83c408 add esp,+08
[00001d26] 8945fc mov [ebp-04],eax
[00001d29] 837dfc00 cmp dword [ebp-04],+00
[00001d2d] 7402 jz 00001d31
[00001d2f] ebfe jmp 00001d2f
[00001d31] 8b45fc mov eax,[ebp-04]
[00001d34] 8be5 mov esp,ebp
[00001d36] 5d pop ebp
[00001d37] c3 ret

H simulates D until reaching machine address [00001d1e].
Which calls H to simulate D again.

There are two possible behaviors for at this point:
(a) H continues to simulate D recursively until stack space is
exhausted.

(b) H aborts the entire simulation sequence at some point between
machine address [00001d12] and [00001d1e].

In both of these cases D correctly simulated by H cannot possibly reach
the ret instruction at machine address [00001d37].

Most novices with the halting theorem do not understand that halting
means reaching a final state and terminating normally.

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

Re: All of my reviewers lie about this

<oMyJL.248606$PXw7.139305@fx45.iad>

 copy mid

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

 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!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx45.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: All of my reviewers lie about this
Content-Language: en-US
Newsgroups: sci.logic,comp.theory,comp.ai.philosophy,comp.software-eng
References: <tt5bk4$1hv23$1@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tt5bk4$1hv23$1@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 54
Message-ID: <oMyJL.248606$PXw7.139305@fx45.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, 22 Feb 2023 19:51:32 -0500
X-Received-Bytes: 2918
 by: Richard Damon - Thu, 23 Feb 2023 00:51 UTC

On 2/22/23 10:16 AM, olcott wrote:
> int D(int (*x)())
> {
>   int Halt_Status = H(x, x);
>   if (Halt_Status)
>     HERE: goto HERE;
>   return Halt_Status;
> }
>
> It is a verified fact that H correctly predicts that D correctly
> simulated by H would never reach its own final state and terminate
> normally, thus H does correctly decide halting for its input D.

Which since 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.

This just proves that you have never been actually working on the
Halting problem and all you claimes of that have been lies.

>
> Anyone with sufficient software engineering skill knows that
> *D simulated by H cannot possibly correctly reach its ret instruction*
> Everyone else lacks sufficient software engineering skill or lies

So, D(D) will halt and UTM(D,D) will halt, which says that the correct
answer to the Halting Problem is that H(D,D) must say Halting.

All you have done is showed that it is impossible for your H to ever
prove this fact.

>
> _D()
>  [00001d12] 55         push ebp
>  [00001d13] 8bec       mov ebp,esp
>  [00001d15] 51         push ecx
>  [00001d16] 8b4508     mov eax,[ebp+08]
>  [00001d19] 50         push eax       // push D
>  [00001d1a] 8b4d08     mov ecx,[ebp+08]
>  [00001d1d] 51         push ecx       // push D
>  [00001d1e] e83ff8ffff call 00001562  // call H
>  [00001d23] 83c408     add esp,+08
>  [00001d26] 8945fc     mov [ebp-04],eax
>  [00001d29] 837dfc00   cmp dword [ebp-04],+00
>  [00001d2d] 7402       jz 00001d31
>  [00001d2f] ebfe       jmp 00001d2f
>  [00001d31] 8b45fc     mov eax,[ebp-04]
>  [00001d34] 8be5       mov esp,ebp
>  [00001d36] 5d         pop ebp
>  [00001d37] c3         ret
>
>

Re: All of my reviewers lie about this

<fUyJL.248607$PXw7.103185@fx45.iad>

 copy mid

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

 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!fx45.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: All of my reviewers lie about this
Content-Language: en-US
Newsgroups: sci.logic,comp.theory,comp.ai.philosophy,comp.software-eng
References: <tt5bk4$1hv23$1@dont-email.me>
<32b5083f-f2b4-491d-86af-17ddafa56c08n@googlegroups.com>
<tt5h1k$1hv23$2@dont-email.me>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tt5h1k$1hv23$2@dont-email.me>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 126
Message-ID: <fUyJL.248607$PXw7.103185@fx45.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, 22 Feb 2023 19:59:54 -0500
X-Received-Bytes: 5358
 by: Richard Damon - Thu, 23 Feb 2023 00:59 UTC

On 2/22/23 11:48 AM, olcott wrote:
> On 2/22/2023 10:32 AM, Fritz Feldhase wrote:
>> On Wednesday, February 22, 2023 at 4:16:24 PM UTC+1, olcott wrote:
>>
>>> int D(int (*x)())
>>> {
>>> int Halt_Status = H(x, x);
>>> if (Halt_Status)
>>> HERE: goto HERE;
>>> return Halt_Status;
>>> }
>>>
>>
>> Just a comment: H cannot correctly "determine" the halt status of D(D).
>
> *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

which since 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.

Says that is EXACTLY what your "alternate" criteria is.

>
> You continue to ignore and erase the proof that H does correctly
> recognize the halt status of D. *This is the straw-man deception*
>

LIE.

>
>
> Anyone with sufficient software engineering skill knows that
> *D simulated by H cannot possibly correctly reach its ret instruction*
> Everyone else lacks sufficient software engineering skill or lies

Which just proves that you aren't working on the Halting Problem.

The fact that D(D) halts, and UTM(D,D) Halts, says the correct answer
for a HALT decider is Halting, so since H(D,D) answers non-halting, it
isn't one.

All you have shown is that it might be a correct (but worthless) POOP
decider.

>
> _D()
>  [00001d12] 55         push ebp
>  [00001d13] 8bec       mov ebp,esp
>  [00001d15] 51         push ecx
>  [00001d16] 8b4508     mov eax,[ebp+08]
>  [00001d19] 50         push eax       // push D
>  [00001d1a] 8b4d08     mov ecx,[ebp+08]
>  [00001d1d] 51         push ecx       // push D
>  [00001d1e] e83ff8ffff call 00001562  // call H
>  [00001d23] 83c408     add esp,+08
>  [00001d26] 8945fc     mov [ebp-04],eax
>  [00001d29] 837dfc00   cmp dword [ebp-04],+00
>  [00001d2d] 7402       jz 00001d31
>  [00001d2f] ebfe       jmp 00001d2f
>  [00001d31] 8b45fc     mov eax,[ebp-04]
>  [00001d34] 8be5       mov esp,ebp
>  [00001d36] 5d         pop ebp
>  [00001d37] c3         ret
>
> H simulates D until reaching machine address [00001d1e].
> Which calls H to simulate D again.

Which we KNOW will abort its simulation of its input and return 0, and
thus the actual CORRECT (and complete) simulation of the input will halt.

All you have shown is that H will ALWAYS abort its simulation too early
and by using UNSOUND logic get the wrong answer.

>
> There are two possible behaviors for at this point:
> (a) H continues to simulate D recursively until stack space is
>     exhausted.

No, there is ONE possible behavior, the behavior that H has been
programed with.

Since you claim that H WILL abort its simulation and return 0 in this
case, (a) NEVER HAPPENS, and can not be used in the arguemen.

That is just lookling at something that isn't the input to the machine

>
> (b) H aborts the entire simulation sequence at some point between
> machine address [00001d12] and [00001d1e].

Which it does

>
> In both of these cases D correctly simulated by H cannot possibly reach
> the ret instruction at machine address [00001d37].

Right, but the CORRECT (and complete) simulation does, as does the
actual exectution.

Since 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

That means the CORRECT answer is Halting.

You are just working on a different problem and lying about what you are
doing.

>
> Most novices with the halting theorem do not understand that halting
> means reaching a final state and terminating normally.
>

Right, OF THE MACHINE.

An ABORTED simulation does not tell us if the results is Halting or Not,
just like looking at the first mile of a road doesn't tell yoy how long
it is, except that it is at least 1 mile long.

You are just showing that you do not understand what it is you are
talking about.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor