No, I think one would assume they are all directives, and therefore the computer... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tinco on July 20, 2014 \| parent \| context \| favorite \| on: Camels and humps: a retraction [pdf] No, I think one would assume they are all directives, and therefore the computer would complain about the third one which is a contradiction.

twic on July 20, 2014 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact