Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Hypothetical possibilities -- I reread this again more carefully Date: Sun, 21 Jul 2024 10:08:29 -0500 Organization: A noiseless patient Spider Lines: 43 Message-ID: References: <73e4850d3b48903cf85b2967ba713aced98caf96@i2pn2.org> <09536cf44fc4c3d14b37641cf8fdc9e8a8c24580@i2pn2.org> <97884acd35091ddd67bda892c7a3dd28e188f760@i2pn2.org> <1c5729ae6d0a7bca84d24eec9f85bf30de70e3d9@i2pn2.org> <6883b0a9674975998092c404f9eaa331ad1556b9@i2pn2.org> <8e0bcb6d7508f8334460e30557d444abc5356a03@i2pn2.org> <4e979fa643d553803f122f0485513448b38b7b60@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 21 Jul 2024 17:08:30 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9ab67b95e26d71c9bf3d4bab69c0e6c7"; logging-data="160783"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+pLbQglvFcljstMnuCRFjj" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:nMKQcQ+a5csQLF+Rnmsq2TR0OuI= Content-Language: en-US In-Reply-To: <4e979fa643d553803f122f0485513448b38b7b60@i2pn2.org> Bytes: 3938 On 7/21/2024 9:54 AM, joes wrote: > Am Sun, 21 Jul 2024 09:34:57 -0500 schrieb olcott: >> On 7/21/2024 9:24 AM, joes wrote: >>> Am Sun, 21 Jul 2024 08:08:53 -0500 schrieb olcott: >>>> On 7/21/2024 6:37 AM, Richard Damon wrote: >>>>> On 7/21/24 12:15 AM, olcott wrote: > >>>> (b) We know that a decider is not allowed to report on the behavior >>>> computation that itself is contained within. Deciders only take finite >>>> string inputs. They do not take executing processes as inputs. Thus >>>> HHH is not allowed to report on the behavior of this int main() { >>>> DDD(); }. >>> That IS exactly the input. >> The behavior of emulated DDD after it has been aborted changes the >> behavior of the directly existed DDD. > A deterministic program can't change. It was always going to be aborted. > None-the-less we can examine the exhaustively complete set of every HHH/DDD pair that can possibly exist and find that all of the HHH instances that never abort their simulation of DDD never stop running. >> When the second call of what would otherwise be infinite recursion is >> required to be aborted to prevent the infinite execution of the first >> call this proves that HHH(DDD)==0 is correct even though the directly >> executed DDD() halts. > The second call stops simulating just like all others. > >>>> Therefore we map the finite string input to HHH(DDD) to the behavior >>>> that it species on the basis of DDD correctly emulated by any pure >>>> function HHH that can possibly exist. >>> The basis is the direct behaviour. >> Unless you think the idea of UTMs is wrong-headed nonsense the behavior >> of DDD correctly emulated by HHH determines the actual behavior >> specified by the input to HHH(DDD). > HHH is not an UTM. > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer