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: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Date: Tue, 15 Jul 2025 18:07:15 -0500 Organization: A noiseless patient Spider Lines: 47 Message-ID: <1056mv3$b6jl$1@dont-email.me> References: <1049cr4$10io1$1@dont-email.me> <104apto$1d6ik$1@dont-email.me> <104bfom$1hqln$3@dont-email.me> <104dc7p$22du8$1@dont-email.me> <104e2cd$2852a$2@dont-email.me> <104fvvp$2qvbi$1@dont-email.me> <104gjo8$2uc68$3@dont-email.me> <104ii2r$3egqg$1@dont-email.me> <104j9bp$3jrpl$3@dont-email.me> <104l99t$52fb$1@dont-email.me> <104lnfv$7l4q$3@dont-email.me> <104nvim$pg20$1@dont-email.me> <104ohhs$t0u4$2@dont-email.me> <552bda60815dad8175c54eab402e0acc53101155@i2pn2.org> <104q24q$1ajbp$1@dont-email.me> <104q3vi$1atq6$1@dont-email.me> <104q4ni$1b4t7$1@dont-email.me> <104q6gf$1bcq0$1@dont-email.me> <1053l0g$3irf7$1@dont-email.me> <37294733af66d0d8acba8f954e48e497650788ce@i2pn2.org> <1054ged$3s0eq$1@dont-email.me> <1055i73$2t13$3@dont-email.me> <1056a57$8j2u$1@dont-email.me> <1056cam$8lvo$1@dont-email.me> <1056hhq$a36q$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 16 Jul 2025 01:07:19 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1f60905f55e1a99080af4bc76753d29b"; logging-data="367221"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18qrvog+BFA5TpfRvJtBTKA" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:5GxSG/UO2BHcjs6XRf08KtfXCWI= Content-Language: en-US X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250715-10, 7/15/2025), Outbound message In-Reply-To: <1056hhq$a36q$1@dont-email.me> On 7/15/2025 4:34 PM, André G. Isaak wrote: > On 2025-07-15 14:05, olcott wrote: >> On 7/15/2025 2:28 PM, André G. Isaak wrote: >>> On 2025-07-15 06:40, olcott wrote: >>> >>>>>>>>> And what is wrong with the analysis given one that page: >>>>>>>>> >>>>>>>> André G. Isaak's paraphrase of this: >>>>>>>> "any statement can be proven from a contradiction" >>>>>>>> to this: >>>>>>>> ((X & ~X) implies Y) is necessarily true. >>>>>>>> Is incorrect. >>> >>> I wasn't attempting to paraphrase anything. I was simply providing a >>> formula which is true. >>> >> >> https://en.wikipedia.org/wiki/Truth_table#Logical_implication >> is a not truth preserving operation. >> >> ∀x (⊥ ⊢ x) simply ignores >> https://en.wikipedia.org/wiki/Law_of_noncontradiction >> >> The necessity operator is typically represented by the symbol □. >> (A ∧ ¬A) □ ⊥ (and nothing else) > > You really need to review your basic logic. (A ∧ ¬A) □ ⊥ doesn't mean > anything. What you (might) be trying to claim is □((A ∧ ¬A) → ⊥), though > that statement would be false. > > André > It is necessarily true that only ⊥ can be derived from a contradiction. When logic discarded being anchored in a semantic basis like the syllogism it went astray of truth. (A ∧ ¬A) ⊢ "Donald Trump is the Christ" When we plug semantics into POE and give A the value "The Moon exists" then we can know that there is no semantic basis for concluding that that (A ∧ ¬A) ⊢ "Donald Trump is the Christ", yet POE disagrees. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer