Re: Halting Problem: What Constitutes Pathological Input

Am Wed, 07 May 2025 15:41:59 -0500 schrieb olcott:

On 5/7/2025 3:24 PM, joes wrote:

Am Tue, 06 May 2025 13:40:16 -0500 schrieb olcott:

On 5/6/2025 10:53 AM, joes wrote:

Am Tue, 06 May 2025 10:29:59 -0500 schrieb olcott:

On 5/6/2025 4:35 AM, Mikko wrote:

No, it does not. The input is DD specifides exactly the same
sequence of steps as DD. HHH just answers about a different
sequence of steps instead of the the seqeunce specified by its
input.

As agreed to below:
>

*input D* is the actual input *would never stop running unless
aborted* is the hypothetical H/D pair where H does not abort.

>

H should simulate its actual input D that calls the aborting H, not a
hypothetical version of D that calls a pure simulator.
>

*would never stop running unless aborted*
refers to the same HHH that DD calls yet this hypothetical HHH does
not abort.

Then it is not the same HHH.

It is the exact same HHH/DD pair except that this hypothetical HHH never
aborts.

Will you accept this piece of paper that is the same as a dollar bill
except it is fake?

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.