Hacker News Reader

Comment by redefine_net | Hacker News Reader

That means quitters are winners?

No, winners never quit. Have to be true to your axioms.

"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

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.

Reply on news.ycombinator.com