Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Who here is too stupid to know that DDD correctly simulated by HHH cannot possibly reach its own return instruction?
Date: Mon, 5 Aug 2024 10:49:07 +0300
Organization: -
Lines: 38
Message-ID: <v8q05j$ik30$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me> <v8ld1f$3f6vr$5@dont-email.me> <v8n9vm$3ume2$1@dont-email.me> <v8nsmt$1n09$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 Aug 2024 09:49:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bbfb59f828059e193a33ed558dfca0d5";
	logging-data="610400"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19OTZlsoyk8tITM9Q8b6nOK"
User-Agent: Unison/2.2
Cancel-Lock: sha1:jILxB9NQboQj7DDdcw/0QorlezM=
Bytes: 2091

On 2024-08-04 12:37:49 +0000, olcott said:

> On 8/4/2024 2:18 AM, Mikko wrote:
>> On 2024-08-03 13:58:07 +0000, olcott said:
>> 
>>> On 8/3/2024 3:19 AM, Mikko wrote:
>>>> On 2024-08-02 20:57:26 +0000, olcott said:
>>>> 
>>>>> Who here is too stupid to know that DDD correctly simulated
>>>>> by HHH cannot possibly reach its own return instruction?
>>>>> 
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>>    return;
>>>>> }
>>>> 
>>>> Everyone here understands that that depends on whther HHH returns.
>>> 
>>> Fred's understanding is worse than that.
>> 
>> You don't know whether that is true.
>> 
>>> Some have deeper understanding than that.
>>> 
>>> *Ben has the best understanding of all*
>> 
>> In particular better than you.
>> 
> 
> *Ben has a deeper agreement with me than anyone else*

Doesn't matter. Points of disagreement, both deep and shallow, are
more important than points of agreement.

-- 
Mikko