Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF Date: Tue, 25 Feb 2025 22:44:17 -0600 Organization: A noiseless patient Spider Lines: 76 Message-ID: References: <191218123f5c1b2337c116736b05c8ee64115128@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 26 Feb 2025 05:44:18 +0100 (CET) Injection-Info: dont-email.me; posting-host="be1a41fcc27cfa869ea1b51d56f1df7a"; logging-data="2555772"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/7obmxmxUcC0hChGvvFF0B" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:3Xo4oKZtmzxhl9dgcSu3k+Y1A6w= In-Reply-To: X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250225-8, 2/25/2025), Outbound message Content-Language: en-US On 2/25/2025 10:21 PM, Richard Damon wrote: > On 2/25/25 9:05 PM, olcott wrote: >> On 2/25/2025 5:41 PM, Richard Damon wrote: >>> On 2/25/25 1:01 PM, olcott wrote: >>>> On 2/25/2025 10:13 AM, Mikko wrote: >>>>> Althogh the subject line has the words "COMPLETE PROOF" there is no >>>>> proof or pointer to proof below. >>>>> >>>> >>>> >>>> typedef void (*ptr)(); >>>> int HHH(ptr P); >>>> >>>> int DD() >>>> { >>>>    int Halt_Status = HHH(DD); >>>>    if (Halt_Status) >>>>      HERE: goto HERE; >>>>    return Halt_Status; >>>> } >>>> >>>> int main() >>>> { >>>>    HHH(DD); >>>> } >>>> >>>> The above does specify that DD simulated by HHH >>>> cannot possibly terminate normally by reaching its >>>> own "return" instruction. >>>> >>>> That this may be beyond your technical skill level. >>>> is less than no rebuttal at all. >>>> >>>> Ignoring the code in main() seemed dishonest. >>>> >>> >>> Since it isn't part of the problem, why is that? >>> >> >> Requiring main() makes it dead obvious when anyone >> is trying to get away with the strawman deception. >> You keep trying to get away with changing the subject >> away from DD emulated by HHH. >> > > SL, you admit that everything you have said is a lie. > > Where is "main" mentioned in the "Halting Problem" > > Nowhere, so your requirement for main is just your strawman, > > What about the program: > > int main() { >    HHH(DD); >    DD(); > } > > That program proves that DD as a program will return. > > If you say that changes the behavior of DD, then you need to show where > you are getting your definitions, as that is just a lie. > > Sorry to be so blunt, but you are just proving how stupid you are, and > how everything you have done is just a FRAUD. Your ADD seems to make you non-functional. You can't seem to keep track of a single point from one reply to the next. I am talking about simulating termination analyzer HHH and the finite string pointer to the x86 machine code of DD. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer