Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic,comp.ai.philosophy Subject: Re: Everyone on this forum besides Keith has been a damned liar about this point Date: Mon, 9 Jun 2025 19:31:46 -0500 Organization: A noiseless patient Spider Lines: 75 Message-ID: <1027udi$r7bj$1@dont-email.me> References: <1025i6j$afk6$1@dont-email.me> <1026slo$j3rp$6@dont-email.me> <1026ta5$ipgg$1@dont-email.me> <1026ukn$k2tr$1@dont-email.me> <1026uuj$ipgg$2@dont-email.me> <1026vqt$kb6a$1@dont-email.me> <102703a$kcea$1@dont-email.me> <10270q6$ki5i$1@dont-email.me> <102715d$ipgg$3@dont-email.me> <10271sq$ki5i$2@dont-email.me> <10272c7$ipgg$4@dont-email.me> <10272o6$kt3u$1@dont-email.me> <10273h4$ipgg$6@dont-email.me> <102745p$lajf$1@dont-email.me> <10274cs$ipgg$7@dont-email.me> <10274ln$ldq3$1@dont-email.me> <102754h$ipgg$8@dont-email.me> <10275v1$lo22$1@dont-email.me> <102768b$ipgg$9@dont-email.me> <10276fd$lo22$2@dont-email.me> <10276pf$ipgg$10@dont-email.me> <10277j5$m30d$1@dont-email.me> <10278ai$ipgg$11@dont-email.me> <10279ha$mm0d$2@dont-email.me> <1027a5b$ipgg$12@dont-email.me> <1027c5c$nc63$2@dont-email.me> <1027dpf$ipgg$14@dont-email.me> <1027e1s$npoo$2@dont-email.me> <1027e6c$ipgg$16@dont-email.me> <1027gpq$ofnf$2@dont-email.me> <1027t65$r6kh$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 10 Jun 2025 02:31:47 +0200 (CEST) Injection-Info: dont-email.me; posting-host="668213ca1180824494e01b33326cf4e0"; logging-data="892275"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX192/U3G+BuIrBgl5K0E6Ixy" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:k/ynYLJ3vNcJjAHpAr80VC78MEE= Content-Language: en-US In-Reply-To: <1027t65$r6kh$1@dont-email.me> X-Antivirus: Norton (VPS 250609-4, 6/9/2025), Outbound message X-Antivirus-Status: Clean On 6/9/2025 7:10 PM, Mike Terry wrote: > On 09/06/2025 21:39, Richard Heathfield wrote: >> >> On 09/06/2025 20:54, dbush wrote: >>>> If you would just be honest about the fact that you're not working >>>> on the halting problem, people would stop bothering >>>> you. >> Well, I doubt if he'll ever do that, but we could stop bothering him >> anyway. You'd be amazed at how much time you save. :-) >> > > Dude!!  THINK what you're suggesting!   What about all the innocent > children who might read his posts and come away with the wrong idea > about halting?  And if someone doesn't reply pointing out PO's numerous > mistakes, that would mean that PO IS RIGHT!  On the Internet, the person > who posts last in an argument WINS THAT ARGUMENT, regardless of what > that person was actualy saying - that's "usenet rulez"...  You'ld be > AGREEING WITH PO, saying that he REALLY IS A GENIUS and everybody else > here is a lying idiot!! > void DDD() { HHH(DDD); return; } Every first year computer science student that knows C can confirm that DDD correctly simulated by HHH would never stop running unless aborted. The tricky part for people indoctrinated with the "received view" of the halting problem proofs is that they believe that HHH is not supposed to report on the behavior that its actual input actually specifies. Instead HHH must report on the behavior of the directly executed DDD(). They never bothered to notice that this directly executed DDD() IS NOT AN INPUT, instead it is the caller of HHH(). They are so sure that I am wrong that they never notice this key point. > > Mike. > ps. ok, I was exagerating slightly :)  The truth is that ABSOLUTELY > NOTHING DIFFERENT would come to pass if nobody responded to PO - except > that posters would have more time for doing other stuff.  PO would > continue believing he is a genius, until he dies and stops posting.  He > would never "refine and perfect" his argument to the point where he > submits his paper for publishing, and would never gain the industry > reputation he needs to reapply to Cycorp and be put in charge of Cyc > development. All exactly the same! > My ultimate goal here is to formalize the notion of analytic truth so that we can prevent the rise of the 4th Reich by providing an objective way to detect lies. This also will expose the liars of climate change that are happy to kill off the whole planet as long as they can keep making fossil fuel profits. Severe anthropogenic climate change proven entirely with verifiable facts https://www.researchgate.net/publication/336568434_Severe_anthropogenic_climate_change_proven_entirely_with_verifiable_facts See how well reasoned the above paper is before you dismiss me as a crank. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer