News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.