16 points
QED.
28 points
OP, I need the definition for × and <,> too
5 points
28 points
× is the cartesian product and = {x, {x,y}} is the ordered pair of x and y. (i.e., if x is in X and y is in Y, then is the corresponding element of the cartesian product X × Y). hope this helps
12 points
25 points
it’s the “order type” of a well ordering on a set. so, given a set X with a total ordering R, type(X,R) is the unique ordinal isomorphic to (X,R)
2 points
83 points
Mathematicians write the most insane shit you’ve ever seen in your life then they’re just like □ peace out
12 points
If you wrote the equivalent of this in software I think linus torvalds himself would personally show up to destroy your pc.
4 points
5 points
Is this from Principia Mathematica or smth?
7 points
15 points
This is giving me PTSD flashbacks from Number Theory at uni. What a fascinating mindfuck.
8 points
