Re:“Computer science is not about computers”
by bitL on Sunday May 30, 2021 @12:29PM
(#27334370)
I find relevance logic much more intuitive than intuitionistic. Intuitionistic has still some weird assumptions that make it fit a lookup table like classical logic.
[ Parent
| on HN ]
There are no comments on this comment yet.