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

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.
--
Mikko