Re: The essence of my halting problem work

Am Tue, 10 Dec 2024 22:52:07 -0600 schrieb olcott:

On 12/10/2024 8:01 PM, Richard Damon wrote:

On 12/10/24 9:22 AM, olcott wrote:

On 12/10/2024 1:35 AM, Mikko wrote:

On 2024-12-09 13:46:16 +0000, olcott said:

On 12/9/2024 4:54 AM, Mikko wrote:

On 2024-12-08 19:34:19 +0000, olcott said:

On 12/8/2024 4:55 AM, Mikko wrote:

On 2024-12-05 04:20:50 +0000, olcott said:

On 12/4/2024 8:16 PM, Richard Damon wrote:

On 12/4/24 8:50 PM, olcott wrote:

On 12/4/2024 7:45 PM, Richard Damon wrote:

On 12/4/24 8:41 PM, olcott wrote:

On 12/4/2024 7:31 PM, Richard Damon wrote:

On 12/4/24 8:06 PM, olcott wrote:

On 12/4/2024 6:11 PM, Richard Damon wrote:

On 12/4/24 9:27 AM, olcott wrote:

On 12/3/2024 5:39 PM, Richard Damon wrote:

On 12/3/24 6:08 PM, olcott wrote:

On 12/3/2024 3:03 AM, joes wrote:

Am Mon, 02 Dec 2024 20:48:49 -0600 schrieb olcott:

On 11/28/2024 1:48 PM, joes wrote:

Everyone disagreeing with this has dishonestly used to strawman
deception to refer to different behavior than DD simulated by HHH.

>
The topic as specified on the subject line is the behaviour of DD
and what HHH should report. Simulation is not mentioned there.

>
I can't put more than a sentence on the subject line.

>
What you did put there specifies that the halting problem is on topic
and therefore is not "strawman".
>
>

In the specific aspect of the "do the opposite of whatever HHH says"
halting problem input DD, HHH does correctly reject DD as non-halting
on the basis that DD emulated by any HHH cannot possibly reach its own
final state.

 
 
Nope, sincr the program DD will halt and the program HHH says it will
not.
 

typedef void (*ptr)();
int HHH(ptr P);
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
int main()
{
   HHH(DD);
}

(1) Halt Deciders / Termination analyzers compute the mapping from their
input finite string to the actual behavior that it specifies. NON-INPUTS
ARE NOT ALLOWED.

The input is DD. What do you think the non-input is?

(2) DD simulated/emulated by any HHH according to the semantics of the
C/x86 language cannot possibly reach it own final halt state.

HHH cannot simulate DD halting.

Your tactic of "rebutting" these truths is to change the subject
entirely. You never assess the exact words that I actually said.

Your exact words are wrong. Change the subject to what?

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