News for hackers. Stuff that matters.
Re:Doing Mathematics Differently by aangjie on Saturday February 27, 2016 @11:51AM (#11187594)
Umm. I've been of the understanding that we never change the inference rules, Can you point to some branch of mathematics that involves a change of inference rules?
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.