Sujet : André G. Isaak still has not noticed his mistake
De : NoOne (at) *nospam* NoWhere.com (olcott)
Groupes : comp.theory sci.logicDate : 12. Jul 2025, 18:09:17
Autres entêtes
Message-ID : <Io2dnXAwZsogC-_1nZ2dnZfqlJydnZ2d@giganews.com>
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 12:12 AM, olcott wrote:
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 2024 Olcott"Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof
Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof