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 20:34:03 -0500
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <1056vib$c8u5$4@dont-email.me>
References: <1049cr4$10io1$1@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>
 <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>
 <d9f833c4df2347c94c39bc4121bb9cc2094ab001.camel@gmail.com>
 <1056u57$c8u5$2@dont-email.me>
 <de37a80a4b1680095632a5dfd4e810701f1ea956.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 16 Jul 2025 03:34:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1f60905f55e1a99080af4bc76753d29b";
	logging-data="402373"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/oX4vFABLe3oVYqdjtwy8w"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:40XkO8e0a37FwyCf0vgLbU92M7E=
X-Antivirus: Norton (VPS 250715-10, 7/15/2025), Outbound message
In-Reply-To: <de37a80a4b1680095632a5dfd4e810701f1ea956.camel@gmail.com>
Content-Language: en-US
X-Antivirus-Status: Clean

On 7/15/2025 8:14 PM, wij wrote:
> On Tue, 2025-07-15 at 20:09 -0500, olcott wrote:
>> On 7/15/2025 7:59 PM, wij wrote:
>>> On Tue, 2025-07-15 at 18:47 -0600, André G. Isaak wrote:
>>>> On 2025-07-15 18:39, olcott wrote:
>>>>> On 7/15/2025 7:34 PM, André G. Isaak wrote:
>>>>>> On 2025-07-15 17:53, olcott wrote:
>>>>>>> On 7/15/2025 6:45 PM, André G. Isaak wrote:
>>>>>>>> On 2025-07-15 17:35, olcott wrote:
>>>>>>
>>>>>>>>> You still make the same mistake with the implication operator.
>>>>>>>>> That has always been the wrong operator for PROVES.
>>>>>>>>
>>>>>>>> You're being an idiot. The principle of explosion can be stated
>>>>>>>> either in terms of implication or proof. I prefer implication. I'm
>>>>>>>> not mistaking one symbol for another. I'm saying exactly what I
>>>>>>>> intend to say.
>>>>>>>>
>>>>>>>> André
>>>>>>>>
>>>>>>>
>>>>>>> Yet implication is not even truth preserving.
>>>>>>>
>>>>>>
>>>>>> You seem to be using some private definition of 'truth preserving'.
>>>>>> Did you get that one from claude.ai as well?
>>>>>>
>>>>>> André
>>>>>>
>>>>>
>>>>> the characteristic of an argument where,
>>>>> if the premises are true, the conclusion
>>>>> must also be true.
>>>>>
>>>>> When the antecedent is false the consequent
>>>>> can be true with the "→" operator.
>>>>
>>>> And how would that make it non-truth preserving?
>>>>
>>>> You're very confused. Since you seem to trust/overrely on wikipedia, you
>>>> can check against the following:
>>>>
>>>> https://en.wikipedia.org/wiki/Truth_function#Algebraic_properties
>>>>
>>>> André
>>>>
>>>
>>> What olcott quotes has no real meaning (not what average people reads).
>>>
>>> olcott cannot understand the difference of logic-IF and logical-AND.
>>> He can copy, quote and good at it. But as always, he just say it, his
>>> brain is fried, he does not understand what they mean.
>>>
>>
>> I have been a professional computer programmer since
>> 1986 and a C++ software engineer since 2000.
> 
> So, my best guess is that you suffered some brain stroke >20 years ago.
> 

I wrote an operating system two years ago.

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