info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Truth-relevant Logic-Propositional Calculus (Xaver Newberry)
0 views
Skip to first unread message
olcott
Jan 23, 2022, 11:01:24 AM1/23/22
to
Truth-relevant Logic-Propositional Calculus
https://www.researchgate.net/publication/330844403_Truth-relevant_Logic-Propositional_Calculus
A new way of saying my recent insight:
¬∃F ¬∃G ((G ∈ F) ∧ ¬((F ⊢ G) ∨ (F ⊢ ¬G)))
In order for G to be a member of F it must be provable or refutable in F
Proof that Wittgenstein is correct about Gödel
https://www.researchgate.net/publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel
--
Copyright 2021 Pete Olcott
Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer
https://www.researchgate.net/publication/330844403_Truth-relevant_Logic-Propositional_Calculus
A new way of saying my recent insight:
¬∃F ¬∃G ((G ∈ F) ∧ ¬((F ⊢ G) ∨ (F ⊢ ¬G)))
In order for G to be a member of F it must be provable or refutable in F
Proof that Wittgenstein is correct about Gödel
https://www.researchgate.net/publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel
--
Copyright 2021 Pete Olcott
Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer
0 new messages