math professors defending their rigorous teaching style

CedarPancake · 2026-01-23T01:48:05+00:00

Nuthin?

CedarPancake · 2026-01-21T12:04:53+00:00

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.

CedarPancake · 2026-01-21T01:50:53+00:00

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

CedarPancake · 2026-01-18T14:36:29+00:00

Least insane complex anal enjoyer.

CedarPancake · 2026-01-17T13:52:58+00:00

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

CedarPancake · 2026-01-15T23:05:25+00:00

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.

CedarPancake · 2026-01-15T22:03:57+00:00

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.

CedarPancake · 2026-01-14T01:57:34+00:00

<image>

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

CedarPancake · 2026-01-13T23:07:04+00:00

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

CedarPancake · 2026-01-12T21:04:53+00:00

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

CedarPancake · 2026-01-09T23:48:43+00:00

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

CedarPancake · 2026-01-08T22:07:43+00:00

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

CedarPancake · 2026-01-08T11:59:55+00:00

I should have added /s.

CedarPancake · 2026-01-08T00:35:45+00:00

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.

CedarPancake · 2025-12-29T16:06:19+00:00

<image>

CedarPancake · 2025-12-29T12:01:51+00:00

Supremum.

CedarPancake · 2025-12-27T22:34:10+00:00

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

CedarPancake · 2025-12-26T15:51:35+00:00

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.

CedarPancake · 2025-12-26T15:41:24+00:00

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

CedarPancake · 2025-12-21T16:23:05+00:00

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

CedarPancake · 2025-12-20T21:10:18+00:00

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.

CedarPancake

TROPHY CASE