Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: Every D(D) simulated by H presents non-halting behavior to H ###
Date: Wed, 15 May 2024 20:24:54 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v23jom$15707$13@i2pn2.org>
References: <v18e32$1vbql$1@dont-email.me> <v1avuv$2lks2$1@dont-email.me>
 <v1b7gl$2ndka$1@dont-email.me> <v1cla9$34iis$1@dont-email.me>
 <v1d2mi$9f72$11@i2pn2.org> <v1di1h$3b2m5$1@dont-email.me>
 <v1dtdv$3dqg4$1@dont-email.me> <v1du2i$3dt7u$1@dont-email.me>
 <v1fetd$3s7jo$1@dont-email.me> <v1ft42$3vdau$2@dont-email.me>
 <-5Gdnf-nQvstC6b7nZ2dnZfqnPadnZ2d@brightview.co.uk>
 <v1gid8$4ilc$1@dont-email.me> <v1h9eu$9faf$1@dont-email.me>
 <v1iqli$nsva$1@dont-email.me> <v1ln3c$vfh$1@news.muc.de>
 <v1s6e6$397iq$2@dont-email.me> <v1slmi$3cjtp$1@dont-email.me>
 <v1t8tt$3gu9t$3@dont-email.me> <v1vc8j$3jmr$1@dont-email.me>
 <v1vsru$7eqc$1@dont-email.me> <v21r4i$otc2$2@dont-email.me>
 <v22k4b$umr4$1@dont-email.me> <v22nhh$14b7c$2@i2pn2.org>
 <v22pov$1006v$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 16 May 2024 00:24:54 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1219591"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v22pov$1006v$4@dont-email.me>
Bytes: 3532
Lines: 52

On 5/15/24 1:01 PM, olcott wrote:
> On 5/15/2024 11:23 AM, joes wrote:
>> Am Wed, 15 May 2024 10:24:57 -0500 schrieb olcott:
>>> On 5/15/2024 3:18 AM, Mikko wrote:
>>>> On 2024-05-14 14:35:42 +0000, olcott said:
>>
>>>> That is not strictly conforming and hardly conforming at all.
>>>>
>>> What trivial syntactic error that has no effect what-so-ever on the
>>> semantics do you believe remains?
>>> A missing semi-colon?
>> What is H?
>>
>>> The example must be simple enough so that people unfamiliar with C will
>>> not be overwhelmed by things such as: typedef int (*ptr)();
>>> a return value of 0 from main() also might be a little confusing.
>>> I am trying to fit the essence of my proof on a single page.
>> Then you can’t claim knowledge of C is required.
>>
> 
> Knowledge of C is required to affirm or deny my statement.
> Knowledge of programming is required to understand the gist
> of what I am saying.
> 
> typedef int (*ptr)();  // ptr is pointer to int function
> 00 int H(ptr x, ptr x);
> 01 int D(ptr x)
> 02 {
> 03   int Halt_Status = H(x, x);
> 04   if (Halt_Status)
> 05     HERE: goto HERE;
> 06   return Halt_Status;
> 07 }
> 08
> 09 int main()
> 10 {
> 11   H(D,D);
> 12   return 0;
> 13 }
> 
> Any H/D pair matching the above template where
> D(D) is simulated by the same H(D,D) that it calls
> cannot possibly reach past its own line 03.
> This is a simple software engineering verified fact.
> 

I proved that one can, and you refuse to answer about it, proving you 
are just a pathological lying due to YOUR reckless disregard for the truth.

And, apparently you think I might have a case, as you aren't willing to 
accept the put up or snut up challange, as when you are shown wrong, 
your main weapon, claiming people haven't refuted you becomes an 
admission of lying.