Re: V5 --- Professor Sipser --- trace of HHH on DDD input

On 8/24/24 4:04 PM, olcott wrote:

On 8/24/2024 2:49 PM, Fred. Zwarts wrote:

Op 24.aug.2024 om 16:35 schreef olcott:

On 8/24/2024 9:27 AM, joes wrote:

Am Sat, 24 Aug 2024 08:21:45 -0500 schrieb olcott:

On 8/24/2024 3:47 AM, Fred. Zwarts wrote:

Op 23.aug.2024 om 23:40 schreef olcott:

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

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

>

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*

It is the case only if you still cheat with the Root variable, which
makes that HHH processes a non-input, when it is requested to predict
the behaviour of the input.

The fact is that it *WOULD* in fact keep repeating,
thus *IT DOES* get the correct answer.

>

The simulated, aborting HHH would… abort.

>
<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
>

Why repeating this over and over again if you do not understand the words?
Sipser agreed to 'If ... correctly simulates ...

 Meaning: Emulates the input finite string according
to the semantics of the x86 language.
 

But it the finite string doesn't contain ALL of the code needed to eb emulatied, which means ALL the code use by DDD, which includes the code of HHH it can't actually be done.
So, since you START with an error in your definition, since you try to define "DDD" as JUST the code of the "C function" DDD, and not the PROGRAM DDD, you begin with the LIE of a CATEGORY ERROR.

I have corrected you too many times on this to believe
that you are honest.

No, you have repeated your ERROR too many times to believe that it is just an honest error. You have proved yourself to be a pathological liar.

 

correctly determines ...'.

 If DDD WOULD never stop running when emulated by
a hypothetical HHH that never aborts then this

But the PROGRAM DDD, which calls the original HHH as the description of the proper program does, DOES reach a final state,

 would never stop running unless aborted
would never stop running unless aborted
would never stop running unless aborted

But it does. Only in your LIES does it not.
Sorry, your repeating the errors and not addressing them just proves that you are a stupid ignorant pathological liar.
Thus, even if you do try to properly derive your new "correct reasoning" logic system, many people will just not even look at it, because why should they trust anything from a person with that repuration.
Sorry, you are must killing you ability to be believed about anything.

 

There is no correct simulation, there is no correct determination, so the remainder of the sentence does not apply.
Maybe you should read it a few more times, until you understand what 'if' means.
Maybe use a dictionary to learn the meaning of English words.