This is the thing that always confuses me about classical logic: that it seems to have basically the same number of inference rules but twice as many symbols as the corresponding intuitionistic logic, and you gotta remember which are dual to which. Not a big deal when there's like six of 'em, but more of a big deal with there's 28. Why not just have the 14 and allow them to behave differently on different sides of the turnstile?
This is the thing that always confuses me about classical logic: that it seems to have basically the same number of inference rules but twice as many symbols as the corresponding intuitionistic logic, and you gotta remember which are dual to which. Not a big deal when there's like six of 'em, but more of a big deal with there's 28. Why not just have the 14 and allow them to behave differently on different sides of the turnstile?
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments