Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
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: <v3p62t$sg73$2@dont-email.me>
References: <v3o2dj$jm9q$1@dont-email.me>
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: <v3o2dj$jm9q$1@dont-email.me>
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 <is> 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.