Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.

Liste des GroupesRevenir à theory 
Sujet : Re: HHH maps its input to the behavior specified by it --- reaches its halt state --- Which DDD does if HHH(DDD) returns and answer, which it does since it is a decider.
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 10. Aug 2024, 03:56:36
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <14c242a78e47e9cc61ac50289c3c9af83d6b9f3b@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 24 25
User-Agent : Mozilla Thunderbird
On 8/9/24 10:43 PM, olcott wrote:
On 8/9/2024 9:35 PM, Richard Damon wrote:
On 8/9/24 10:24 PM, olcott wrote:
On 8/9/2024 8:54 PM, Richard Damon wrote:
On 8/9/24 9:52 PM, olcott wrote:
On 8/9/2024 8:46 PM, Richard Damon wrote:
On 8/9/24 9:25 PM, olcott wrote:
On 8/9/2024 8:05 PM, Richard Damon wrote:
On 8/9/24 8:52 PM, olcott wrote:
>
When we look at every HHH that can possibly exist then
we see that DDD correctly emulated by each one of these
cannot possibly reach its "return" instruction halt state.
>
But ONLY ONE of those actuallu "correctly emulates" the input, and that one isn't a decider.
>
>
In other words you are trying to keep getting away
with the bald-faced lie that when HHH correctly
emulates N instructions of DDD (where N > 0) that
it did not correctly emulate any instructions of DDD.
>
*Give it up you lost you are stuck in repeat mode*
*Give it up you lost you are stuck in repeat mode*
*Give it up you lost you are stuck in repeat mode*
>
>
So, I guess you don't understand English.
>
Where did I say that simulating N instructions correctly is not simulating ANY instructions correctly.
>
>
*Shown above*
"But ONLY ONE of those actuallu "correctly emulates" the input..."
>
>
Right, becuase to correctly emulate, you need to correct emulate EVERY instruction, not just some of them.
>
>
So you defining whole notion simulating termination analyzers
as incorrect even though professor Sipser has agreed that the
simulation need not be complete.
>
No, they just need to do the job right.
>
But it needs to prove that the CORRECT SIMULATION, which would be complete, doesn't ever reach a final state. T
 void DDD()
{
   HHH(DDD);
   return;
}
 You already know that a complete simulation of DDD
by a pure x86 emulator cannot possibly reach its
"return" instruction halt state.
Of course it can. as long as it isn't HHH, and the HHH that DDD was paired with gives an answer.
Your problem is thinking the only simulator allowed is HHH.

 What makes an algorithm necessarily much more ignorant
than you?
YOU.

 It only needs to correctly predict the behavior of
the complete simulation. Just like you and I, it
does not have to do this complete simulation to make
this correct prediction.
 
Right, and if HHH aborts and returns, then the COMPLETE simulation of the DDD that calls that HHH will see it reaching  the final state.
You just don't know what a program is, so you forget that the HHH that DDD calls is part of it, or you are just lying that the input CAN be emulated for more than 4 instruction by a pure function.
Remember, a pure function can not use ANY external values as data other than the input given, not even its own code.
IF you try to define that the contents of that address are "HHH", you need to define WHAT THAT ACTUALLY IS, and thus you only have that one HHH in every case, not your infinite set.
You just don't understand how that is a requirement, because requirements don't seem to make sense to you since they keep you from your lies.
Sorry, you are just too stupid to see how stupid you are, and that is the worse type of stupid there is.

Date Sujet#  Auteur
6 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal