@MSGID: Fgta.159797@fx10.iad>
a7f97535
@REPLY: 1@dont-email.me> 947d5631
@REPLYADDR Richard Damon
<Richard@Damon-Family.org>
@REPLYTO 2:5075/128 Richard Damon
@CHRS: CP866 2
@RFC: 1 0
@RFC-References: 3@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me>
@RFC-Message-ID:
Fgta.159797@fx10.iad>
@TZUTC: -0400
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
On 8/19/23 10:34 AM, olcott wrote:
> On 8/19/2023 3:38 AM, Mikko wrote:
>> On 2023-08-18 17:07:09 +0000, olcott said:
>>
>>> On 8/18/2023 11:54 AM, Mikko wrote:
>>>> On 2023-08-18 14:18:55 +0000, olcott said:
>>>>
>>>>> *Thus you agree with this*
>>>>> D correctly simulated by H cannot possibly reach past its own line 06.
>>>>
>>>> I`m mot sure it is correct English to use "D" as a subject to an active
>>>> verb "reach" as D is not present and therefore cannot actively do 
>>>> anything.
>>>> Anyway, one can say that H cannot correctly simulate D(D) past line 6,
>>>> which apparently is what you try to express with that sentence.
>>>>
>>>> Mikko
>>>>
>>>
>>> It is not an error of H that prevents the correct simulation of G past
>>> line 06, it is the pathological relationship that D defines with H that
>>> makes this impossible.
>>
>> If H(D,D) says "does not halt" but D(D) halts then H is not a halt 
>> decider
> 
> If Bill`s identical twin brother robs a liquor store and Mary said that
> Bill did it Mary is wrong. The instance of D that H determines does not
> halt is a different instance than the one that halts.
> 
> The one that halts only halts because the other different one has been 
> aborted.

No, D(D) Halts because it Halts. The thing that causes it to halt it 
part of it (the code for the H it calls is part of the code for the 
PROGRAM D).

Remember, Halting is about the behavior of that ACTUAL MACHINE, not some 
partial simulation of it.

> 
>> because it does not satisfy the definition of "halt decider".
> 
> Every halt decider must map its actual input to its own accept or reject
> state on the basis of the actual behavior of this actual input and is
> not allowed to report on the differing behavior of any non-input such as
> D(D) directly executed in main().

IF H doesn`t answer the question required to be answered by a Halt 
Decider, it isn`t a Halt Decider. PERIOD.

It isn`t even a "twin brother" to a Halt Decider.

The question a Halt Decider MUST be answering to be a Halt Decider is 
does the ACTUAL MACHINE REPRESENTED by the input Halt when run.

Since D(D) Halts when run, and you admit that (and it doesn`t matter WHY 
it does, just that it does), the ONLY correct answer for a Halt Decider 
when given its representation of that machine is to answer Halting.

Since you claim D is built exactly by the definition of the proof, and D 
is defined to ask its copy of H what is the behavior of D applied to its 
input, and D(p) calls H(p,p) this means that D(D) calling H(D,D) MUST be 
asking about the behavior of the program D(D).

Thus, the behaviof of D(D) IS the "behavior of the input" or you have 
defined somethig incorrectly, and are just lying.

> 
> You admitted that the input to H(D,D) cannot possibly terminate
> normally. This proves that it is correctly determined to be non-halting.

No, it is admitted that no H can possible simulate the input D based on 
it to a terminal state.

THIS H, the one that answers, fails because it gives up. That does NOT 
mean that an ACTUAL Correct simulation of the input to H will not reach 
a final state.

> 
>> Whether that is an error depends on whether H is claimed or required 
>> to be
>> a halt decider.
>>
>> Mikko
>>
> 

You are just proving that you just don`t understand the words you are 
using and are just a pathological liar.
--- Mozilla Thunderbird
 * Origin: Forte - www.forteinc.com (2:5075/128)
SEEN-BY: 5001/100 5015/255 5019/40 5020/715 848
1042 4441 12000 5030/49 1081
SEEN-BY: 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441