Re: Halting Problem: What Constitutes Pathological Input

Am Tue, 06 May 2025 13:05:15 -0500 schrieb olcott:

On 5/6/2025 5:59 AM, Richard Damon wrote:

On 5/5/25 10:18 PM, olcott wrote:

On 5/5/2025 8:59 PM, dbush wrote:

On 5/5/2025 8:57 PM, olcott wrote:

On 5/5/2025 7:49 PM, dbush wrote:

DO COMPUTE THAT THE INPUT IS NON-HALTING IFF (if and only if) the
mapping FROM INPUTS IS COMPUTED.

i.e. it is found to map something other than the above function
which is a contradiction.

The above function VIOLATES COMPUTER SCIENCE. You make no attempt to
show how my claim THAT IT VIOLATES COMPUTER SCIENCE IS INCORRECT you
simply take that same quote from a computer science textbook as the
infallible word-of-God.

What does it violate?

All you are doing is showing that you don't understand proof by
contradiction,

Not at all. The COMPUTER SCIENCE of your requirements IS WRONG!

No, YOU don't understand what Computer Science actually is talking
about.

Every function computed by a model of computation must apply a specific
sequence of steps that are specified by the model to the actual finite
string input.

You are very confused. An algorithm or program computes a function.

HHH(DD) must emulate DD according to the rules of the x86 language.
THIS DOES DERIVE THAT THE CORRECTLY EMULATED DD DOES NOT HALT.

It does derive that, but it is not correct.

That everyone here thinks that HHH can simply ignore the rules of the
x86 language and jump over the "call" instruction to the "ret"
instruction seems quite stupid to me.

No, we think the call should actually be simulated completely, since
we know it returns.

--
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.