Deutsch English Français Italiano |
<101cppa$j97s$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: Bad faith and dishonesty Date: Fri, 30 May 2025 12:27:05 -0500 Organization: A noiseless patient Spider Lines: 105 Message-ID: <101cppa$j97s$1@dont-email.me> References: <m99YP.725664$B6tf.610565@fx02.ams4> <100uct4$184ak$1@dont-email.me> <100v9ta$1d5lg$7@dont-email.me> <1011eai$1urdm$1@dont-email.me> <10121bt$22da5$4@dont-email.me> <8bb5266e35845a4d8f2feb618c0c18629c04e4e7@i2pn2.org> <1012oj1$278f8$1@dont-email.me> <1196d9de2e2aebc1b6d1a85047192e8ea1aeb1f1@i2pn2.org> <10137lv$2djeu$1@dont-email.me> <ewIZP.135645$vK4b.131815@fx09.ams4> <1017l6l$3cerk$1@dont-email.me> <1017tr1$3drlu$5@dont-email.me> <1017ufm$3e54m$6@dont-email.me> <1019vm1$3u8nj$3@dont-email.me> <101a65n$3vsp7$1@dont-email.me> <101a86h$3vfam$6@dont-email.me> <101a9np$gl7$1@dont-email.me> <101bt7o$58on$1@dont-email.me> <101cis6$hv12$1@dont-email.me> <101cjjo$hqle$2@dont-email.me> <101cmga$imoa$1@dont-email.me> <101cohp$ikgf$4@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 30 May 2025 19:27:06 +0200 (CEST) Injection-Info: dont-email.me; posting-host="73dc11aa65be162e0b0150944dd1d14a"; logging-data="632060"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+q6ouQSIdEi1KL2juZrCiT" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:zDohSZiC7xro2JI8H4IgccwQQUE= In-Reply-To: <101cohp$ikgf$4@dont-email.me> Content-Language: en-US X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250530-4, 5/30/2025), Outbound message On 5/30/2025 12:06 PM, Richard Heathfield wrote: > On 30/05/2025 17:31, Mike Terry wrote: >> On 30/05/2025 16:41, Richard Heathfield wrote: >>> On 30/05/2025 16:29, Mike Terry wrote: >>>> @Richard: so you cannot make HHH decide non-halting simply by >>>> looping for a long long time, hoping HHH will get fed up! That would >>>> just result in HHH simulating for a corresponding long long time. >>>> You need to feed it a program that halts, but matches one of his >>>> non-halting behaviour tests. For example DDD. >>> >>> What if I don't know whether it halts? >>> >>> I followed up to vallor with a pseudocode sketch of such a program. >> >> That was the Goldback Conjecture counter-example searcher? > > Yes. > >> If it halts it has found a counter-example, so GC is false. If it >> never halts GC is true. > > Right. > >> If GC were easy to prove/disprove it would have been settled a long >> time ago. > > ...precisely why I chose it. > >> It is not going to be settled as a result of someone writing a partial >> halt decider that decides your program. > > Indeed. > >> People have already tested GC up to around 4000000000000000000. In >> practice, if you gave your program to HHH you would just see HHH >> running and running, which is not useful to anyone. > > So it doesn't report. > >>> If HHH could deliver a reliably correct report for that program >>> within a year or so, that would probably be enough to earn Mr Olcott >>> a place in the history books. >> >> HHH obviously cannot do that. Also, PO does not claim HHH is a (full) >> halt decider, so it does not affect his claims. > > I know, but I was mildly curious to know whether it would abort or wait > forever, a point you have now addressed, for which my thanks. > >>> But at some point we have to place a ceiling on "long long time". A >>> reporting program that keeps saying "maybe next year" isn't much of a >>> reporting program. >>> >> We have two requirements: >> a) people want to actually /use/ real life halt analysis >> tools in their daily work. For such people, waiting a year for >> a result is no good, like you say. HHH is not a candidate for >> people wanting such a real-life tool. > Quite so. > >> b) people want to understand the /theoretical/ limits of computation, >> hence the Halting Problem. The HP places no >> limits on how long a program can run, or how much storage it >> can consume. PO's HHH is an attempt to invalidate one particular >> proof of HP. It does not run for very long when >> running HHH/DDD, so we never have to face the "maybe next >> year" scenario. [Related HHH/DDD scenarios that never halt >> are easily seen to never halt by simple code analysis.] > > There aren't many ways to invalidate a proof. Demonstrating that the > conclusion is false is insufficient (because you now have two proofs, > each of which claims that 'I'm right so you're wrong'); one must attack > the reasoning or the assumptions (or both) and show how a flawed step or > a flawed assumption invalidates the method (and perhaps the conclusion). > > As it happens, Olcott accepts anyway that Turing's conclusion is > correct, so his only beef can be with an assumption or a step. > Turing's conclusion *is correct within a false assumption* YOU MUST PAY ATTENTION TO ALL THE WORDS THAT I SAY. > Turing's only assumption is overturned by reductio within the proof > itself, so that can't be it... which only leaves steps. > > As far as I can recall, Olcott's ramblings never go within discus- > throwing distance of a potentially erroneous step. > There is no *INPUT* D to termination analyzer H that can possibly do the opposite of whatever value that H returns. int main() { DDD(); // is not an input to the HHH that it calls. } > The conclusion is obvious. > -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer