Sujet : Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 25. Jun 2024, 22:22:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v5fce0$1nsua$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
On 6/25/2024 3:31 PM, joes wrote:
Am Fri, 21 Jun 2024 12:22:04 -0500 schrieb olcott:
On 6/21/2024 12:09 PM, Richard Damon wrote:
On 6/21/24 1:04 PM, olcott wrote:
On 6/21/2024 10:25 AM, Richard Damon wrote:
On 6/21/24 10:44 AM, olcott wrote:
On 6/21/2024 9:02 AM, Richard Damon wrote:
On 6/21/24 9:01 AM, olcott wrote:
On 6/21/2024 2:44 AM, Fred. Zwarts wrote:
Op 20.jun.2024 om 16:12 schreef olcott:
On 6/20/2024 3:09 AM, Fred. Zwarts wrote:
Op 20.jun.2024 om 02:00 schreef olcott:
If the simulation of a program with a loop of 5 iterations is
aborted after 3 iterations, all instructions are correctly
simulated. Nevertheless, it is an incorrect simulation, because
it should simulate up to the final state of the program.
First, NO ONE has said that *H* (or what every you are calling your
decider today) can correct simulate the input to a final state.
When there is no mapping from the finite string x86 machine language
input to H(D,D) to the behavior of D(D) then H(D,D) IS NOT being asked
about the behavior of D(D).
It means that H can't do the mapping, i.e. it is not simulating correctly.
It does a different map that doesn't fit its specification.
No that is incorrect. D correctly simulated by every H that can
possibly exist does not have the same behavior of any directly
executed D(D) that halts.
If I ask you: What time is it?
How do you know that my actual question is
what are you planning on having for dinner?
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer