Re: DD specifies non-terminating behavior to HHH ---USPTO Incorporation by reference --- despicable dishonesty

Liste des GroupesRevenir à theory 
Sujet : Re: DD specifies non-terminating behavior to HHH ---USPTO Incorporation by reference --- despicable dishonesty
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 24. Feb 2025, 01:12:51
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <b50f35944598438a4ca999070f9592e856d782e1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Mozilla Thunderbird
On 2/23/25 12:47 PM, olcott wrote:
On 2/23/2025 5:52 AM, joes wrote:
Am Sat, 22 Feb 2025 18:45:06 -0600 schrieb olcott:
On 2/22/2025 6:02 PM, Richard Damon wrote:
On 2/22/25 11:52 AM, olcott wrote:
On 2/22/2025 5:05 AM, joes wrote:
Am Thu, 20 Feb 2025 18:25:27 -0600 schrieb olcott:
On 2/20/2025 4:38 PM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 2/20/2025 2:38 AM, Mikko wrote:
On 2025-02-20 00:31:33 +0000, olcott said:
>
I have given everyone here all of the complete source code for a
few years
True but irrelevant. OP did not specify that HHH means that
particular code.
Every post that I have been talking about for two or more years
has referred to variations of that same code.
Yes.  It would be a relief if you could move on to posting
something new and fresh.
As soon as people fully address rather than endlessly dodge my key
points I will be done.
Honestly, you're gonna die first, one way or the other.
>
Let's start with a root point.
All of the other points validate this root point.
*Simulating termination analyzer HHH correctly determines*
*the non-halt status of DD*
Since DD halts, that's dead in the water.
Despicably intentionally dishonest attempts at the straw-man deception
aside:
DD correctly simulated by HHH cannot possibly terminate normally by
reaching its own "return" instruction.
Only because that statement is based on a false premise.
Since HHH doesn't correctly simulate its input, your statement is just
a fabrication of your imagination.
>
*Correct simulation means emulates the machine code as specified* It
cannot mean imagining a different sequence than the one that the machine
code specifies. That most people here are clueless about x86 machine
code is far less than no rebuttal at all.
It's not about the machine code. The machine code of HHH specifies a
sequence where simulation is aborted, but you simulate the non-input
of a non-aborting HHH. This is not the HHH that does the simulation.
>
When DD emulated by HHH calls HHH(DD) this call cannot possibly return
to the emulator, conclusively proving that
That's bad. A decider like HHH is supposed to return.
>
 When a decider itself is called in an infinite loop
then it cannot possibly terminate unless a version
of itself its emulating this instance of itself.
But the loop is not infinite if it is a decider.
The fact that HHH DOES abort its simulation and returns an answer means that HHH needs to determine that answer to make the correct decision.
If it can't, then it just fails to get the right answer.

 In this case the infinite loop instance MUST BE ABORTED.
 _DD()
[00002133] 55         push ebp      ; housekeeping
[00002134] 8bec       mov ebp,esp   ; housekeeping
[00002136] 51         push ecx      ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
[00002141] 83c404     add esp,+04
[00002144] 8945fc     mov [ebp-04],eax
[00002147] 837dfc00   cmp dword [ebp-04],+00
[0000214b] 7402       jz 0000214f
[0000214d] ebfe       jmp 0000214d
[0000214f] 8b45fc     mov eax,[ebp-04]
[00002152] 8be5       mov esp,ebp
[00002154] 5d         pop ebp
[00002155] c3         ret
Size in bytes:(0035) [00002155]
 When DD is correctly simulated by HHH according to the behavior
that the above machine code specifies then the call from DD
to HHH(DD) cannot possibly return making it impossible for DD
emulated by HHH to terminate normally.
 
But DD is NOT correctly simulated by HHH since the machine that runs DD doesn't self-distruct at the point that HHH aborts its simulation.
Your problem is you don't undetstand the meaning of "correct" and only partially right is wrong.

