----------------------------------------------------------------------------------
@MSGID: 1@dont-email.me> 6b8acf02
@REPLY: 1@dont-email.me> cc5b057e
@REPLYADDR Mikko <mikko.levanto@iki.fi>
@REPLYTO 2:5075/128 Mikko
@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>
1@dont-email.me>
@TZUTC: 0300
@PID: Unison/2.2
@TID: FIDOGATE-5.12-ge4e8b94
On 2023-08-21 14:49:13 +0000, olcott said:
> All deciders must map THEIR INPUT to an accept or reject state
> on the basis of a property of THIS INPUT.
That is the only thing they can do, eeven if required something else.
For a halting deider the property is whether that input is a
description of a halting computation.
> All halt deciders must map THEIR INPUT to an accept or reject state
> on the basis of the behavior specified by THIS ACTUAL INPUT.
Which is the actual behaviour of the actual Turing machine
described by the input.
> The actual behavior specified by this actual input is the behavior
> of D correctly simulated by H.
So you say but haven`t proven. Instead, you have proven that it is not.
> This behavior of this input must
> include the change in the behavior caused by the pathological
> relationship specified by the source code.
There is no change in the behaviour. Id D(D) ever halts it halts,
otherwise it never halts.
> I don`t know how my reviewers think that they can get away with
> different behavior than the behavior that the source-code stipulates.
Source code does not stipulate. It describes. If H sees a different
behaviour it interpretes the input incorrectly.
> When the source code stipulates that D simulated by H cannot possibly
> terminate normally then this must be reported as non-halting.
Source code says nothing about H, only about D.
Mikko
--- Unison/2.2
* Origin: - (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