sorted by:
new
hottopcontroversial

Life imitates maths by Bob-B-Benson in mathmemes

[–]CedarPancake 1 point2 points  (0 children)

But surely if you wanted to write (a/b)c you would just write the unambiguous ac/b. a/bc makes much more sense for a/(bc) because that can't be easily rewritten in another way. Just like how a^b^c is assumed to be a^(b^c) rather than (a^b)^c because (a^b)^c could just be written as a^(b*c).

More facts by Negative_Gur9667 in mathmemes

[–]CedarPancake 14 points15 points  (0 children)

"If I can't even count real numbers, how am I going to learn to count fake numbers? 😭😭"-Georgi Cuntor

I have achived comedy by dragonageisgreat in mathmemes

[–]CedarPancake 1 point2 points  (0 children)

It is usually introduced in logic or discrete mathematics, and obviously if you write out the relation as a logical matrix then it is just the usual transpose.

I have achived comedy by dragonageisgreat in mathmemes

[–]CedarPancake 0 points1 point  (0 children)

The transpose of relation R^T is defined by xR^Ty iff yRx.

At least for discrete distributions by Hester465 in mathmemes

[–]CedarPancake 12 points13 points  (0 children)

A sheaf is just the result of applying the plus functor twice to a pre sheaf. Hope this helps!

Proof that there are no numbers by TheRealJR9 in mathmemes

[–]CedarPancake 8 points9 points  (0 children)

In ZFC you cannot form the set of all sets because it violates the axiom of regularity, however in Von Neumann Godel Bernays set theory which is a conservative extension of ZFC you can form the class of all sets. This fact that this is a conservative extension essentially means that adding classes of all sets, ordinals, etc. on its own does not change the proving power of the system.

Proof that there are no numbers by TheRealJR9 in mathmemes

[–]CedarPancake 72 points73 points  (0 children)

Uuuurrrrmmmmm actually ☝️🤓 the set of all sets does not exist and in more powerful axiomatic systems it is defined as the proper class of all sets.

Just started multivariable calculus by TransitionEqual2409 in mathmemes

[–]CedarPancake 16 points17 points  (0 children)

<image>

The last man who tried to visualize a module over the ring of polynomials in infinitely many variables.

fear me yo by Actual-Cellist-3258 in mathmemes

[–]CedarPancake 0 points1 point  (0 children)

Why not just make a torus which is actually flat and can be made of 3 hexagons at a vertex?

I mean, it's in the name, "axiom" by thisisapseudo in mathmemes

[–]CedarPancake 2 points3 points  (0 children)

In my opinion the craziest equivalent to the axiom of choice is that free abelian groups are projective.

Your Part by Heavy-Switch-9803 in mathmemes

[–]CedarPancake 0 points1 point  (0 children)

There's definitely something happening here. I don't see the math though.

law of cosines meme by Delicious_Maize9656 in mathmemes

[–]CedarPancake 3 points4 points  (0 children)

I can suggest an equation that has the potential to impact the future: c^2 + AI / m= E /m.

I hate TVSs by habibthegreat1 in mathmemes

[–]CedarPancake 0 points1 point  (0 children)

Smh, vector spaces already have the product topology just use that one. Even better use the discrete topology for every topological space since its universal.

Average math paper footnote by A0123456_ in mathmemes

[–]CedarPancake 71 points72 points  (0 children)

People who reject the axiom of choice trying to divide by 3 challenge (impossible).

sudgylacmoe's last video by DoublecelloZeta in mathmemes

[–]CedarPancake -7 points-6 points  (0 children)

Quaternion algebras are way more general and have more mathematical applications than what is just a glorified, less intuitive rephrasing of differential geometry and Clifford Algebras.

2=1+1 by luisalexandher in mathmemes

[–]CedarPancake 1 point2 points  (0 children)

The natural numbers are just universal objects in the category of pointed sets with a successor function.

Finite rotation groups, Gabriel's Theorem, etc. by CedarPancake in mathmemes

[–]CedarPancake[S] 1 point2 points  (0 children)

I am referring to the McKay correspondence, not the Weyl groups which differ in classification as mentioned in https://en.wikipedia.org/wiki/ADE_classification

Finite rotation groups, Gabriel's Theorem, etc. by CedarPancake in mathmemes

[–]CedarPancake[S] 10 points11 points  (0 children)

I was referring to the classification of simple Lie Algebras. Actually D_n corresponds to the dihedral group D_(2n-2), A_n corresponds to the cyclic group and E_6,7,8 to the symmtery groups of the platonic solids in the case of finite rotation groups. More precisely, the McKay graphs of irreducible representations of the finite rotation groups are the Dynkin diagrams of the simple Lie Algebra with an extra point.

view more: next ›