Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof

Liste des GroupesRevenir à s logic 
Sujet : Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 10. Jul 2025, 15:55:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <104ok8g$tkji$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
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*
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 Jul15:09 * Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof11olcott
10 Jul15:38 +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3joes
10 Jul15:55 i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
11 Jul02:59 i `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
11 Jul02:58 `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof7Richard Damon
11 Jul04:58  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof6André G. Isaak
11 Jul05:29   `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof5olcott
11 Jul05:42    +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3André G. Isaak
11 Jul06:12    i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
12 Jul18:09    i `- André G. Isaak still has not noticed his mistake1olcott
11 Jul14:35    `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal