Re: Halting Problem is wrong two different ways

Am Wed, 05 Jun 2024 08:18:24 -0500 schrieb olcott:

On 6/5/2024 2:13 AM, Mikko wrote:

On 2024-06-04 17:40:47 +0000, olcott said:

On 6/4/2024 3:28 AM, Mikko wrote:

On 2024-06-03 18:14:39 +0000, olcott said:

On 6/3/2024 9:27 AM, Mikko wrote:

On 2024-06-03 12:20:01 +0000, olcott said:

On 6/3/2024 4:42 AM, Ben Bacarisse wrote:

Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:

Nice to see that you don't disagree with my observation that your
statement

Deciders only compute the mapping *from their inputs* to their own
accept or reject state.

does not restrict what a problem statement can specify.
 

Sure it does.
int sum(int x, int y) { return x + y; }
sum(3,4) cannot correctly return the sum of 5 + 6.
 
H(D,D) cannot possibly return the halt status of D(D) because D calls H
in recursive simulation thus forcing the behavior of D correctly
simulated by H to be different than the behavior of the directly
executed D(D).

Then D is not a simulator.

Requiring H(D,D) to return the halt status of D(D) is exactly the same
as requiring sum(3,4) to return the sum of 5 + 6.

Uh, what? Wasn't H specified to return exactly that?

--
joes