Re:Gödel and the limits of logic (2006)
by vilhelm_s on Monday March 13, 2017 @09:16PM
(#13864144)
Well no, Gödel's incompleteness theorem doesn't really have anything to do with material implication. It tells us that there is some formula G such that neither G nor ¬G is provable. Proof systems for relevance logic restrict valid derivations compared to classical propositional logic (relevance logic requires you to use the antecedent), so they can prove even fewer things.
[ Parent
| on HN ]
There are no comments on this comment yet.