Deutsch English Français Italiano |
<v3pqlt$1003g$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: At least 100 people kept denying the easily verified fact Date: Wed, 5 Jun 2024 08:54:05 -0500 Organization: A noiseless patient Spider Lines: 37 Message-ID: <v3pqlt$1003g$2@dont-email.me> References: <v3o2dj$jm9q$1@dont-email.me> <v3p62t$sg73$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 15:54:05 +0200 (CEST) Injection-Info: dont-email.me; posting-host="dbcb5a2e000d59c1dda264f94a647a93"; logging-data="1048688"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18vbEnP/zfpATbl5sse6Bj0" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:2DngliedBbyr9Q//YhP4DyKW4G4= In-Reply-To: <v3p62t$sg73$2@dont-email.me> Content-Language: en-US Bytes: 2476 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. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer