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!eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.theory Subject: Re: Unpartial Halt Deciders --- category error Date: Sat, 19 Apr 2025 18:00:31 -0700 Organization: None to speak of Lines: 23 Message-ID: <87plh7ve8g.fsf@nosuchdomain.example.com> References: <87zfgdnufj.fsf@nosuchdomain.example.com> <0JxMP.1398486$cgs7.284882@fx14.ams4> <87sem5nu3q.fsf@nosuchdomain.example.com> <438052adf5074f27313bbb52c9f14c20fcfa2418@i2pn2.org> <745eab43e3b486b1d25622d9d0bc57801852b1f5@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Sun, 20 Apr 2025 03:00:33 +0200 (CEST) Injection-Info: dont-email.me; posting-host="f665a16416a1935f9cd5e348b183cee2"; logging-data="2756209"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/GmLRGh2GE5kDRV1KbgEUb" User-Agent: Gnus/5.13 (Gnus v5.13) Cancel-Lock: sha1:BgPWzS3UwoJCtxYONwtQzSVPbz0= sha1:qHm7xl8uqVncaTeCv4MDAppr5VU= Bytes: 2575 Mr Flibble writes: > On Sat, 19 Apr 2025 19:34:40 -0400, Richard Damon wrote: [...] >> Note, The input in the Linz proof doesn't HAVE a "self-reference", the >> program just references (by copying) the decider it is to refute, and it >> is given an input that just happens to be a representation of itself, >> which is a valid input. The input doesn't "Reference" the >> contray-program, it just has a description/copy of it. >> >> Note, Turing Machines don't HAVE "References" as a fundamental >> elelement, so can't be self-referenential > > False: the self-referential category error is still extant no matter what > representation of the pathological input is passed to the decider. Then define rigorously what "pathological input" means (you haven't yet done so), and explain whether the program I previously described that tests Goldbach's Conjecture is "pathological" or not (you haven't addressed that at all, unless I missed something). -- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com void Void(void) { Void(); } /* The recursive call of the void */