Sujet : Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 05. Jul 2024, 14:22:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v68oiu$39dkv$7@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 7/5/2024 5:02 AM, joes wrote:
Am Thu, 04 Jul 2024 15:18:16 -0500 schrieb olcott:
On 7/4/2024 3:04 PM, Fred. Zwarts wrote:
Op 04.jul.2024 om 21:45 schreef olcott:
On 7/4/2024 2:40 PM, Fred. Zwarts wrote:
Op 04.jul.2024 om 21:30 schreef olcott:
On 7/4/2024 2:26 PM, Fred. Zwarts wrote:
No, this trace supports my claim. When we look at this trace we see
that
HHH is simulating itself simulating DDD until it sees that DDD is
calling HHH in recursive simulation such that neither the simulated
DDD nor the simulated HHH can possibly stop running unless HHH aborts
its DDD.
The 'unless HHH aborts ...' is irrelevant and misleading,
because in fact HHH DOES abort.
Not at all. Not in the least little bit.
A halt decider must PREDICT what its input would do.
Which is that HHH aborts and does not run forever.
Professor Sipser recognized this as inherently correct.
It is not the huge deal you make it out to be.
It is the difference between correct and incorrect.
Ben also agreed that D correctly simulated by H DOES MEET THIS CRITERIA.
Where does he say that? D IS aborted, so the condition doesn’t match.
He says in in the part that you dishonestly ignored.
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
> I don't think that is the shell game. PO really /has/ an H (it's
> trivial to do for this one case) that correctly determines that P(P)
> *would* never stop running *unless* aborted.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…