Re: Halting Problem: What Constitutes Pathological Input

On 5/5/2025 4:40 PM, Richard Heathfield wrote:

On 05/05/2025 22:31, dbush wrote:

On 5/5/2025 5:08 PM, olcott wrote:

 <snip>
 

No TM can compute the square root of a dead rabbit either.

>
Strawman.  The square root of a dead rabbit does not exist,

 Don't be so sure. I have several on my mantelpiece and two more on order. For once, olcott is right; there is no way to compute them. They do, however, need thorough and regular polishing. Black polish or brown? Well, that's undecidable.
 

but the question of whether any arbitrary algorithm X with input Y halts when executed directly has a correct answer in all cases.

 Indeed it has.
 

It's just that no algorithm exists that can compute that mapping, as proven by Linz and other and as you have *explicitly* agreed is correct.

 He's coming round to the idea, albeit slowly. He can't bring himself to describe the mapping as 'incomputable' or 'undecidable', but he's started to claim that such a mapping is 'incorrect', which is a tacit acknowledgement that it exists.
 

When the input to HHH(DD) is mapped to the
behavior that this input actually specifies
IT DOES NOT HALT.
That everyone stupidly imagines that DD emulated
by HHH according to the rules of the x86 language
can simply jump over the "call" instruction to the
"ret" instruction so that it has the same behavior
as the directly executed DD() IS STUPIDLY RIDICULOUS.
What is really happening is that no one here
besides me has even a slight clue about the
semantics of the x86 language and knowing that
they themselves are clueless have the audacity
and pure bluster to say that I am wrong anyway.
_DD()
[00002133] 55         push ebp      ; housekeeping
[00002134] 8bec       mov ebp,esp   ; housekeeping
[00002136] 51         push ecx      ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
[00002141] 83c404     add esp,+04
[00002144] 8945fc     mov [ebp-04],eax
[00002147] 837dfc00   cmp dword [ebp-04],+00
[0000214b] 7402       jz 0000214f
[0000214d] ebfe       jmp 0000214d
[0000214f] 8b45fc     mov eax,[ebp-04]
[00002152] 8be5       mov esp,ebp
[00002154] 5d         pop ebp
[00002155] c3         ret
Size in bytes:(0035) [00002155]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer