Re: Ben agrees that Sipser approved criteria is met

Am Fri, 28 Jun 2024 07:40:57 -0500 schrieb olcott:

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

On 2024-06-27 16:56:56 +0000, olcott said:

Deciders are always asked a yes/no question of their
inputs in their own native language.

Yes, and the question here is „Does the input halt?” and not „Do I
simulate this to halt?”.

Instead everyone here expects that the halt decider must map
to the English description of what the authors of textbooks
expect it to map to.

Naturally. Why should it not work as defined.

Everyone that states an opinion says that the decider
must go by the textbook definitions of the problem thus
not the problem instance actually encoded by the input.

That IS the instance encoded by the input. We call H with DDD,
not H with H(DDD).