Sujet : Re: Ben Bacarisse fails understand that deciders COMPUTE THE MAPPING FROM INPUTS
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theoryDate : 27. Aug 2024, 23:35:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <valgr3$34hl7$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
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
…