Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD) Date: Thu, 8 May 2025 19:05:52 -0500 Organization: A noiseless patient Spider Lines: 43 Message-ID: References: <87msbmeo3b.fsf@nosuchdomain.example.com> <875xiaejzg.fsf@nosuchdomain.example.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 09 May 2025 02:05:53 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b8226b0a928845ead4a9adb4b3b34c7d"; logging-data="2375858"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/4yXGv0SwO1aMTTFaoHVYU" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Ncky5b8gi2r4x7jMfmsMnf+fwjU= In-Reply-To: <875xiaejzg.fsf@nosuchdomain.example.com> Content-Language: en-US X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250508-4, 5/8/2025), Outbound message On 5/8/2025 6:54 PM, Keith Thompson wrote: > olcott writes: >> On 5/8/2025 6:30 PM, Richard Heathfield wrote: >>> On 08/05/2025 23:50, olcott wrote: > [...] >>>> If you are a competent C programmer >>> Keith Thompson is a highly-respected and very competent C >>> programmer. >> >> *Then he is just who I need* > > No, what you need is someone who is an expert in mathematical logic > (I am not) who can explain to you, in terms you can understand and > accept, where you've gone wrong. Some expertise in C could also > be helpful. > The key gap in my proof is that none of the comp.sci people seems to have a slight clue about simple C programming. void DDD() { HHH(DDD); return; } *THIS IS THE C PART THAT NO ONE HERE UNDERSTANDS* DDD correctly simulated by HHH cannot possibly reach its own "return" instruction. DDD correctly simulated by HHH is the same thing as infinite recursion between HHH and DDD yet is implemented as recursive simulation. > I doubt that any such person exists, but only for reasons related > to you. > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer