Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Message from Our Sponsor on ttyTV at 13:58 ...


computers / comp.ai.philosophy / Re: Question for Olcott [ Olcott continues to be a liar ]

Subject: Re: Question for Olcott [ Olcott continues to be a liar ]
From: Richard Damon
Newsgroups: comp.theory, comp.ai.philosophy, sci.logic
Organization: Forte - www.forteinc.com
Date: Tue, 24 May 2022 02:00 UTC
References: 1 2 3 4 5 6 7 8 9 10
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx98.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.9.1
Subject: Re: Question for Olcott [ Olcott continues to be a liar ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic
References: <20220523195242.00006aae@reddwarf.jmc>
<8t2dnX7mj7xDRxb_nZ2dnUU7_8zNnZ2d@giganews.com>
<pRUiK.16356$Fikb.1563@fx33.iad>
<zcGdnS8CkLZYgBH_nZ2dnUU7_83NnZ2d@giganews.com>
<WQViK.7425$Rvub.2591@fx35.iad>
<N6ednbZhJ6HhsxH_nZ2dnUU7_8zNnZ2d@giganews.com>
<5qWiK.8598$xZtb.2454@fx41.iad>
<7PadnQcSROZYqBH_nZ2dnUU7_83NnZ2d@giganews.com> <gRWiK.6581$GTEb.47@fx48.iad>
<d9WdnbU5sMzVpxH_nZ2dnUU7_81g4p2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <d9WdnbU5sMzVpxH_nZ2dnUU7_81g4p2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 188
Message-ID: <9%WiK.8737$tLd9.2569@fx98.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, 23 May 2022 22:00:37 -0400
X-Received-Bytes: 9075
X-Original-Bytes: 8942
View all headers
On 5/23/22 9:52 PM, olcott wrote:
On 5/23/2022 8:50 PM, Richard Damon wrote:
On 5/23/22 9:32 PM, olcott wrote:
On 5/23/2022 8:21 PM, Richard Damon wrote:

On 5/23/22 9:01 PM, olcott wrote:
On 5/23/2022 7:41 PM, Richard Damon wrote:

On 5/23/22 7:50 PM, olcott wrote:
On 5/23/2022 6:33 PM, Richard Damon wrote:

On 5/23/22 3:05 PM, olcott wrote:
On 5/23/2022 1:52 PM, Mr Flibble wrote:
A simple multiple choice question for Olcott:

All things being equal which is more likely:

(a) Olcott is correct and everybody else is incorrect
(b) Olcott is incorrect and everybody else is correct

?

/Flibble


Believability has the word [lie] embedded directly within itself.
Instead of the fake measure of credibility one must employ actual validation.

Actual validation conclusively proves that H(P,P)==0
is correct. This means that everyone that disagrees is either insufficiently technically competent or a liar.

You consider that H(P,P) == 0 is correct when P(P) halts, when that is the DEFINITION of what H(P,P) is supposed to be answering?
The C function H correctly determines that there are no number of steps (0 to infinity) of its correct simulation of its input: a pair of pointers to finite strings of x86 machine language that would ever reach the last instruction of this input.


Wrong.

I have show a CORRECT simulation of the input to H(P,P) that shows it reaching the final state, as have YOU.
That is a despicable lie and you know it.
You are an atheist right?

What is wrong with it. What do YOU define a "Correct Simulation" to be, other than that which simualtes to program that it is simulating?

It is a God damned lie and you know it.
That is the only thing that is wrong with it.


(Note, PROGRAM)


No concern what-so-ever with the eternal incineration of Revelations 21:8 for lying because you simply don't believe that mumbo jumbo, right?


YOU are the one that needs to worry about it. I am following the definitions of what things are.


You know that you are not following the definition of the x86 langugae. Why lie does that give you A thrill?

No, YOU violate it by making a call instruction not be traced to the location it is called.

What error have I made about the x86 language, be specific YOU will be guilty of lying.

 >>>>> I have show a CORRECT simulation of the input to H(P,P) that shows
 >>>>> it reaching the final state, as have YOU.



What do you define as a CORRECT simulation?

What was wrong with what I said as a Correct Simulation (or what you published)

YOU DID publish such a trace (see below)


On 4/27/21 12:55 AM, olcott wrote:
Message-ID: <Teudndbu59GVBBr9nZ2dnUU7-V2dnZ2d@giganews.com>
 > void H_Hat(u32 P)
 > {
 >  u32 Input_Halts = Halts(P, P);
 >  if (Input_Halts)
 >    HERE: goto HERE;
 > }
 >
 >
 > int main()
 > {
 >  H_Hat((u32)H_Hat);
 > }
 >
 >
 > _H_Hat()
 > [00000b98](01)  55                  push ebp
 > [00000b99](02)  8bec                mov ebp,esp
 >
[00000b9b](01)  51                  push ecx
 > [00000b9c](03)  8b4508              mov eax,[ebp+08]
 > [00000b9f](01)  50                  push eax
 > [00000ba0](03)  8b4d08              mov ecx,[ebp+08]
 > [00000ba3](01)  51                  push ecx
 > [00000ba4](05)  e88ffdffff          call 00000938
 > [00000ba9](03)  83c408              add esp,+08
 > [00000bac](03)  8945fc              mov [ebp-04],eax
 > [00000baf](04)  837dfc00            cmp dword [ebp-04],+00
 > [00000bb3](02)  7402                jz 00000bb7
 > [00000bb5](02)  ebfe                jmp 00000bb5
 > [00000bb7](02)  8be5                mov esp,ebp
 > [00000bb9](01)  5d                  pop ebp
 > [00000bba](01)  c3                  ret
 > Size in bytes:(0035) [00000bba]
 >
 > _main()
 > [00000bc8](01)  55                  push ebp
 > [00000bc9](02)  8bec                mov ebp,esp
 > [00000bcb](05)  68980b0000          push 00000b98
 > [00000bd0](05)  e8c3ffffff          call 00000b98
 > [00000bd5](03)  83c404              add esp,+04
 > [00000bd8](02)  33c0                xor eax,eax
 > [00000bda](01)  5d                  pop ebp
 > [00000bdb](01)  c3                  ret
 > Size in bytes:(0020) [00000bdb]
 >
 > ===============================
 > ...[00000bc8][001015d4][00000000](01)  55         push ebp
 > ...[00000bc9][001015d4][00000000](02)  8bec       mov ebp,esp
 > ...[00000bcb][001015d0][00000b98](05)  68980b0000 push 00000b98
 > ...[00000bd0][001015cc][00000bd5](05)  e8c3ffffff call 00000b98
 > ...[00000b98][001015c8][001015d4](01)  55         push ebp
 > ...[00000b99][001015c8][001015d4](02)  8bec       mov ebp,esp
 > ...[00000b9b][001015c4][00000000](01)  51         push ecx
 > ...[00000b9c][001015c4][00000000](03)  8b4508     mov  eax,[ebp+08]
 > ...[00000b9f][001015c0][00000b98](01)  50         push eax
 > ...[00000ba0][001015c0][00000b98](03)  8b4d08     mov ecx,[ebp+08]
 > ...[00000ba3][001015bc][00000b98](01)  51         push ecx
 > ...[00000ba4][001015b8][00000ba9](05)  e88ffdffff call 00000938
 > Begin Local Halt Decider Simulation at Machine Address:b98
 > ...[00000b98][00211674][00211678](01)  55         push ebp
 > ...[00000b99][00211674][00211678](02)  8bec       mov ebp,esp
 > ...[00000b9b][00211670][00201644](01)  51         push ecx
 > ...[00000b9c][00211670][00201644](03)  8b4508     mov eax,[ebp+08]
 > ...[00000b9f][0021166c][00000b98](01)  50         push eax
 > ...[00000ba0][0021166c][00000b98](03)  8b4d08     mov ecx,[ebp+08]
 > ...[00000ba3][00211668][00000b98](01)  51         push ecx
 > ...[00000ba4][00211664][00000ba9](05)  e88ffdffff call 00000938
 > ...[00000b98][0025c09c][0025c0a0](01)  55         push ebp
 > ...[00000b99][0025c09c][0025c0a0](02)  8bec       mov ebp,esp
 > ...[00000b9b][0025c098][0024c06c](01)  51         push ecx
 > ...[00000b9c][0025c098][0024c06c](03)  8b4508     mov eax,[ebp+08]
 > ...[00000b9f][0025c094][00000b98](01)  50         push eax
 > ...[00000ba0][0025c094][00000b98](03)  8b4d08     mov ecx,[ebp+08]
 > ...[00000ba3][0025c090][00000b98](01)  51         push ecx
 > ...[00000ba4][0025c08c][00000ba9](05)  e88ffdffff call 00000938
 > Local Halt Decider: Infinite Recursion Detected Simulation Stopped

Above decision was from the call the Halts inside H_Hat, deciding that H_Hat(H_Hat) seems to be non-halting, it then returns that answer and is processed below:

 > ...[00000ba9][001015c4][00000000](03)  83c408     add esp,+08
 > ...[00000bac][001015c4][00000000](03)  8945fc     mov [ebp-04],eax
 > ...[00000baf][001015c4][00000000](04)  837dfc00   cmp dword [ebp-04],+00
 > ...[00000bb3][001015c4][00000000](02)  7402       jz 00000bb7
 > ...[00000bb7][001015c8][001015d4](02)  8be5       mov esp,ebp
 > ...[00000bb9][001015cc][00000bd5](01)  5d         pop ebp
 > ...[00000bba][001015d0][00000b98](01)  c3         ret
 > ...[00000bd5][001015d4][00000000](03)  83c404     add esp,+04
 > ...[00000bd8][001015d4][00000000](02)  33c0       xor eax,eax
 > ...[00000bda][001015d8][00100000](01)  5d         pop ebp
 > ...[00000bdb][001015dc][00000098](01)  c3         ret

SEE IT HALTED!

 > Number_of_User_Instructions(39)
 > Number of Instructions Executed(26567)


SubjectRepliesAuthor
o Re: Question for Olcott [ Richard continues to be a liar ]

By: olcott on Mon, 23 May 2022

7olcott
rocksolid light 0.7.2
clearneti2ptor