Lumifer comments on Does Probability Theory Require Deductive or Merely Boolean Omniscience?

[Lumifer]

I think we’d be better off trying to find a way to express 1 + 1 = 2 as a boolean function on programs.

This goes into the “shit LW people say” collection :-)

[Ronny Fernandez]

Upvoted for cracking me up.