News for hackers. Stuff that matters.
Re:Doing Mathematics Differently by dllthomas on Sunday February 28, 2016 @04:45PM (#11192522)
At my level of understanding, it seems a reasonable characterization of intuitionistic logic to say that it operates with a more restricted set of inference rules. It was the parent who made the stronger claim about differences here, and they speak a bit more to the topic in nearby comments.

There are no comments on this comment yet.