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.
[ Parent
| on HN ]
There are no comments on this comment yet.