Re: V5 --- Professor Sipser

On 8/23/2024 2:24 AM, joes wrote:

Am Thu, 22 Aug 2024 12:42:59 -0500 schrieb olcott:

On 8/22/2024 12:28 PM, joes wrote:

Am Wed, 21 Aug 2024 23:22:11 -0500 schrieb olcott:

On 8/21/2024 10:35 PM, Richard Damon wrote:

On 8/21/24 11:26 PM, olcott wrote:

On 8/21/2024 9:06 PM, Richard Damon wrote:

On 8/21/24 9:55 PM, olcott wrote:

On 8/21/2024 8:45 PM, Richard Damon wrote:

On 8/21/24 9:23 PM, olcott wrote:

On 8/21/2024 7:00 PM, Richard Damon wrote:

On 8/21/24 8:30 AM, olcott wrote:

On 8/21/2024 3:01 AM, Mikko wrote:

On 2024-08-21 03:01:38 +0000, olcott said:

>

Which must include *ALL* of the code of the PROGRAM D, which
includes ALL the code of everything it calls, which includes H,
so with your system, changing H gives a DIFFERENT input, which
is not comparable in behavior to this input.

>

That you seem to NEVER LEARN is what makes you stupid.

>

Professor Sipser clearly agreed that an H that does a finite
simulation of D is to predict the behavior of an unlimited
simulation of D.

Right, H needs to predict in a finite number of steps, what an
unlimited simulation of this EXACT input, which means that it must
call the H that you claim to be getting the right answer, which is
the H that does abort and return non-halting.

OK then you seem to have this correctly, unless you interpret this
as a self-contradiction.

Why do you think it could be a self-contradiction?
It is an impossiblity for H to correctly do it, but that is why the
Halting Problem is non-computable.

THIS EXACTLY MATCHES THE SIPSER APPROVED CRITERIA The finite HHH(DDD)
emulates itself emulating DDD exactly once and this is sufficient for
this HHH to predict what a different HHH(DDD) do that never aborted
its emulation of its input.

That other HHH still has to simulate the HHH that aborts.

That is not what the words mean.
HHH(DDD) simulates itself simulating DDD until it has the basis to prove
that this will keep repeating until aborted. Then the outermost directly
executed HHH aborts its own DDD.

Only IF it will in fact keep repeating, which is not the case.

Only IF it *WOULD* in fact keep repeating, *which is the case*
Only IF it *WOULD* in fact keep repeating, *which is the case*
Only IF it *WOULD* in fact keep repeating, *which is the case*
Only IF it *WOULD* in fact keep repeating, *which is the case*
Please pay much closer attention. I want to fully defend my
legacy before I die of POD24. I am not here to engage in head games.
<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

HHH is partially simulating itself, so it should at least return
that it halts.
 

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer