| Deutsch English Français Italiano |
|
<v7ahpv$2arco$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.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: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention Date: Thu, 18 Jul 2024 10:55:43 +0300 Organization: - Lines: 54 Message-ID: <v7ahpv$2arco$1@dont-email.me> References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me> <v6mito$bbr$1@news.muc.de> <v6mjlg$20sio$2@dont-email.me> <v6mlfj$bbr$2@news.muc.de> <v6mlk6$21d9q$1@dont-email.me> <v6nu2n$2bepp$1@dont-email.me> <v6op7v$2fuva$5@dont-email.me> <v6qoms$2ukg7$1@dont-email.me> <v6rat7$30qtt$8@dont-email.me> <v6repr$32501$2@dont-email.me> <v6tbpe$3gg4d$1@dont-email.me> <v6traj$3imib$7@dont-email.me> <v703f7$2ooi$2@dont-email.me> <v70of6$61d8$8@dont-email.me> <v72kp6$k3b1$1@dont-email.me> <v738db$mjis$14@dont-email.me> <v756r9$15qot$1@dont-email.me> <v7614g$19j7l$11@dont-email.me> <v77qm6$1ntfr$1@dont-email.me> <v78g43$1rc43$5@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 18 Jul 2024 09:55:44 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b29b95fd0dce29f201fee23891e90c40"; logging-data="2452888"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/rjCkAhIF1hF0pQxhpWZfa" User-Agent: Unison/2.2 Cancel-Lock: sha1:szpARYXmmENGxjxGpr50v2cURDo= Bytes: 3530 On 2024-07-17 13:14:43 +0000, olcott said: > On 7/17/2024 2:08 AM, Mikko wrote: >> On 2024-07-16 14:46:40 +0000, olcott said: >> >>> On 7/16/2024 2:18 AM, Mikko wrote: >>>> On 2024-07-15 13:32:27 +0000, olcott said: >>>> >>>>> On 7/15/2024 2:57 AM, Mikko wrote: >>>>>> On 2024-07-14 14:48:05 +0000, olcott said: >>>>>> >>>>>>> On 7/14/2024 3:49 AM, Mikko wrote: >>>>>>>> On 2024-07-13 12:18:27 +0000, olcott said: >>>>>>> >>>>>>> When the source of your disagreement is your own ignorance >>>>>>> then your disagreement has no actual basis. >>>>>>> >>>>>>> *You can comprehend this is a truism or fail to* >>>>>>> *comprehend it disagreement is necessarily incorrect* >>>>>>> Any input that must be aborted to prevent the non >>>>>>> termination of HHH necessarily specifies non-halting >>>>>>> behavior or it would never need to be aborted. >>>>>>> >>>>>>> Disagreeing with the above is analogous to disagreeing >>>>>>> with arithmetic. >>>>>> >>>>>> A lame analogy. A better one is: 2 + 3 = 5 is a proven theorem just >>>>>> like the uncomputability of halting is. >>>>> >>>>> The uncomputability of halting is only proven when the problem >>>>> is framed this way: HHH is required to report on the behavior >>>>> of an input that was defined to do exactly the opposite of >>>>> whatever DDD reports. >>>> >>>> No, it is proven about the halting problem as that problem is. >>> >>> Which is simply a logical impossibility >> >> Yes, a halting decider is a logical impossibility, as can be and has >> been proven. >> > > If it is a logical impossibility then it places no > actual limit on computation otherwise we would have > "the CAD problem" of the logical impossibility of making > a CAD system that correctly draws a square circle. A logical impossibility does place a limit on computation. Otherwise it would be possible to build a CAD system that can correctly draw a square circle. -- Mikko