Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: DDD simulated by HHH cannot possibly halt (Halting Problem) Date: Sun, 13 Apr 2025 19:12:42 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <1fb94ee489a060ec0afa798a01dc659daaf5f12c@i2pn2.org> References: <852f89c9196e0261b8156050fea4572fe886933f@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 14 Apr 2025 00:01:58 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="241454"; 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: On 4/13/25 4:54 PM, olcott wrote: > On 4/13/2025 3:46 PM, Fred. Zwarts wrote: >> Op 13.apr.2025 om 21:59 schreef olcott: >>> On 4/13/2025 3:54 AM, joes wrote: >>>> Am Fri, 11 Apr 2025 10:56:32 -0500 schrieb olcott: >>>>> On 4/11/2025 3:24 AM, Richard Heathfield wrote: >>>>>> On 11/04/2025 08:57, Mikko wrote: >>>> >>>>>>> No proof of this principle has been shown so its use is not valid. >>>>>> >>>>>> No proof of Peano's axioms or Euclid's fifth postulate has been >>>>>> shown. >>>>>> That doesn't mean we can't use them. >>>>>> Mr Olcott can have his principle if he likes, but only by EITHER >>>>>> proving it (which, as you say, he has not yet done) OR by taking >>>>>> it as >>>>>> axiomatic, leaving the world of mainstream computer science behind >>>>>> him, >>>>>> constructing his own computational 'geometry' so to speak, and >>>>>> abandoning any claim to having overturned the Halting Problem. Navel >>>>>> contemplation beckons. >>>>>> Axioms are all very well, and he's free to invent as many as he >>>>>> wishes, >>>>>> but nobody else is obliged to accept them. >>>>>> >>>>> *Simulating termination analyzer Principle* >>>>> It is always correct for any simulating termination analyzer to stop >>>>> simulating and reject any input that would otherwise prevent its own >>>>> termination. >>>> Sure. Why doesn’t the STA simulate itself rejecting its input? >>>> >>> >>> Because that is a STUPID idea and categorically impossible >>> because the outermost HHH sees its needs to stop simulating >>> before any inner HHH can possibly see this. >>> >> >> No, the outermost HHH does not see that. The programmer only dreamed >> that it needs to stop. > > Empirically proven, nitwit. Nope, just shows that the programmer was a nitwit, as you have actually also proved that the input does halt, and thus that you "logic" is just filled with contradictions because of your errors in definitions and assumptions. > >> The outermost HHH aborts before it can see that no abort is needed, >> because the innermost HHH would abort. > >