Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
 --- Honest Dialogue
Date: Sat, 20 Jul 2024 11:05:59 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <533426ee5ff3dc2cd62e7c9771a62ec08f024f56@i2pn2.org>
References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$1@dont-email.me>
 <v70nt7$61d8$6@dont-email.me>
 <58fc6559638120b31e128fe97b5e955248afe218@i2pn2.org>
 <v71mjh$bp3i$1@dont-email.me>
 <1173a460ee95e0ca82c08abecdefc80ba86646ac@i2pn2.org>
 <v71okl$bvm2$1@dont-email.me>
 <5f6daf68f1b4ffac854d239282bc811b5b806659@i2pn2.org>
 <v71ttb$crk4$1@dont-email.me>
 <60e7a93cb8cec0afb68b3e40a0e82e9d63fa8e2a@i2pn2.org>
 <v721po$h4kr$1@dont-email.me> <v75a0l$16bjt$1@dont-email.me>
 <v76dth$1cf96$3@dont-email.me> <v77sna$1o83i$1@dont-email.me>
 <v78grc$1rc43$7@dont-email.me> <v78if6$1rnr3$3@dont-email.me>
 <v78jva$1rc43$12@dont-email.me> <v78kmk$1rnr3$7@dont-email.me>
 <v78m3q$1smtm$1@dont-email.me> <v7akf2$2b79b$1@dont-email.me>
 <v7b88b$2e2aq$6@dont-email.me> <v7dap8$2u0p5$1@dont-email.me>
 <v7duea$30pvh$10@dont-email.me> <v7ftte$3euo8$2@dont-email.me>
 <v7gh88$3im62$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Jul 2024 15:05:59 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3938152"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v7gh88$3im62$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3714
Lines: 60

On 7/20/24 10:23 AM, olcott wrote:
> On 7/20/2024 3:53 AM, Fred. Zwarts wrote:
>> Op 19.jul.2024 om 16:49 schreef olcott:
>>>
>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>> }
>>>
>>> int main()
>>> {
>>>    HHH(Infinite_Loop);
>>> }
>>>
>>
>> Irrelevant, because you do not understand the difference between 
>> Infinite_Loop and Finite_Recursion.
>>
> 
> *Until you understand that this is true*
> *we cannot have an honest dialogue*

Until you understand that you logic defies the meaning of the words, you 
won't get anywhere.

> 
> _DDD()
> [00002163] 55         push ebp      ; housekeeping
> [00002164] 8bec       mov ebp,esp   ; housekeeping
> [00002166] 6863210000 push 00002163 ; push DDD
> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
> [00002170] 83c404     add esp,+04
> [00002173] 5d         pop ebp
> [00002174] c3         ret
> Size in bytes:(0018) [00002174]
> 
> int main()
> {
>    DDD();
> }
> 
> Calls HHH(DDD) that must abort the emulation of its input
> or {HHH, emulated DDD and executed DDD} never stop running.
> 

Right, and because HHH thus DOES abort its emulation of DDD, that makes 
the DDD that calls it, and thus ALL DDD non-halting programs.

HHH, by definition, does what HHH does, and thus asking what would 
happen to a different input is irrelevent.

Of course, part of your problem is you claimed desription of DDD is in 
fact just a LIE as it doesn't include all the code of DDD, so you are 
just LYING that your DDD, as represented, is a program to decide on.

All you are proving is your utter stupidity and ignorance of what you 
talk about, and that you have decided to make yourself in to a 
pathological liar.

You system which ties the decider to the input just breaks the logic you 
want to use.