Path: ...!weretis.net!feeder8.news.weretis.net!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 20:39:14 +0200
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <v3qbcj$12e2c$2@dont-email.me>
References: <v3o2dj$jm9q$1@dont-email.me> <v3p62t$sg73$2@dont-email.me>
 <v3pqlt$1003g$2@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 20:39:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e6d5df0eda1d70253dfad5dc15939df5";
	logging-data="1128524"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+wMX4bn2zyXtPAxVh/lvxd"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:j2+Z8QVVdWd3xnol4LwuOOZOwPQ=
In-Reply-To: <v3pqlt$1003g$2@dont-email.me>
Content-Language: en-GB
Bytes: 2644

Op 05.jun.2024 om 15:54 schreef olcott:
> On 6/5/2024 3:02 AM, Fred. Zwarts wrote:
>> 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.
>>
> 
> int sum(int x, int y) { return x + y; }
> sum(3,4) cannot correctly return the sum of 5 + 6.
> 
> H(D,D) cannot possibly return the halt status of D(D) because
> D calls H in recursive simulation thus forcing the behavior of
> D correctly simulated by H to be different than the behavior of
> the directly executed D(D).
> 
> Requiring H(D,D) to return the halt status of D(D) is exactly
> the same as requiring sum(3,4) to return the sum of 5 + 6.
> 
> *This unequivocally proves the behavior of DD correctly simulated by HH*
> https://liarparadox.org/DD_correctly_simulated_by_HH_is_Proven.pdf
> 
> No one has ever shown otherwise all that anyone has ever provided
> is dogmatic assertions entirely bereft of any supporting reasoning.
> 

Since you deleted most of what I said, I assume that don't know how to 
refute it. Apparently you are unable to change your dogma's, even when 
confronted with facts.