Path: ...!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,sci.logic
Subject: Re: Sequence of sequence, selection and iteration matters --- Ben
 agrees
Date: Mon, 8 Jul 2024 21:30:01 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <17da0ceefca3bfd4f06a789d24ad13ee55146692@i2pn2.org>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me>
 <v6go4d$sg7f$1@dont-email.me>
 <80ebfd233bf599468126ddf048190bd0799605bd@i2pn2.org>
 <v6htmc$12ktu$1@dont-email.me>
 <dcd1b46e5442c8a532a33873f396b9cb9b0688a5@i2pn2.org>
 <v6hvps$12ktu$3@dont-email.me>
 <cf764821d8b9b08443fc6cd3d285bc0567f31fa6@i2pn2.org>
 <v6i1if$12ktu$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 9 Jul 2024 01:30:01 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2621133"; 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: <v6i1if$12ktu$6@dont-email.me>
Bytes: 2596
Lines: 41

On 7/8/24 8:51 PM, olcott wrote:
> On 7/8/2024 7:31 PM, Richard Damon wrote:
>> On 7/8/24 8:21 PM, olcott wrote:
> 
>>>
>>> When you need groceries you cannot say that you
>>> don't need groceries until AFTER you get more groceries.
>>>
>>
>> Which is just Red Herring, as I am not a program, and the program is 
>> not me.
>>
> 
> Free will does not make lies into truth.
> If HHH reports that DDD does not need to abort
> DDD before HHH aborts DDD then HHH is a liar.

How can HHH "report" something while it is still running?

You just don't understand causality.

Because DDD and HHH are deterministic programs, if HHH reports ANY 
behavior for DDD, then DDD will halt.

HHH can't see that, but that doens't make it not true.

HHH just has to live with partial results to keep from getting stuck, 
and then it needs to guess, and it seems you made it guess wrong.

> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov ebp,esp   ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add esp,+04
> [00002182] 5d         pop ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
>