3 ms·
I am in a logic class that sounds just like the Dynamic Logic one Spolsky describes. I hate it. The homework two weeks ago? Prove that p = !!p. I gave up.
by alanh 17y ago
I am in a logic class that sounds just like the Dynamic Logic one Spolsky describes.
I hate it.
The homework two weeks ago? Prove that p = !!p. I gave up.
- warwick 17y agoJust claim to be an intuitionist. Depending on your profs sense of humour, it's a valid answer.
- whimsy 17y agoEr... could you explain this? I don't get it, I'm afraid =\
- warwick 17y agoIt's a reference to intuitionism, a constructivist approach to math and logic. Because the law of the excluded middle is disallowed in intuitionist proofs, you can't show what the parent comment was annoyed about.
- gte910h 17y agoHonestly, the logic and proofs of CS isn't a big deal on the proof side. However the big O issues and sorting are a big deal. If you get into languages, the language part of the proofs are important, but only insomuch as recognizing/identifying if something can be parsed with an X or Y or Z.