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: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: comp.theory Subject: Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct Date: Sun, 10 Nov 2024 11:45:15 +0200 Organization: - Lines: 32 Message-ID: References: <8c2cbbe343934d211ad8c820c963702e70351a27@i2pn2.org> <19d0838dd000cc4f67c8c64ac6005d5405cf2bd6@i2pn2.org> <4b24331953934da921cb7547b6ee2058ac9e7254@i2pn2.org> <2a5107f331836f388ad259bf310311a393c00602@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 10 Nov 2024 10:45:15 +0100 (CET) Injection-Info: dont-email.me; posting-host="c32afbfa9d2d3187c54a1874aafea3ea"; logging-data="353810"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18/lEYhWbYjLHk8Qz6g7Onu" User-Agent: Unison/2.2 Cancel-Lock: sha1:Id1d1GYeGuDwRl+urZVAnzTBx2Q= Bytes: 3021 On 2024-11-09 17:02:02 +0000, olcott said: > On 11/9/2024 10:03 AM, Alan Mackenzie wrote: >> olcott wrote: >>> On 11/9/2024 5:01 AM, joes wrote: >>>>>>>>>>>> On 11/8/24 12:25 PM, olcott wrote: >> >>>>>>>>>>>>> That formal systems that only apply truth preserving operations >>>>>>>>>>>>> to expressions of their formal language that have been >>>>>>>>>>>>> stipulated to be true cannot possibly be undecidable is proven >>>>>>>>>>>>> to be over-your-head on the basis that you have no actual >>>>>>>>>>>>> reasoning as a rebuttal. >>>> Gödel showed otherwise. >> >>> That is counter-factual within my precise specification. >> >> That's untrue - you don't have a precise specification. And even if you >> did, Gödel's theorem would still hold. >> >>> When truth is only derived by starting with >>> truth and applying truth preserving operations >>> then unprovable in PA becomes untrue in PA. >> >> No. Unprovable will remain. > > *Like I said you don't pay f-cking attention* which is the root cause of many of your errors. -- Mikko