Non-Classical Logic

Following Gödel’s famous results, any theory capable of carrying the most basic of maths, Arithmetic, is deemed to be either inconsistent or incomplete. At the very beginning, this position set the math world on fire because it shattered the Hilbertian dream of a logical grounding of mathematics. One of the problems was that, at the…