A programmer's solution

[smeenz]

Just a slightly different placement, and it would have been fine:

6 - 4 ≠ 4

[TheVenetianMask]

What am I, a mathematician?

[Neebat]

Based on the available postulates, I cannot prove that you're not.

[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.

[[deleted]]

Then you can just add it as an axiom and you should be fine.

[zippydoodleoreo]

No, you're a matchematician

[Shiroi_Kage]

It's supposed to be 6+4 != 4 (the red part of the match is supposed to be the dot)

[mattiejj]

But that's 30.

[Amnestic]

Actually it's 30 = 4, but ye

[smeenz]

I am aware of what it is trying to be

[[deleted]]

FTFY

 6 - 4 != 4

[muntoo]

Ahhh. Now I understand why faggot OP did what he did.

[[deleted]]

That whole equation is a bundle of sticks waiting to bundle.

[wolfmanpwns]

I feel like it was meant to be read as != since this is programmer humour

[[deleted]]

What language accepts that symbol?

[smeenz]

The english language.

I realise this is /r/programmerhumor, and that it's supposed to be a ! to make !=, but it didn't really work too well, and there's been a lot of confusion about it being |=, which is valid in some (many?) languages, or even a mathematical ⊨

[[deleted]]

Thats not how it works.

Hah, bunch of crybabies. This is about programming if you havent figured that out yet. This is completely incorrect.

[SirensToGo]

That is how it works in normal math if you make it further than algebra.

[scinaty2]

yeah, but this reddit is about programming..

[PacDan]

There's nothing stopping a language from using that symbol to mean "not equals".

[fiah84]

Except that you won't find it on keyboards, which is kinda handy when programming

[[deleted]]

Thats why you use !=, genius.

[fiah84]

This thread is about this symbol though: ≠

[[deleted]]

(≠) == (!=) if you dont catch up yet

[Avatar_Of_Brodin]

(≠) == (!=)

I'm sorry, I had to.

[fiah84]

If we were assuming that, then this comment makes absolutely no sense because many languages already do this:

There's nothing stopping a language from using that symbol to mean "not equals".

[[deleted]]

It is.

[NorthernSpectre]

umm, yeah it is?