Deutsch English Français Italiano |
<vb1i82$1finq$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Pathological self-reference changes the semantics of the same finite string. Date: Sun, 1 Sep 2024 14:13:06 +0300 Organization: - Lines: 36 Message-ID: <vb1i82$1finq$1@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: 8bit Injection-Date: Sun, 01 Sep 2024 13:13:06 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8af1b31b05c338aa7e6c03e8a9a70b4a"; logging-data="1559290"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Awzl9T4MeNXtiYp+VhDeQ" User-Agent: Unison/2.2 Cancel-Lock: sha1:kxXkrgcQpdwC2ALDcrlJsifPxwY= Bytes: 2979 On 2024-08-31 12:26:15 +0000, olcott said: > 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). If Bill wants to get the sum of 5 + 6 then there are two possibilites: either you give him a tool that can give him the sum and instrunctions of use of that tool; or you don't, in which case Bill may ask someone else. -- Mikko