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

unread,
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
0 new messages