| Deutsch English Français Italiano |
|
<v4phfs$mub6$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2
Date: Mon, 17 Jun 2024 09:33:32 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <v4phfs$mub6$1@dont-email.me>
References: <v4j0h2$39gh7$3@dont-email.me> <v4k0sr$3f4m3$1@dont-email.me>
<v4k44j$3fmth$1@dont-email.me> <v4m5gj$3v41v$1@dont-email.me>
<v4mmnp$1qt6$2@dont-email.me> <v4ms37$5nh5$1@i2pn2.org>
<v4mtif$3cbf$1@dont-email.me> <v4muph$1sav$1@news.muc.de>
<v4n8ac$5d22$1@dont-email.me> <v4nk4s$17k4$1@news.muc.de>
<v4peif$ln46$14@dont-email.me> <v4pgab$l7le$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 17 Jun 2024 16:33:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="24f2a1964fe8769a85c52084edf5324e";
logging-data="751974"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Zsc8CXv2HmGobfHsZIRNC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:iyPTzLIkR1P1eHqBRpPA1hMmQAQ=
In-Reply-To: <v4pgab$l7le$1@dont-email.me>
Content-Language: en-US
Bytes: 2648
On 6/17/2024 9:13 AM, Fred. Zwarts wrote:
> Op 17.jun.2024 om 15:43 schreef olcott:
>>
>> typedef void (*ptr)();
>> int H0(ptr P);
>>
>> void Infinite_Loop()
>> {
>> HERE: goto HERE;
>> }
>>
>> void Infinite_Recursion()
>> {
>> Infinite_Recursion();
>> }
>>
>> void DDD()
>> {
>> H0(DDD);
>> }
>>
>> int main()
>> {
>> H0(Infinite_Loop);
>> H0(Infinite_Recursion);
>> H0(DDD);
>> }
>>
>> Because people fail to understand that H0 must abort the
>> correct simulation of every input that would cause itself to
>> never terminate normally
>
> That might be correct
>
>> and that this can be construed as > non-halting criteria.
>>
>
> That is your misunderstanding. It is incorrect as non-halting criteria
> for the program. It is only an indication of the inability of H0 to
> simulate itself.
>
Your view here is merely ignorant of the fact that deciders
must report on the behavior specified by their inputs.
It is incorrect to assume against the facts when DDD correctly
simulated by H0 calls a simulated H0(DDD) that this call will
return to the correctly simulated DDD.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer