info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Is this logic sentence true or false: ∃G (G ↔ ¬Provable(G))
0 views
Skip to first unread message
peteolcott
May 7, 2019, 11:18:07 PM5/7/19
to
My hypothesis is there is no such G because G ↔ ¬Provable(G)
is self-contradictory causing the LHS to have a truth value
that is always out-of-sync with the RHS, making the above
expression simply false.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
is self-contradictory causing the LHS to have a truth value
that is always out-of-sync with the RHS, making the above
expression simply false.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
peteolcott
May 8, 2019, 1:22:14 AM5/8/19
to
On 5/7/2019 10:18 PM, peteolcott wrote:
> My hypothesis is there is no such G because G ↔ ¬Provable(G)
> is self-contradictory causing the LHS to have a truth value
> that is always out-of-sync with the RHS, making the above
> expression simply false.
>
If G was provable this makes the RHS false and the LHS true
> My hypothesis is there is no such G because G ↔ ¬Provable(G)
> is self-contradictory causing the LHS to have a truth value
> that is always out-of-sync with the RHS, making the above
> expression simply false.
>
If ~G was provable this makes the RHS true and the LHS false
0 new messages