Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows
Date: Tue, 11 Mar 2025 12:01:16 -0500
Organization: A noiseless patient Spider
Lines: 81
Message-ID: <vqpq8s$22qmv$1@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqotps$1snjg$1@dont-email.me>
 <vqp1l9$1tful$1@dont-email.me> <vqpdmv$202b2$1@dont-email.me>
 <vqpekf$20c9k$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 11 Mar 2025 18:01:18 +0100 (CET)
Injection-Info: dont-email.me; posting-host="21ad3ceb157a21d404b41b865b615184";
	logging-data="2190047"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/z1BXwg4cQj0g1CKfAXzZz"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+Pev2CUwe2v2AwvQAWwj8zR7gOo=
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <vqpekf$20c9k$1@dont-email.me>
X-Antivirus: Norton (VPS 250311-0, 3/10/2025), Outbound message
Bytes: 3323

On 3/11/2025 8:42 AM, Richard Heathfield wrote:
> On 11/03/2025 13:26, olcott wrote:
>> On 3/11/2025 5:01 AM, Richard Heathfield wrote:
> 
> <snip>
> 
>>> And yet I can't even /see/ HHH, let alone judge what it does or does 
>>> not do correctly. All I see is a call to it.
>>>
>>
>> It is stipulated that HHH correctly emulates N
>> steps of the x86 machine code of its input functions.
>> This may or may not include HHH emulating itself
>> emulating an input.typedef void (*ptr)();
int HHH(ptr P);

void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}

void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}

void DDD()
{
   HHH(DDD);
   return;
}

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

That when HHH correctly emulates N steps of the
above functions that none of these functions can
possibly reach their own "return" instruction
and terminate normally.

> 
> Not good enough. Show us the code. It may contain a bug that you haven't 
> spotted.
> 

The above is a semantic tautology thus making bugs
impossible.

https://github.com/plolcott/x86utm/blob/master/Halt7.c

>>> And ld concurs. It can't see HHH either.
>>>
>>> I suggest that Mr Olcott should supply the missing source code if he 
>>> wishes to be taken seriously.
>>>
>>
>> Not required for the above thought experience where
>> every relevant behavior has been fully specified. This
>> is merely another lame attempt on your part to perpetually
>> dodge the point.
> 
> Dodge what point? You must be confusing me with someone else, because I 
> have no idea what your point is, unless it's to demonstrate that you 
> have read up on the Halting Problem. Jolly good tick VG, but it's a done 
> deal, it's in the literature, and you're almost a century too late.
> 

If you as not Richard Damon pretending to be someone
else, great!!!


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer