Deutsch English Français Italiano |
<valgr3$34hl7$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: immibis <news@immibis.com> Newsgroups: comp.theory Subject: Re: Ben Bacarisse fails understand that deciders COMPUTE THE MAPPING FROM INPUTS Date: Tue, 27 Aug 2024 23:35:30 +0200 Organization: A noiseless patient Spider Lines: 19 Message-ID: <valgr3$34hl7$1@dont-email.me> References: <va104l$376ed$4@dont-email.me> <va13po$376ed$7@dont-email.me> <d42e5d30ea5f1c067283cb04d8a7293e2117188e@i2pn2.org> <va24hl$3cvgv$1@dont-email.me> <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org> <va38qh$3ia79$1@dont-email.me> <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org> <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> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 27 Aug 2024 23:35:32 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a9672f786c4d33a3a6d83a33c7ccc1ab"; logging-data="3294887"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19iyZKfLQGBCVydaz9LfwUK" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:frZXerhHED7xRiGnGYFJDhRNwGA= In-Reply-To: <vaj1kd$2kvg9$1@dont-email.me> Content-Language: en-US Bytes: 2769 On 27/08/24 01:03, olcott wrote: > stuff If deciders compute the mapping from inputs and your halting program does not compute the mapping from inputs then your halting program is not a halting decider and the whole thing is nonsense. > HHH computes the mapping from DDD to behavior that never reaches > its "return" statement on the basis of the x86 emulation no, it is a false emulation and we can point to the exact instruction where the emulation is not correct and we have pointed to this instruction many times before and you ignored it because you're a moron > For all the years people said that this simulation is incorrect > never realizing that they were disagreeing with the semantics > of the x86 language. no, your halting program doesn't emulate the x86 language