Date Sujet#  Auteur
8 Feb 25 * Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH485olcott
8 Feb 25 +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25 +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25 +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH44Fred. Zwarts
8 Feb 25 i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH43olcott
8 Feb 25 i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH34Fred. Zwarts
9 Feb 25 i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH33olcott
9 Feb 25 i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH29Fred. Zwarts
9 Feb 25 i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH28olcott
9 Feb 25 i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH26Fred. Zwarts
9 Feb 25 i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH25olcott
9 Feb 25 i i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH23Fred. Zwarts
9 Feb 25 i i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH22olcott
9 Feb 25 i i i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25 i i i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH11Fred. Zwarts
9 Feb 25 i i i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH10olcott
9 Feb 25 i i i i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH5Fred. Zwarts
9 Feb 25 i i i i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4olcott
9 Feb 25 i i i i i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Fred. Zwarts
10 Feb 25 i i i i i i i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i i i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4joes
9 Feb 25 i i i i i i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3olcott
10 Feb 25 i i i i i i   +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i i   `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH9joes
9 Feb 25 i i i i i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH8olcott
10 Feb 25 i i i i i   +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3Richard Damon
10 Feb 25 i i i i i   i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH2olcott
10 Feb 25 i i i i i   i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i   `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4joes
10 Feb 25 i i i i i    `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3olcott
10 Feb 25 i i i i i     +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i     `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25 i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3Richard Damon
9 Feb 25 i i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH2olcott
9 Feb 25 i i   `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25 i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25 i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH7Mikko
9 Feb 25 i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH6olcott
9 Feb 25 i   +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i   `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Mikko
10 Feb 25 i    `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3olcott
10 Feb 25 i     +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25 i     `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Mikko
8 Feb 25 `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH438Mikko
8 Feb 25  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH437olcott
8 Feb 25   +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25   `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH435Mikko
9 Feb 25    `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH434olcott
9 Feb 25     +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH2joes
9 Feb 25     i`- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1olcott
9 Feb 25     +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25     `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH430Mikko
10 Feb 25      `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH429olcott
10 Feb 25       +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25       `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH427Mikko
11 Feb 25        `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH426olcott
12 Feb 25         +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
12 Feb 25         `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH424Mikko
13 Feb 25          `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH423olcott
13 Feb 25           +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH421Mikko
14 Feb 25           i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH420olcott
14 Feb 25           i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH137Richard Damon
14 Feb 25           i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH136olcott
14 Feb 25           i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH131joes
15 Feb 25           i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH130olcott
15 Feb 25           i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25           i i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH128joes
16 Feb 25           i i i  `* DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN127olcott
16 Feb 25           i i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25           i i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25           i i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN124joes
16 Feb 25           i i i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3olcott
16 Feb 25           i i i    i+- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25           i i i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
20 Feb 25           i i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN120olcott
20 Feb 25           i i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN31Mikko
20 Feb 25           i i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN30olcott
21 Feb 25           i i i     i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
21 Feb 25           i i i     i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN28Mikko
21 Feb 25           i i i     i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN27olcott
22 Feb 25           i i i     i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
22 Feb 25           i i i     i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN25Mikko
22 Feb 25           i i i     i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN24olcott
22 Feb 25           i i i     i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
22 Feb 25           i i i     i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
23 Feb 25           i i i     i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25           i i i     i     +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25           i i i     i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN19Mikko
23 Feb 25           i i i     i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN18olcott
24 Feb 25           i i i     i       +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
24 Feb 25           i i i     i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN16Mikko
25 Feb 25           i i i     i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN15olcott
25 Feb 25           i i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
25 Feb 25           i i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1dbush
25 Feb 25           i i i     i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
25 Feb 25           i i i     i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
25 Feb 25           i i i     i         i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1joes
25 Feb 25           i i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
25 Feb 25           i i i     i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN8Mikko
20 Feb 25           i i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN87joes
20 Feb 25           i i i     `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
14 Feb 25           i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Richard Damon
14 Feb 25           i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH282Mikko
13 Feb 25           `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal