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 : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 10. Aug 2024, 03:24:11
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v96j0b$d94c$1@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
User-Agent : Mozilla Thunderbird
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.
<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...
You lost, you are stuck in repeat mode. You have no
rebuttals that have not been proven false.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
7 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal