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