Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on MIT Ends Elsevier Negotiations. Parent comment
Nobody was saying p OR !p is necessarily true. The argument was about p AND !p. It really seems to me like you're confusing AND and OR...
The intuitionist will accept that "A and not A" cannot be true https://en.wikipedia.org/wiki/Intuitionism#Truth_and_proof
There are no comments on this comment yet.
Nobody was saying p OR !p is necessarily true. The argument was about p AND !p. It really seems to me like you're confusing AND and OR...
The intuitionist will accept that "A and not A" cannot be true https://en.wikipedia.org/wiki/Intuitionism#Truth_and_proof