Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: How could HHH report on the behavior of its caller? Date: Fri, 16 May 2025 09:51:03 -0500 Organization: A noiseless patient Spider Lines: 42 Message-ID: <1007jcn$3qb7l$3@dont-email.me> References: <1003g30$2pfv4$1@dont-email.me> <10045kb$314dt$1@dont-email.me> <10069bk$3dmiv$7@dont-email.me> <1006ucq$3mblc$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 16 May 2025 16:51:04 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a793c50ac46b1404361ae4f1062ef558"; logging-data="4009205"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+eqPlkT/nvtn2dFJ3anIW0" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:1t9briaZzAMqPC3LT7/rYbOonsM= X-Antivirus-Status: Clean In-Reply-To: <1006ucq$3mblc$1@dont-email.me> Content-Language: en-US X-Antivirus: Norton (VPS 250516-4, 5/16/2025), Outbound message Bytes: 2497 On 5/16/2025 3:52 AM, Mikko wrote: > On 2025-05-16 02:53:40 +0000, olcott said: > >> On 5/15/2025 2:37 AM, Mikko wrote: >>> On 2025-05-15 01:30:08 +0000, olcott said: >>> >>>> void DDD() >>>> { >>>>    HHH(DDD); >>>>    return; >>>> } >>>> >>>> int main() >>>> { >>>>    DDD(); >>>> } >>>> >>>> If HHH cannot report on the behavior of its caller >>>> because this is a ridiculous requirement then how >>>> can HHH report on the direct execution of DDD() >>>> (AKA its caller). >>> >>> Your HHH can use all information that Flibble's decider can. Flibble's >>> decider can determine and report that DDD halts. >> >> I asked you (not Flibble) to show exactly how the requirement >> that HHH report on the direct execution of DDD() >> [that requires HHH to report on the behavior of its caller] >> is not nonsense. > > Not in the messages quoted above. Nothing else is relevant here. > It does not make sense to ask me. You should just post questions > and read the responses. Maybe someone answers at least a part of > your question, maybe not. > If you say that I am in any way wrong you must show the mistake. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer