----------------------------------------------------------------------------------
@MSGID: 1@dont-email.me> 177ca79f
@REPLY: 1@dont-email.me> 806914b0
@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>
@TZUTC: 0300
@PID: Unison/2.2
@TID: FIDOGATE-5.12-ge4e8b94
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.
For eample, Wikipedia
https://en.wikipedia.org/wiki/Halting_problem
defines the problem: "In computability theory, the halting problem is the
problem of determining, from a description of an arbitrary computer program
and an input, whether the program will finish running, or continue to run
forever."
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