Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Claude.ai provides reasoning why I may have defeated the
 conventional HP proof
Date: Tue, 15 Jul 2025 21:22:12 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <10572cl$gtuq$1@dont-email.me>
References: <1049cr4$10io1$1@dont-email.me> <104q24q$1ajbp$1@dont-email.me>
 <104q3vi$1atq6$1@dont-email.me> <104q4ni$1b4t7$1@dont-email.me>
 <104q6gf$1bcq0$1@dont-email.me>
 <f2cbb68fe579b5dc2438377454298861eaef0577@i2pn2.org>
 <1053l0g$3irf7$1@dont-email.me>
 <37294733af66d0d8acba8f954e48e497650788ce@i2pn2.org>
 <1054ged$3s0eq$1@dont-email.me>
 <d6e818fc3e976909598891fe7c785b16634a544e@i2pn2.org>
 <1055i73$2t13$3@dont-email.me> <1056a57$8j2u$1@dont-email.me>
 <1056cam$8lvo$1@dont-email.me> <1056hhq$a36q$1@dont-email.me>
 <1056ojc$bgl7$1@dont-email.me> <1056p63$a36q$2@dont-email.me>
 <1056pls$bniv$1@dont-email.me> <1056s1u$a36q$3@dont-email.me>
 <1056sc4$c5qd$1@dont-email.me> <1056sqi$a36q$4@dont-email.me>
 <1056tn7$c8u5$1@dont-email.me> <1056uir$a36q$5@dont-email.me>
 <1056vor$c8u5$5@dont-email.me> <105706l$a36q$6@dont-email.me>
 <10570r0$c8u5$8@dont-email.me> <105715a$a36q$7@dont-email.me>
 <10571so$elv5$1@dont-email.me> <105724r$a36q$8@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 04:22:13 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1f60905f55e1a99080af4bc76753d29b";
	logging-data="554970"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18UKJvzSc5id9U4Ll1fdtwL"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:k+gLxPMF6wmGRxj4kKkyJrrblHI=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250715-10, 7/15/2025), Outbound message
Content-Language: en-US
In-Reply-To: <105724r$a36q$8@dont-email.me>

On 7/15/2025 9:18 PM, André G. Isaak wrote:
> On 2025-07-15 20:13, olcott wrote:
>> On 7/15/2025 9:01 PM, André G. Isaak wrote:
>>> On 2025-07-15 19:55, olcott wrote:
>>>> On 7/15/2025 8:44 PM, André G. Isaak wrote:
>>>>> On 2025-07-15 19:37, olcott wrote:
>>>>>> On 7/15/2025 8:17 PM, André G. Isaak wrote:
>>>>>
>>>>>>> The is perfectly compositional. If we start with things that are 
>>>>>>> true, then the result is true. It says nothing about what we get 
>>>>>>> when we start with things that are false.
>>>>>>>
>>>>>>
>>>>>> https://en.wikipedia.org/wiki/Truth_table#Logical_implication
>>>>>> p=false q=false then p → q is true.
>>>>>
>>>>> What does that have to do with anything? That demonstrates that 
>>>>> material implication is not falsehood preserving. It says nothing 
>>>>> about whether it is truth preserving.
>>>>>
>>>>
>>>> Falsehood is an aspect of truth.
>>>
>>> Falshood-preserving and truth-preserving are two different 
>>> properties. An operator can be one without being the other (and I 
>>> gave you a link to their definitions). All you're demonstrating is 
>>> that you have absolutely no clue what the terms you are using mean, 
>>> which tends to invalidate everything you say.
>>>
>>> André
>>>
>>
>> You still didn't answer the question about why
>> the law of non-contradiction doesn't over-rule
>> the POE.
> 
> It doesn't override it. The law of non-contradiction states that A 
> cannot be both true and false. 

As a demonstration of the principle, consider two contradictory 
statements—"All lemons are yellow" and "Not all lemons are yellow"—
*and suppose that both are true*

Then we have shown that you just had a psychotic break from reality.

> That doesn't prevent us from writing the 
> expression (A & ~A); it simply guarantees that (A & ~A) will always be 
> false which is why ((A & ~A) -> X) will always be true regardless of 
> what X is. Just read the truth table for material implication (which you 
> just posted a partial version of so clearly you know it or have access 
> to it).
> 
> André
> 


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer