Sujet : Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 09. Jun 2024, 16:03:00
Autres entêtes
Organisation : -
Message-ID : <v44g74$3j5rn$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Unison/2.2
On 2024-06-09 12:50:22 +0000, olcott said:
On 6/9/2024 2:31 AM, Mikko wrote:
On 2024-06-08 12:25:35 +0000, olcott said:
On 6/8/2024 12:43 AM, Mikko wrote:
On 2024-06-07 13:49:09 +0000, olcott said:
On 6/7/2024 12:49 AM, Mikko wrote:
On 2024-06-06 15:06:22 +0000, olcott said:
<Professor Sipser agreed>
If simulating halt decider H correctly simulates its input D
until H correctly determines that its simulated D would never
stop running unless aborted then
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</Professor Sipser agreed>
// Simplified Linz Ĥ (Linz:1990:319)
// Strachey(1965) CPL translated to C
void P(u32 x)
{
if (H(x, x))
HERE: goto HERE;
}
People here that are experts in the C programming language know that
*P correctly simulated by H cannot possibly stop running unless aborted*
yet lie about this or to try to get away with the strawman deception
CHANGE-THE-SUBJECT fake rebuttal.
People here who have recently followed these discussions know that "P
correctly simulated by H cannot possibly stop running unless aborted"
does not confirm or contradict anything Linz and Strachey have said.
When P correctly simulated by H meets this criteria
If simulating halt decider H correctly simulates its input P
until H correctly determines that its simulated P would never
stop running unless aborted then
Still unproven whther P ever meets those criteria, in particular
the last "correctly".
That you lack the mandatory prerequisite knowledge to understand
that this is correct provided zero evidence that this is incorrect.
Doesn't matter. Much less understanding is needed to see that you have
not proven that P ever meets the criteria agreed by Siplser. Equally
clear is that you have not proven that P never meets those criteria.
I incorporate by reference
(a) The x86 language
(b) The notion of an x86 emulator
(c) I provide this complete function
void DDD(int (*x)())
{
HH(x, x);
}
_DDD()
[00001de2] 55 push ebp
[00001de3] 8bec mov ebp,esp
[00001de5] 8b4508 mov eax,[ebp+08]
[00001de8] 50 push eax ; push DD
[00001de9] 8b4d08 mov ecx,[ebp+08]
[00001dec] 51 push ecx ; push DD
[00001ded] e890f5ffff call 00001382 ; call HH
[00001df2] 83c408 add esp,+08
[00001df5] 5d pop ebp
[00001df6] c3 ret
Size in bytes:(0021) [00001df6]
Then I state that No DDD correctly emulated by any
x86 emulator H can possibly reach its own [00001df6]
instruction.
To anyone having this mandatory prerequisite knowledge
(perhaps not you) every x86 emulation of DDD by any
x86 emulator H continually repeats the first seven lines
of DDD until it crashes due to out-of-memory error.
OK, but insufficient.
Try and show what is missing.
Truth preseving transformations.
-- Mikko
Date | Sujet | # | | Auteur |
4 Jun 24 | Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 28 | | olcott |
4 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 5 | | Fred. Zwarts |
4 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 4 | | olcott |
5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 3 | | Fred. Zwarts |
5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 2 | | olcott |
5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 1 | | Fred. Zwarts |
4 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 20 | | olcott |
4 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 19 | | Fred. Zwarts |
5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 18 | | Mikko |
5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 17 | | olcott |
6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 16 | | Mikko |
6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 15 | | olcott |
6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 13 | | Mikko |
6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 12 | | olcott |
7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 10 | | Mikko |
7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 9 | | olcott |
7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
8 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 7 | | Mikko |
8 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 6 | | olcott |
8 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 4 | | Mikko |
9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 3 | | olcott |
9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 2 | | Mikko |
9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | olcott |
7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
5 Jun 24 | Re: Proof that Olcott is a liar | 1 | | immibis |
5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 1 | | Richard Damon |