Skip to main content
subscribe to Plus
Articles by Maarten McKubre-Jordens
This is not a carrot: Paraconsistent mathematics
Paraconsistent mathematics is a type of mathematics in which contradictions may be true. In such a system it is perfectly possible for a statement
and its negation
to both be true. How can this be, and be coherent? What does it all mean?