Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Claude.ai provides reasoning why I may have defeated the
 conventional HP proof
Date: Fri, 11 Jul 2025 00:12:47 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <104q6gf$1bcq0$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 11 Jul 2025 07:12:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="77a1f53edba794dcd0b3794096040439";
	logging-data="1422144"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18+U1A2RsyOGzfxVCaRLiTK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:9RDWQL9/e698REO50VoLUEZlkt4=
Content-Language: en-US
X-Antivirus: Norton (VPS 250710-10, 7/10/2025), Outbound message
In-Reply-To: <104q4ni$1b4t7$1@dont-email.me>
X-Antivirus-Status: Clean

On 7/10/2025 11:42 PM, André G. Isaak wrote:
> On 2025-07-10 22:29, olcott wrote:
>> On 7/10/2025 10:58 PM, André G. Isaak wrote:
>>> On 2025-07-10 19:58, Richard Damon wrote:
>>>> On 7/10/25 10:09 AM, olcott wrote:
>>>
>>>>> 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.
>>>>
>>>> Rigth, but only because a side affect of (a) is that the moon must 
>>>> exist.
>>>
>>> Really, the problem here is that Olcott fails to distinguish between 
>>> the truth of a conditional statement and the truth of the consequent 
>>> of a conditional statement. They are not the same thing.
>>>
>>> ((X & ~X) implies Y) is necessarily true.
>>>
>>
>> That is not the exact meaning of these words
> 
> What is not the exact meaning of which words?
> 

*This Wikipedia quote*
On 7/10/2025 11:29 PM, olcott wrote:
 >    the principle of explosion is the law according to which
 >    *any statement can be proven from a contradiction*
 > https://en.wikipedia.org/wiki/Principle_of_explosion

Here is the exact meaning of:
*any statement can be proven from a contradiction*
∀x (⊥ ⊢ x).



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