a dog is an animal
dog=animal
a horse is an animal
horse=animal
dog=animal=horse
dog=horse
a dog

"Is an" means a subset, not equality. All dogs are animals. So if something isn't an animal, it can't be a dog. But this does not mean that an animal must be a dog (like if it's a cat) or that if something isn't a dog, it isn't an animal (a cat again).

So and are both types of, or, if you prefer, inherited classes, of .

You C# too much.

To simplify your statement:
HaA (Major)
DaA (Minor)
DaH (Conclusion)

You're using two code A premises to draw a syllogistic fallacy of an undistributed middle. This is less of a math joke, and more of what you learn in an intro to logic course. Or maybe I'm just a killjoy. Probably the latter. Studying logic makes you very jaded to the world.

I don't remember the origin of this joke. It may well be from this site, on a different thread, but it's still worth sharing.

Math nerd 1: What do you get when you take the integral of 1/cabin?
Math nerd 2: A log cabin!
Math nerd 1: Nope. A houseboat. You forgot to add the c.

Here.

No it would be dog∈animal. Animal is a set, not a value. Nerds ruin jokes.

Dog ⊆ Canine ⊆ Mammal ⊆ Animal
Horse ⊆ Equine ⊆ Mammal ⊆ Animal

Dog ≠ Horse

But they do share a lot of similarities

My maths teacher gives extra credit for these--and more if they make the class groan, and then laugh.

An engineer thinks that his equations are an approximation to reality. A physicist thinks reality is an approximation to his equations. A mathematician doesn't care.

Old mathematicians never die; they just lose some of their functions.

A statistician is someone who is good with numbers but lacks the personality to be an accountant.

Classification of mathematical problems as linear and nonlinear is like classification of the Universe as bananas and non-bananas.

The difference between an introvert and extrovert mathematicians is: An introvert mathematician looks at his shoes while talking to you. An extrovert mathematician looks at your shoes.

Biologists think they are biochemists,
Biochemists think they are Physical Chemists,
Physical Chemists think they are Physicists,
Physicists think they are Gods,
And God thinks he is a Mathematician.

Physicists defer only to mathematicians, mathematicians defer only to God

An engineer, a physicist and a mathematician are staying in a hotel.
The engineer wakes up and smells smoke. He goes out into the hallway and sees a fire, so he fills a trash can from his room with water and douses the fire. He goes back to bed.
Later, the physicist wakes up and smells smoke. He opens his door and sees a fire in the hallway. He walks down the hall to a fire hose and after calculating the flame velocity, distance, water pressure, trajectory, etc. extinguishes the fire with the minimum amount of water and energy needed.
Later, the mathematician wakes up and smells smoke. He goes to the hall, sees the fire and then the fire hose. He thinks for a moment and then exclaims, "Ah, a solution exists!" and then goes back to bed.

Fixed.

Fixed the fix.

EDIT: There is a reason why I said this. I don't really remember it too well, but it has something to do with the fact that if you looked at it long enough, you could probably find out why certain things were discovered at certain times in certain places.

No. Just... no.

Economics implies that mathematicians care at all about the real world. We don't.

Fixed the fixed fix.

Lies. I do no such thing.

This

Your argument is invalid.

/me waves

If I had long blonde hair, it would be me waving at everyone I know

"A mathematician is a machine for turning coffee into theorems." --Alfréd Rényi

I believe I first heard that on spiked math

Today I head someone say the phrase "Liar, liar, pants on fire"

Which made me think of: K-T ∝ θ

Where
K = The flash point of pants
T = Truthfulness
θ = Temperature of pants

I thought this idea would fit in quite nicely on this forum.

a) fixed
b) it's "Teller of untruths, teller of untruths, your trousers have combusted!"

No need for the apostrophe.

That apostrophe is correct.

Obligatory webcomic reference

Its for object possessive.
It's for it is.

<--this was once a massive facepalm. So massive it became a supernova and is no longer with us.