Sujet : Re: olcott is still disagreeing with the semantics of simulation
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 02. Jul 2024, 01:38:37
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5vi6d$1oanb$5@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 7/1/24 12:03 PM, olcott wrote:
On 7/1/2024 10:57 AM, joes wrote:
Am Mon, 01 Jul 2024 07:49:54 -0500 schrieb olcott:
On 7/1/2024 6:08 AM, Richard Damon wrote:
On 6/30/24 10:27 PM, olcott wrote:
On 6/30/2024 9:16 PM, Richard Damon wrote:
On 6/30/24 9:38 PM, olcott wrote:
On 6/30/2024 8:24 PM, Richard Damon wrote:
On 6/30/24 9:03 PM, olcott wrote: >> On 6/30/2024 7:44 PM, Richard
Damon wrote:
>
The call from DDD to HHH(DDD) when N steps of DDD are correctly
emulated by any pure function x86 emulator HHH at machine address
0000217a cannot possibly return.
But that is NOT the "behavior of the input", and CAN NOT BE SO
DEFINED.
>
DDD is emulated by HHH which calls an emulated HHH(DDD) to
repeat the process until aborted.
And, since the HHH that DDD calls will abort is emulation, it WILL
return to DDD and it will return also.
Right.
>
The emulation stops, and the emulating behavor of HHH stops, but not
the behavior of the input.
When DDD is no longer being emulated all of its behavior stops. DDD is
the input.
Again: emulating does not change what the input does of its own. Aborting
an emulation is premature, as the input does not contain an abort.
>
*The title of this post is a lie*
*The title of this post is a lie*
*The title of this post is a lie*
Nope, it is the TRUTH.
OLCOTT is the one lying.
void Infinite_Loop()
{
HERE: goto HERE;
}
void Infinite_Recursion()
{
Infinite_Recursion();
}
void DDD()
{
HHH(DDD);
}
int main()
{
HHH(Infinite_Loop);
HHH(Infinite_Recursion);
HHH(DDD);
}
*Each one of these cases meets this criteria*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
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.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
Right. and since the definition of a "Correct Simulation" that Professor Sipser would use (as with most of the world) is one that recreates the full behavior of the program represented by the input, which means it NEVER stops until it reaches an end state, and your H doesn't do that, or correctly predicts what such a simulation of the input would do, you can't use the second paragraph, so when it aborts, it can get the answer wrong, which it does.
…