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: Richard Heathfield Newsgroups: comp.theory Subject: Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable Date: Wed, 7 May 2025 09:05:23 +0100 Organization: Fix this later Lines: 16 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 07 May 2025 10:05:29 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1de3d45e2783553e22f3c2216cb20b34"; logging-data="944131"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19rE2ULESlXGVHIES68mNwkE8HJAzdb7iuMm0z740j48g==" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:AdKMBCqtnG3TmROUzAWy7P2Ns/Y= In-Reply-To: Content-Language: en-GB Bytes: 1647 On 06/05/2025 15:36, olcott wrote: > Try to provide one simple concrete example where we > begin with truth and only apply truth preserving > operations and end up with undecidability. https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within