4 ms·
Sorry, I mean inconsistent where I wrote sound.
by mafribe 10y ago
Sorry, I mean inconsistent where I wrote sound.
- jsprogrammer 10y agoI'm still not sure it's true that an inconsistent logic can prove anything. Certainly an inconsistent logic contains contradictory proofs, but I don't think every inconsistent logic can be used to "prove" any arbitrary theorem.