Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Fred. Zwarts" Newsgroups: comp.theory,sci.logic Subject: Re: At least 100 people kept denying the easily verified fact Date: Wed, 5 Jun 2024 10:02:37 +0200 Organization: A noiseless patient Spider Lines: 27 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 05 Jun 2024 10:02:37 +0200 (CEST) Injection-Info: dont-email.me; posting-host="e6d5df0eda1d70253dfad5dc15939df5"; logging-data="934115"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+rPe9TQ4+tJwsDxIbJguEK" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:oc3kv+XWxqnwzjIjXDuznjibORA= Content-Language: en-GB In-Reply-To: Bytes: 2140 Op 04.jun.2024 om 23:53 schreef olcott: > https://liarparadox.org/DD_correctly_simulated_by_HH_is_Proven.pdf > > At least 100 people kept denying the easily verified fact that the above > link conclusively proves that DD correctly simulated by HH. > > It has been just like I smash a Boston cream pie in their face and they > persistently deny that there ever was any pie as this pie drips from > their face. > > By changing definitions you can prove many things. If create a halting decider that looks whether the description of its input has an odd, or a an even length, then, of course people will tell me that the result does not match direct execution. So, I change the definition of halting to that what my decider returns, because that is the input used by my decider. Then, by definition my decider is always correct. You do the same, by changing the meaning of halting to that what your decider returns. Of course, by that definition, your deciders is trivially correct, but useless. It seems that your eyes are so full of Boston cream, that you see nothing, not even the cream.