Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

We don't really understand it, so we'll give it to the programmers.


computers / comp.ai.philosophy / Re: 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
Subject: Any high school student knowing the x86 language can confirm this:
From: olcott
Newsgroups: comp.theory, comp.ai.philosophy, comp.software-eng, sci.math.symbolic
Date: Sat, 14 Aug 2021 14:24 UTC
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
View all headers
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


Subject: Re: Any high school student knowing the x86 language can confirm this:
From: Jeff Barnett
Newsgroups: comp.theory, comp.ai.philosophy, comp.software-eng, sci.math.symbolic
Organization: A noiseless patient Spider
Date: Sat, 14 Aug 2021 18:40 UTC
References: 1
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
View all headers
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
rocksolid light 0.7.2
clearneti2ptor