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?
[ Parent
| on HN ]
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.