Hacker News new | ask | show | jobs
by redefine_net 1589 days ago
That means quitters are winners?
2 comments
extropy 1589 days ago
No, winners never quit. Have to be true to your axioms.
link
GuB-42 1587 days ago
"Winners never quit" and "quitters never win" are logically equivalent. It mean that you can't quit and win, ie. quit AND win <=> FALSE

The truth table is:

  QUIT | WIN | result
  -----+-----+------------------
  no   | no  | possible, idiot
  no   | yes | possible, winner
  yes  | no  | possible, quitter
  yes  | yes | impossible
link
jonnycomputer 1587 days ago
TBH, I think we need at least a first-order predicatelogic to adequately model this.

In any case, I'd dispute your logical equivalence. All quitters are not winners. But not all "not winners" are quitters. Some just keep playing and losing. Like I do at chess.

link