Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: Why do people here insist on denying these verified facts? Date: Sat, 22 Jun 2024 14:49:04 -0500 Organization: A noiseless patient Spider Lines: 96 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 22 Jun 2024 21:49:04 +0200 (CEST) Injection-Info: dont-email.me; posting-host="52f855e26d0a069f32049d753a1d455d"; logging-data="4105451"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX180AZaiyraNVhdVZPO0hWOZ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Pe4aEMd6xRnMox3rKQ0oYrM1E7g= In-Reply-To: Content-Language: en-US Bytes: 4918 On 6/22/2024 2:43 PM, Richard Damon wrote: > On 6/22/24 3:35 PM, olcott wrote: >> On 6/22/2024 2:19 PM, Richard Damon wrote: >>> On 6/22/24 3:03 PM, olcott wrote: >>>> On 6/22/2024 1:55 PM, Richard Damon wrote: >>>>> On 6/22/24 2:49 PM, olcott wrote: >>>>>> On 6/22/2024 1:43 PM, Richard Damon wrote: >>>>>>> On 6/22/24 1:29 PM, olcott wrote: >>>>>>>> On 6/22/2024 12:13 PM, Richard Damon wrote: >>>>>>>>> On 6/22/24 12:18 PM, olcott wrote: >>>>>>>>>> >>>>>>>>>> void DDD() >>>>>>>>>> { >>>>>>>>>>    HHH0(DDD); >>>>>>>>>> } >>>>>>>>>> >>>>>>>>>> The input to HHH0(DDD) includes itself. >>>>>>>>>> The input to HHH1(DDD) DOES NOT include itself. >>>>>>>>>> >>>>>>>>>> It is stipulated that correct emulation is defined by the >>>>>>>>>> semantics of the x86 programming language and nothing else. >>>>>>>>> >>>>>>>>> And thus, your emulation traces show that your "Simulating Halt >>>>>>>>> Deciders" do not do a "Correct Simulation" >>>>>>>> >>>>>>>> Apparently your ADD preventing you from paying close attention >>>>>>>> to ALL of my words. >>>>>>>> >>>>>>>> *Function names adapted to correspond to my updated paper* >>>>>>>> >>>>>>>> void DDD() >>>>>>>> { >>>>>>>>    H0(DDD); >>>>>>>> } >>>>>>>> >>>>>>>> *When we stipulate that the only measure of a correct* >>>>>>>> *emulation is the semantics of the x86 programming language* >>>>>>>> >>>>>>>> *When we stipulate that the only measure of a correct* >>>>>>>> *emulation is the semantics of the x86 programming language* >>>>>>>> >>>>>>>> *When we stipulate that the only measure of a correct* >>>>>>>> *emulation is the semantics of the x86 programming language* >>>>>>>> >>>>>>>> *When we stipulate that the only measure of a correct* >>>>>>>> *emulation is the semantics of the x86 programming language* >>>>>>>> >>>>>>>> *When we stipulate that the only measure of a correct* >>>>>>>> *emulation is the semantics of the x86 programming language* >>>>>>>> >>>>>>>> then we see that when DDD is correctly emulated by H0 that >>>>>>>> its call to H0(DDD) cannot possibly return. >>>>>>> >>>>>>> Since your H0 has never demonstrated that is actually DOES the >>>>>>> correct simulation per your stipulation, >>>>>> >>>>>> Liar >>>>>> >>>>> >>>>> Then where is it? >>>>> >>>> When we stipulate that the only measure of a correct emulation >>>> is the semantics of the x86 programming language then we see that >>>> when DDD is correctly emulated by H0 that its call to H0(DDD) >>>> cannot possibly return. >>> >>> But that isn't what H0 should be answering about. >>> >> >> That you and others lack a sufficient understanding of the nuanced >> details of the theory of computation is your mistake and not mine. > > No, it is that you don't have enough honest cells in your body to > understand that you have to follow the requirements for something to say > you are doing it. > >> >> The correct measure of the behavior of the actual input is DDD >> correctly simulated by H0 according to the definition of the >> semantics of the x86 programming language. > > FRKM WHERE? > > That is just YOUR LIE!!!!! > Now you are trying to get away with disbelieving in the semantics of the x86 language and you can't even spell "from" That you have the audacity to call me a liar over this might condemn you to Hell (I sincerely hope not). -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer