Sujet : Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 27. May 2024, 17:46:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v329t8$3mh0$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 5/27/2024 10:25 AM, Richard Damon wrote:
On 5/27/24 11:06 AM, olcott wrote:
typedef int (*ptr)(); // ptr is pointer to int function in C
00 int H(ptr p, ptr i);
01 int D(ptr p)
02 {
03 int Halt_Status = H(p, p);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 int main()
10 {
11 H(D,D);
12 return 0;
13 }
The above template refers to an infinite set of H/D pairs where D is
correctly simulated by either pure simulator H or pure function H. This
was done because many reviewers used the shell game ploy to endlessly
switch which H/D pair was being referred to.
*Correct Simulation Defined*
This is provided because many reviewers had a different notion of
correct simulation that diverges from this notion.
A simulator is an x86 emulator that correctly emulates 1 to N of the
x86 instructions of D in the order specified by the x86 instructions
of D. This may include M recursive emulations of H emulating itself
emulating D.
When we see that D correctly simulated by pure simulator H would remain
stuck in infinite recursive simulation then we also know that less than
an infinite number of steps is not enough steps for D correctly
simulated by pure function H to reach its own simulated final state at
line 06 and halt.
But the D that was non-halting was a DIFFERENT D then the one simulated by the finite stepping simulator, so the answers don't apply.
https://en.wikipedia.org/wiki/Shell_game*I updated my words to address your persistent shell-game ploy*
The above template refers to an infinite set of H/D pairs where D is
correctly simulated by either pure simulator H or pure function H. This
was done because many reviewers used the shell game ploy to endlessly
switch which H/D pair was being referred to.
I must continue to improve the clarity of words to the point
that *INTENTIONAL MISINTERPRETATION* looks utterly ridiculous.
*The dishonest dodge strawman deception CHANGE-THE-SUBJECT*
*fake rebuttal already looks utterly ridiculous*
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Date | Sujet | # | | Auteur |
23 May 24 | Can you see that D correctly simulated by H remains stuck in recursive simulation? | 146 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 23 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 10 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 9 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 8 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 7 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 6 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 5 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 4 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 3 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 12 | | Fred. Zwarts |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 5 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 4 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 3 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 6 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 5 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 4 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 3 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 122 | | Fred. Zwarts |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 121 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 120 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 119 | | olcott |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 118 | | Richard Damon |
24 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 117 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 1 | | Richard Damon |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 115 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 114 | | Richard Damon |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 113 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 112 | | Richard Damon |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 111 | | olcott |
25 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 108 | | Richard Damon |
25 May 24 | D correctly simulated by pure function H cannot possibly reach its, own line 06 | 107 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 106 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 105 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 103 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 102 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 101 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 100 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 99 | | Richard Damon |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 98 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 97 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 6 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 5 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 4 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 3 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 90 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 89 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 88 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 87 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 86 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 85 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 84 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 83 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 82 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 81 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 78 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 77 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 6 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 5 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 70 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 69 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 68 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 67 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 66 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest? | 65 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 64 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 63 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 62 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- | 61 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 4 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 3 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 2 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof | 1 | | Richard Damon |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz | 56 | | olcott |
26 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz | 55 | | Richard Damon |
27 May 24 | A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 54 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 53 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 52 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 51 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 4 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 3 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 2 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 1 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 46 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 3 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 2 | | olcott |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 1 | | Richard Damon |
27 May 24 | Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩ | 42 | | olcott |
25 May 24 | Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 | 1 | | Alan Mackenzie |
26 May 24 | Re: Can you see that D correctly simulated by H remains stuck in recursive simulation? | 2 | | Fred. Zwarts |