Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Over the shoulder supervision is more a need of the manager than the programming task.


computers / comp.ai.philosophy / Any high school student knowing the x86 language can confirm this:

SubjectAuthor
* Any high school student knowing the x86 language can confirm this:olcott
`- Re: Any high school student knowing the x86 language can confirmJeff Barnett

1
Any high school student knowing the x86 language can confirm this:

<iaCdnS54u6WHT4r8nZ2dnUU7-c2dnZ2d@giganews.com>

 copy mid

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

 copy link   Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 14 Aug 2021 09:24:26 -0500
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
X-Mozilla-News-Host: news://news.giganews.com:119
From: NoO...@NoWhere.com (olcott)
Subject: Any high school student knowing the x86 language can confirm this:
Date: Sat, 14 Aug 2021 09:24:26 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Message-ID: <iaCdnS54u6WHT4r8nZ2dnUU7-c2dnZ2d@giganews.com>
Lines: 87
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-rsQ8ddwmesr1sejoosKzOuz9boj5X9S6BI02hTfUipMAa2i6DXvpGGk8z7cgHgzawgtckLt+aaeZaRF!dnmVm6fGZuN0wCfqDvmzLQ/yF3AfgmQZJM3yY7XxzzdFu5rQ7dD/tj3kmZysMa+cqW0Ulmyyfg==
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: 4669
 by: olcott - Sat, 14 Aug 2021 14:24 UTC

No one here has ever bothered to assess this they always dishonestly
change the subject instead:

While H remains in pure simulation mode simulating the input to H(P,P)
this simulated input never halts thus conclusively proving that H
decides this input correctly.

// Simplified Linz Ĥ (Linz:1990:319)
// Strachey(1965) CPL translated to C
void P(u32 x)
{ if (H(x, x))
HERE: goto HERE;
}

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

_P()
[00000c36](01) 55 push ebp
[00000c37](02) 8bec mov ebp,esp
[00000c39](03) 8b4508 mov eax,[ebp+08] // 2nd Param
[00000c3c](01) 50 push eax
[00000c3d](03) 8b4d08 mov ecx,[ebp+08] // 1st Param
[00000c40](01) 51 push ecx
[00000c41](05) e820fdffff call 00000966 // call H(P,P)
[00000c46](03) 83c408 add esp,+08
[00000c49](02) 85c0 test eax,eax
[00000c4b](02) 7402 jz 00000c4f
[00000c4d](02) ebfe jmp 00000c4d
[00000c4f](01) 5d pop ebp
[00000c50](01) c3 ret
Size in bytes:(0027) [00000c50]

_main()
[00000c56](01) 55 push ebp
[00000c57](02) 8bec mov ebp,esp
[00000c59](05) 68360c0000 push 00000c36 // push P
[00000c5e](05) 68360c0000 push 00000c36 // push P
[00000c63](05) e8fefcffff call 00000966 // call H(P,P)
[00000c68](03) 83c408 add esp,+08
[00000c6b](01) 50 push eax
[00000c6c](05) 6857030000 push 00000357
[00000c71](05) e810f7ffff call 00000386
[00000c76](03) 83c408 add esp,+08
[00000c79](02) 33c0 xor eax,eax
[00000c7b](01) 5d pop ebp
[00000c7c](01) c3 ret
Size in bytes:(0039) [00000c7c]

machine stack stack machine assembly
address address data code language
======== ======== ======== ========= =============
[00000c56][0010172a][00000000] 55 push ebp
[00000c57][0010172a][00000000] 8bec mov ebp,esp
[00000c59][00101726][00000c36] 68360c0000 push 00000c36 // push P
[00000c5e][00101722][00000c36] 68360c0000 push 00000c36 // push P
[00000c63][0010171e][00000c68] e8fefcffff call 00000966 // call H(P,P)

Begin Local Halt Decider Simulation at Machine Address:c36
[00000c36][002117ca][002117ce] 55 push ebp
[00000c37][002117ca][002117ce] 8bec mov ebp,esp
[00000c39][002117ca][002117ce] 8b4508 mov eax,[ebp+08]
[00000c3c][002117c6][00000c36] 50 push eax // push P
[00000c3d][002117c6][00000c36] 8b4d08 mov ecx,[ebp+08]
[00000c40][002117c2][00000c36] 51 push ecx // push P
[00000c41][002117be][00000c46] e820fdffff call 00000966 // call H(P,P)

[00000c36][0025c1f2][0025c1f6] 55 push ebp
[00000c37][0025c1f2][0025c1f6] 8bec mov ebp,esp
[00000c39][0025c1f2][0025c1f6] 8b4508 mov eax,[ebp+08]
[00000c3c][0025c1ee][00000c36] 50 push eax // push P
[00000c3d][0025c1ee][00000c36] 8b4d08 mov ecx,[ebp+08]
[00000c40][0025c1ea][00000c36] 51 push ecx // push P
[00000c41][0025c1e6][00000c46] e820fdffff call 00000966 // call H(P,P)
Local Halt Decider: Infinite Recursion Detected Simulation Stopped

https://www.researchgate.net/publication/351947980_Halting_problem_undecidability_and_infinitely_nested_simulation

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: Any high school student knowing the x86 language can confirm this:

<sf92nu$ihn$1@dont-email.me>

 copy mid

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

 copy link   Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: jbb...@notatt.com (Jeff Barnett)
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
Subject: Re: Any high school student knowing the x86 language can confirm
this:
Date: Sat, 14 Aug 2021 12:40:56 -0600
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <sf92nu$ihn$1@dont-email.me>
References: <iaCdnS54u6WHT4r8nZ2dnUU7-c2dnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 14 Aug 2021 18:41:02 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="6dc81e9d3b2d21eee15d714bf5984678";
logging-data="18999"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19UZ6JeWSiz+ZwqvE6maHTBsoi1wxvQ8Wk="
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.13.0
Cancel-Lock: sha1:2YTdCyVIwDdy3K1S1ysIyBK1Cjc=
In-Reply-To: <iaCdnS54u6WHT4r8nZ2dnUU7-c2dnZ2d@giganews.com>
Content-Language: en-US
 by: Jeff Barnett - Sat, 14 Aug 2021 18:40 UTC

On 8/14/2021 8:24 AM, olcott wrote:
> No one here has ever bothered to assess this they always dishonestly
> change the subject instead:

Is this on topic???? We can infer that PO neither did or could achieve
high school status as a student knowing the x86 language. The snip
garbage confirms this as does common sense.

As I suggested to you in a previous message - Seek help, take your meds,
be humble (i.e. adjust your behavior to properly reflect your
capabilities). Best of luck and god speed.
--
Jeff Barnett

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor