Deutsch English Français Italiano |
<vavcjn$11uqn$3@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: "Fred. Zwarts" <F.Zwarts@HetNet.nl> Newsgroups: comp.theory Subject: Re: Pathological self-reference changes the semantics of the same finite string. Date: Sat, 31 Aug 2024 17:24:38 +0200 Organization: A noiseless patient Spider Lines: 60 Message-ID: <vavcjn$11uqn$3@dont-email.me> References: <va104l$376ed$4@dont-email.me> <va3f7o$3ipp3$1@dont-email.me> <729cc551062c13875686d266a5453a488058e81c@i2pn2.org> <va3kac$3nd5c$1@dont-email.me> <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org> <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me> <va4mle$3s0hu$1@dont-email.me> <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org> <va63uu$2fo9$1@dont-email.me> <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org> <va65r8$6ht7$1@dont-email.me> <da75188ffa7677bd2b6979c8fc6ba82119404306@i2pn2.org> <878qwn0wyz.fsf@bsb.me.uk> <efacnfsQdv-ErlT7nZ2dnZfqnPadnZ2d@brightview.co.uk> <87le0jzc8f.fsf_-_@bsb.me.uk> <vaj1kd$2kvg9$1@dont-email.me> <vamk31$3d76g$1@dont-email.me> <van30n$3f6c0$2@dont-email.me> <vap90d$3t06p$1@dont-email.me> <vaptvg$3vumk$2@dont-email.me> <vaqbo3$22im$2@dont-email.me> <vaqcj8$28ni$3@dont-email.me> <varus8$dqgo$1@dont-email.me> <vasfkd$ftut$2@dont-email.me> <vash3c$gpbv$1@dont-email.me> <vav257$10jsm$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 31 Aug 2024 17:24:40 +0200 (CEST) Injection-Info: dont-email.me; posting-host="56101d00a62a2f8eb5c4efbb04550369"; logging-data="1112919"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19v86El9AsknTp52eUql0Kv" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:g5R6Z6+3JGrUPEBiLUplh3UODF4= In-Reply-To: <vav257$10jsm$3@dont-email.me> Content-Language: en-GB Bytes: 4164 Op 31.aug.2024 om 14:26 schreef olcott: > On 8/30/2024 8:22 AM, Mikko wrote: >> On 2024-08-30 12:57:49 +0000, olcott said: >> >>> On 8/30/2024 3:11 AM, Mikko wrote: >>>> On 2024-08-29 17:53:44 +0000, olcott said: >>>> >>>>> I just proved that the basic notion of finite strings >>>>> having unique meanings independently of their context >>>>> is incorrect. >>>> >>>> The context is the halting problem. >>> >>> The behavior of >>> the directly executed DDD and executed HHH >>> is different from the behavior of >>> the emulated DDD and the emulated HHH >> >> The correct behaviour is the computation that the user wants to >> ask about. If the input string specifies a different behaviour >> then the input string is worng, not the behaviour. >> > > int sum(int x, int y) { return x + y; } > And in the exact same way Bill wants to get the > sum of 5+6 from sum(3,2). > > HHH must use its actual input as its basis > and it not allowed to use anything else. HHH is given a finite string of a halting program. But olcott wants it to process a modified input, where the abort code has been removed. That is not allowed. HHH should process its input, not a non-input. Just as sum(3,2) is not allowed to modify the 3 into a 4 before it adds the two numbers. But olcott seems to think that it is correct to write sum as int sum(int x, int y) { return (x+1) + y; } > > DDD emulated by HHH according to the semantics of the x86 > language cannot possibly stop running unless aborted and > cannot possibly reach its only final halt state no matter > what HHH does. Exactly, showing that this is an incorrect simulation, no matter what HHH does. > Therefore DDD never halts even if everyone> in the universe including myself disagrees. No. This proves that HHH is unable to see the halting behaviour of DDD and makes a wild guess. An incorrect guess in this case. No matter how much olcott wants it to be correct, or how many times olcott repeats that it is correct, it does not change the fact that such a simulation is incorrect, because it is unable to reach the end of a halting program.