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

Liste des GroupesRevenir à c theory 
Sujet : Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 11. Jul 2025, 21:52:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <104rthl$1ml84$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 7/11/2025 10:50 AM, joes wrote:
Am Fri, 11 Jul 2025 10:30:35 -0500 schrieb olcott:
On 7/11/2025 3:43 AM, Mikko wrote:
On 2025-07-10 14:09:55 +0000, olcott said:
On 7/10/2025 4:05 AM, Mikko wrote:
On 2025-07-09 14:16:44 +0000, olcott said:
On 7/9/2025 9:04 AM, joes wrote:
Am Wed, 09 Jul 2025 07:31:59 -0500 schrieb olcott:
On 7/9/2025 3:29 AM, Mikko wrote:
On 2025-07-08 14:18:32 +0000, olcott said:
On 7/8/2025 2:41 AM, Mikko wrote:
>
True conclusion from false premeises is fairly common. But that
is not relevant.
It proves that logic is fundamentally incorrect on this point.
Logic must be a sequence of truth preserving operations or it is
wrong.
Should only false conclusions be derivable from false premises?
>
False premises must be immediately rejected.
>
Often one must work with sentences that are not known to be true but
not known to be false, either.
>
Then contradiction proves falsehood.
>
That's right: if a contradiction is inferred then at least one of the
preimises is false. But that does not tell which premise is false.
>
>
*This Wikipedia quote*
  >    the principle of explosion is the law according to which *any
  >    statement can be proven from a contradiction*
>
Here is the exact meaning of:
*any statement can be proven from a contradiction*
∀x (⊥ ⊢ x).
>
Is proven to be incorrect in that it diverges from truth preserving
operations.
 How so? If A and ~A are both true, B also is.
 
It is flat out nuts to assume that "A and ~A are both true".
One cannot simply ignore the law of non-contradiction.
https://en.wikipedia.org/wiki/Law_of_noncontradiction
--
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
4 Jul 25 * Claude.ai provides reasoning why I may have defeated the conventional HP proof47olcott
4 Jul 25 +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof9Richard Damon
4 Jul 25 i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof8olcott
5 Jul 25 i +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof4Fred. Zwarts
5 Jul16:28 i i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3olcott
6 Jul01:14 i i +- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
6 Jul10:15 i i `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Fred. Zwarts
5 Jul13:54 i `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3Richard Damon
5 Jul16:37 i  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
6 Jul01:20 i   `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
5 Jul 25 +- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Mikko
5 Jul 25 `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof36Mikko
5 Jul16:18  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof35olcott
6 Jul09:30   `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof34Mikko
6 Jul15:48    `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof33olcott
6 Jul17:41     +- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
7 Jul09:20     `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof31Mikko
7 Jul14:57      `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof30olcott
8 Jul00:10       +- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
8 Jul08:41       `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof28Mikko
8 Jul15:18        `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof27olcott
9 Jul09:29         +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof25Mikko
9 Jul13:31         i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof24olcott
9 Jul15:04         i +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof12joes
9 Jul15:16         i i+* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof10olcott
10 Jul10:05         i ii+* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof8Mikko
10 Jul15:09         i iii`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof7olcott
11 Jul09:43         i iii `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof6Mikko
11 Jul16:30         i iii  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof5olcott
11 Jul16:50         i iii   +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof3joes
11 Jul21:52         i iii   i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
11 Jul23:58         i iii   i `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
11 Jul23:55         i iii   `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
10 Jul12:26         i ii`- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
9 Jul16:09         i i`- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1olcott
10 Jul10:02         i `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof11Mikko
10 Jul15:09         i  `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof10olcott
10 Jul15:55         i   +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2olcott
11 Jul02:59         i   i`- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
11 Jul02:58         i   +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof6Richard Damon
11 Jul04:58         i   i`* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof5André G. Isaak
11 Jul05:29         i   i `* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof4olcott
11 Jul05:42         i   i  +* Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof2André G. Isaak
11 Jul06:12         i   i  i`- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1olcott
11 Jul14:35         i   i  `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Richard Damon
11 Jul09:47         i   `- Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof1Mikko
9 Jul12:09         `- 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