News for hackers. Stuff that matters.

A comment on Camels and humps: a retraction [pdf]. Parent comment

Re:Camels and humps: a retraction [pdf] by tinco on Sunday July 20, 2014 @09:58AM (#8060299)
No, I think one would assume they are all directives, and therefore the computer would complain about the third one which is a contradiction.
[ Parent | on HN ]
Re:Camels and humps: a retraction [pdf] by twic on Sunday July 20, 2014 @12:32PM (#8060744)
Exactly. To a non-programmer, even a mathematician (especially a mathematician), the example is a cousin of:

  Men are mortal
  Socrates is a man
  Socrates is not mortal
Which doesn't assign anything to anyone, it just isn't true.
[ Parent | on HN ]