Three logicians walk into a bar. The bartender says, "Do you all want a beer?"
The first logician says, "I don't know."
The second logician says, "I don't know."
The third logician says, "Yes."
@noelle I feel I'm not quite smart enough to get this
@nev The question says "do you ALL want a beer."
The first doesn't know what the second or third want, but he knows he wants a beer. So he says "I don't know". (If he didn't want a beer, he'd say "no".)
The second can infer that the first wants a beer, and he wants a beer, but he doesn't know what the third wants. So he says "I don't know."
The third can infer that the first and second want beers, and he wants one, so he says "yes".
@noelle an infinite number of mathematicians walk into a bar. The first mathematician says "I'll have a half pint." The second mathematician says "I'll have a quarter pint." The third says "I'll have an eighth of a pint." The fourth says "I'll hav--"
The bartender sighs and pours one pint.
@nev @noelle an infinite number of mathematicians walk into a bar. the first one says, "i'll have a pint". the second one says, "i'll have twice what she's having". the third one says, "oh, i'll have twice what he's having". the fourth one says, "i'm feeling thirsty, i'll have twice that". before the fifth can speak, the bartender clears their throat and says, "alright, all together that'll cost y'all 1 pint"
The answer can only be yes if all three logicians want one. If even one logician doesn't want a beer, the answer would be no.
If the first logician didn't want a beer, they would know that the answer was "no", and would say "no". They want a beer, but they don't know if the other two do, so they say "I don't know".
The second logician knows this must be the first logician's reasoning. And they also want a beer, but they don't know if the third logician does, so they also say "I don't know".
The third logician knows that the first two must have wanted beers, or they'd have said "no". Since they also want a beer, they can say "yes".
@noelle *captain america saying "I understood that reference" but with the word joke instead of reference*
Elekk is a Mastodon instance by gamers, for gamers. Games of any type are welcome here - computer, video, tabletop, etc. - as well as game development of any kind. GAMERGATE AND THE ALT-RIGHT ARE NOT WELCOME HERE. Elekk is not hosted in the EU and does not recognize the authority of the EU to govern the internet.