Deutsch English Français Italiano |
<vofnj2$1qh2r$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH Date: Tue, 11 Feb 2025 08:41:38 -0600 Organization: A noiseless patient Spider Lines: 77 Message-ID: <vofnj2$1qh2r$2@dont-email.me> References: <vo6420$3mpmf$1@dont-email.me> <vo7be3$jug$1@dont-email.me> <vo7r8d$36ra$3@dont-email.me> <vo9ura$i5ha$1@dont-email.me> <voahc5$m3dj$8@dont-email.me> <vocdo9$14kc0$1@dont-email.me> <vocpl7$16c4e$4@dont-email.me> <vof56u$1n9k0$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 11 Feb 2025 15:41:39 +0100 (CET) Injection-Info: dont-email.me; posting-host="2bd46967c94f87f70aef9b09a146468d"; logging-data="1918043"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+iVGtuP46GFOlf0QGvkYxc" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:8NWNx1eiuxGcYj7PT3JQ1QRP4iE= X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250210-8, 2/10/2025), Outbound message In-Reply-To: <vof56u$1n9k0$1@dont-email.me> Content-Language: en-US Bytes: 3973 On 2/11/2025 3:27 AM, Mikko wrote: > On 2025-02-10 11:58:31 +0000, olcott said: > >> On 2/10/2025 2:35 AM, Mikko wrote: >>> On 2025-02-09 15:24:53 +0000, olcott said: >>> >>>> On 2/9/2025 4:08 AM, Mikko wrote: >>>>> On 2025-02-08 14:55:09 +0000, olcott said: >>>>> >>>>>> On 2/8/2025 4:25 AM, Mikko wrote: >>>>>>> On 2025-02-07 23:13:04 +0000, olcott said: >>>>>>> >>>>>>>> Experts in the C programming language will know that DD >>>>>>>> correctly simulated by HHH cannot possibly reach its own >>>>>>>> "if" statement. >>>>>>> >>>>>>> Wrong, they understand that nothing below exludes the possibility >>>>>>> that >>>>>>> HHH is a program that can correctly simulate DD to its "if" >>>>>>> statement. >>>>>> >>>>>> Show the execution trace of that. >>>>> >>>>> Your request does not make sense. Non-existence of a exclusion does >>>>> not >>>>> have an execution trace. >>>>> >>>>>>> The code of HHH might exlude that but that is not sohwn below. >>>>>>> >>>>>>>> The finite string DD specifies non-terminating recursive >>>>>>>> simulation to simulating termination analyzer HHH. >>>>>>> >>>>>>> No, it does not. DD as quoted below pecifies nothing about the >>>>>>> behaviour >>>>>>> of HHH, only its argument types and return type. >>>>>>> >>>>>> >>>>>> >> int Halt_Status = HHH(DD); // line 3 of DD >>>>>> Requires HHH to simulate itself simulating DD recursively. >>>>> >>>>> No, it does not. I only requires that the execution of HHH with a >>>>> function >>>>> pointer to DD must be started. OP does not show what happens next. >>>> >>>> Within the context that HHH <is> a simulating termination >>>> analyzer line 3 of DD proves that DD cannot possibly reach >>>> its own "if" statement. >>> >>> That is not the context of OP. >>> >> >> That you did not bother to look at my paper > > That is again a false claim about a person. > >> does not entail that the correct full context has not been provided. > > Of course not. However, the fact that no reference to that article > before or when HHH That paper and its code are the only thing that I have been talking about in this forum for several years. > was introduced to the discussion and the fact > that the pointer to the article at the end of the discussion is not > linked to any specific point do entail exacltly that. > >> The >> context has always been this paper for several years. > > Irrelevant to OP. > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer