Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.hispagatos.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic,comp.theory
Subject: Re: Claude.ai provides reasoning why I may have defeated the
 conventional HP proof
Date: Thu, 10 Jul 2025 21:59:18 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <40d916dde692b6ef32f0de76d8336244ec1aae0c@i2pn2.org>
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>
 <e553507a65f31c62b7fc8c7360bb6168ec182cf4@i2pn2.org>
 <104ok8g$tkji$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 11 Jul 2025 02:11:19 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="75090"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <104ok8g$tkji$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 7/10/25 10:55 AM, olcott wrote:
> On 7/10/2025 9:38 AM, joes wrote:
>> Am Thu, 10 Jul 2025 09:09:00 -0500 schrieb olcott:
>>> On 7/10/2025 4:02 AM, Mikko wrote:
>>>> On 2025-07-09 12:31:59 +0000, olcott said:
>>
>>>>> It is a truism the the POE violates the requirement of truth
>>>>> preserving operations. People that learn things by rote do not notice
>>>>> this.
>>>> The requirement of truth preserving operations only applies to proofs.
> 
>>> According to the POE:
>>> (a) The Moon is made of green cheese and (b) the Moon does not exist
>>> proves that (c) Donald Trump is the Christ.
> 
>> Correct. Since the moon is not, in fact, made of green cheese, this does
>> not allow you deduce that Trump is christ (even if he were). It is a bit
>> unintuitive, granted.
>>
> 
> 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. If that is the case, anything can be proven, 
> e.g., the assertion that "unicorns exist", by using the following 
> argument: https://en.wikipedia.org/wiki/Principle_of_explosion
> 
> This the Moon exists and the Moon does not exist "proves"
> that Donald Trump is the Christ.
> 
> What it really proves is the modern symbolic logic is all F-cked up.
> *My replacement to formal systems corrects this error*
> 

No, it says that feed into a logic system lies, and you can get anything 
out.

You logic show that.