@MSGID: 1@dont-email.me> cc5b057e
@REPLY: 1@dont-email.me> 177ca79f
@REPLYADDR olcott <polcott2@gmail.com>
@REPLYTO 2:5075/128 olcott
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@dont-email.me>
@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> 1@dont-email.me>
@TZUTC: -0500
@PID: Mozilla/5.0 (Windows NT 10.0; Win64; x64;
rv:102.0) Gecko/20100101 Thunderbird/102.14.0
@TID: FIDOGATE-5.12-ge4e8b94
On 8/21/2023 5:50 AM, Mikko wrote:
> On 2023-08-19 23:02:11 +0000, olcott said:
> 
>> If D correctly simulated by H cannot possibly terminate normally then
>> this proves that the actual behavior of the actual input is non-halting.
> 
> Irrelevant.
> 
>> A halt decider is required to report on the actual behavior of the
>> actual input and it not allowed to report on any other behavior.
> 
> Wrong. A halt decider is required to report whether the actual
> computation it is asked about therminates.

All deciders must map THEIR INPUT to an accept or reject state
on the basis of a property of THIS INPUT.

All halt deciders must map THEIR INPUT to an accept or reject state
on the basis of the behavior specified by THIS ACTUAL INPUT.

The actual behavior specified by this actual input is the behavior
of D correctly simulated by H. This behavior of this input must
include the change in the behavior caused by the pathological
relationship specified by the source code.

I don`t know how my reviewers think that they can get away with
different behavior than the behavior that the source-code stipulates.

When the source code stipulates that D simulated by H cannot possibly
terminate normally then this must be reported as non-halting.


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

 --- Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
 * Origin: A noiseless patient Spider (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441