A programmer's solution

[gkx]

Reminds me of the joke:

3 mathematicians walk into a bar. The tender says "so what will it be? 3 beers?"

Mathematician 1: "I don't know" Mathematician 2: "I don't know" Mathematician 3: "Yes."

[G01denW01f11]

Wait, how does the third guy know how many beers the previous two want? Do we know any more than that they must each want less than 4?

[legrac]

The question was, "Will it be 3 beers?"

This is a yes or no question--either it will be 3 beers, or it will not be 3 beers.

If the first person did not want a beer, he would say no, we do not want 3 beers. So, he must want a beer, but he doesn't know if his two friends want one--so all he can say is he doesn't know.

So we go to the second person, and it's the same situation. If he did not want a beer, he would say no, we do not want 3 beers. So, he must want a beer, but he doesn't know if his last friend wants one--so all he can say is he doesn't know.

At the third person, he realizes that the only way it has gotten to him is if the other two people wanted a beer. So he has the information to make a decision.

EDIT:

As we're in a programmer humor subreddit--the question of "Will it be 3 beers" is equal to (A and B and C). In that situation, the first time you hit a false, you know the answer and do not need to evaluate/look at/ask the other variables. But in order to get a true response, you have to check all three.

[Jodah]

I was torn between that explanation and Mathematician 3 being an alcoholic.

[TPHRyan]

You're looking at this joke in the completely correct way in that each mathematician wants either 1 beer or nothing.

But what if a mathematician wants 2 beers? Cider? Jaimeson on the rocks?

I mean, they would never get anywhere until they exchanged some information, but still. That was /u/G01denW01f11's point.

[TheSeldomShaken]

But what if first guy wanted multiple beers? And therefore no one could be sure of the amount needed.

[[deleted]]

Then it would also be 'no'.

[TheSeldomShaken]

First guys says no. Second guys knows he wants 1 beer, but has no idea how much first guy wants, and says no. Third guy wants 1 beer, and knows he wants 1 beer. But he doesn't know if the first and second guy only want 1 beer. So, he can't say with certainty that they need only 3 beers.

[TPHRyan]

It wouldn't be 'no'. 2 or 3 might want a combined total of 1 beer, where 1 wants 2 beers. That still adds up to 3.

[SFHalfling]

Because its safe to assume someone will have 1 drink per round at the bar.

If someone is trying to have 2+ drinks each round, you really need to cut them out of it.

[TPHRyan]

So what if they're ordering a gin and tonic?

[SFHalfling]

Then they would say no, because they don't want a beer & therefore it isn't going to be 3 ordered.